3 ms·
How do existing binary analyzers reason about this co-dependency? Edit: To clarify, the abstract mentions "techniques to perform an individual analysis in isol
by joeyrideout 8y ago
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?
- 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).