Experimental Results
Time:
- DU-chains: demand analysis is faster than exhaustive in 10 out of 12 problems when querying all du-pairs: speedups 1.1 - 11.4
- CCP: speedups in all test programs when querying all uses: 1.7-44.3
- Caching pays off in both CCP and Du-Chain analysis moderate speedups - up to 2.2
Space
- DU-chains: except for one test program, demand analysis uses less space than exhaustive in DU: 80%-96% (summary functions)
- CCP: except for one program, demand uses less space: 17%-80%