Experiment with Allowing Type Inference to Instantiate Summary Signatures of Callees into Constraints
Opened this issue · 1 comments
2over12 commented
This would allow for more precise inference and attack trailofbits/BTIGhidra#19 by including the structure of the callee into the caller FSA inference.
2over12 commented
This costs performance but would allow more precise inference by not relying on the inferred structure of the callee alone.