Outline: Scalability and Precision
Scalability
- Equation system
- Intraprocedural and interprocedural
- Solver
- Intraprocedural and interprocedural
Precision
- Paths - meet over all paths assumption
- Intraprocedural and interprocedural
- Names - representation of data flow quantities