code for Jim to use once he gets everything working...
authorbdemsky <bdemsky>
Thu, 25 Mar 2010 03:49:18 +0000 (03:49 +0000)
committerbdemsky <bdemsky>
Thu, 25 Mar 2010 03:49:18 +0000 (03:49 +0000)
commit4ff45b1341c5b0a4d735347d23d6beae070ea5b1
tree7da95574f5295af332666bedcf15acc86b0d2462
parenta2ca913b51df8cbfb33bfa2537416a4dffbc7751
code for Jim to use once he gets everything working...

the idea is that this takes in a flatmethod and generates next/prev nodes for each node that the pointer analysis actually cares about
Robust/src/Analysis/Disjoint/PointerMethod.java [new file with mode: 0644]