Projects Chopper Relocatable Addressing Model Past-Sensitive Pointer Analysis Address-Aware Query Caching Bounded Symbolic-Size Model