static-analysis-engineering / CodeHawk-Binary

CodeHawk Binary Analyzer for malware analysis and general reverse engineering
MIT License
21 stars 9 forks source link

Lifting #141

Closed sipma closed 4 months ago

sipma commented 4 months ago

Removes locations that are part of functions inlined by the analysis from the available expressions in the PIR. Removes test-value variables from the available expressions in the PIR.