3 ms·
Holmes: Binary Analysis Integration Through Datalog (2018)
- joeyrideout 8y agoHow do existing binary analyzers reason about this co-dependency? Edit: To clarify, the abstract mentions "techniques to perform an individual analysis in isolation". But if one technique depends on the other, don't both need to happen?
- ychen306 8y agoThese analysis need each other for precision but not soundness. For instance, building a good call graph requires decent alias analysis, but to build a poor one you can always assume everything aliases with everything. So the idea is you run these analyses multiple times (until fix point if you want "maximum" precision).