Experiments - using components
Flow sensitive (FS) and flow insensitive (FI) and (COMP) combined
Criterion: maximum number of pointer derefs along any path in the components
Performance of FS, FI and COMP:
- COMB in analysis time, including program decomposition took 1/2 time as flow sensitive for 3/6 programs
- Using MOD and REF, COMP is more precise than FI and close to FS (average number of memory locations REF/MOD)