Use types in program statements to make graph edges more specific, and avoid creating...
authorjjenista <jjenista>
Wed, 4 Nov 2009 22:53:02 +0000 (22:53 +0000)
committerjjenista <jjenista>
Wed, 4 Nov 2009 22:53:02 +0000 (22:53 +0000)
commit5b84d5cc62d74c40b46da9784ca6fd2163d179aa
tree5d1ca6b68094e7c93554cf5b26895539f4e6d64a
parent7e2924c629d5735bf9298579805e7b3dc65eb5b4
Use types in program statements to make graph edges more specific, and avoid creating edges when types disallow it
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Benchmarks/mlp/directto/mlp-java/makefile
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile
Robust/src/IR/TypeUtil.java