Points-to and interprocedural analysis
5 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Points-to analysisInterprocedural analysisWhole-program analysis
program-analysis
- Andersen pointer analysisInclusion constraintsstandardprogram-analysis
- Steensgaard pointer analysisUnification constraintsspecialistprogram-analysis
- K-CFACall-string context abstractionspecialistprogram-analysis
- Call graph constructionRapid type analysisspecialistprogram-analysis
- Interprocedural dataflowIFDS tabulationspecialistprogram-analysis