Hacker News Reader

How 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?

View on HN

These 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).

Reply on news.ycombinator.com