|
|
|
|
|
|
by ychen306
2625 days ago
|
|
|
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). |
|
|