Functional version of TightComposition with CP and PT
- Minor changes to debug output
Functional version of TightComposition with CP and PT
- Fix to StxMemRegionObject::mayEqualMR
- *p treated as StxMR:Storage
Functional version of TightComposition with CP and PT
- Minor debug output
Functional version of TightComposition with CP and PT
- Rewrite of PointsTo analysis
- Implementation of PTMemLocObject
- Tested in TightComposition with CP
Functional version of TightComposition with CP and PT
- Commented out generic version of visit(SgUnaryOp)
- Methods for visit(SgCastExp), visit(SgMinusOp), visit(SgNotOp)
- Do nothing for visit(SgPointerDerefExp)
Functional version of TightComposition with CP and PT
- Test driver for TightComposition