Experiments - C programs

Types:

1. Declared C types

2. C types, using casting

3. Nonstandard type inference

All three generated large number of partitions

In order, each produced more and smaller subproblems

Storage savings ratio range: 1.3 to 7.2 over context insensitive interprocedural points-to analysis

Time savings expected

Previous slide

Next slide

Back to first slide

View graphic version