projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34250fb) | patch
bug fixes: if an out-of-context edge in callee has no matching desitination, obviousl...
authorjjenista <jjenista>
Mon, 22 Mar 2010 18:23:44 +0000 (18:23 +0000)
committerjjenista <jjenista>
Mon, 22 Mar 2010 18:23:44 +0000 (18:23 +0000)
commitbc5de474cd58506d90feafe12b230f625c093d1b
tree448359b4706b65422b6f264a3c1104c04b5b47dftree | snapshot
parent34250fb9759952490fcd836eea6eb7e45a4ee24ecommit | diff
bug fixes: if an out-of-context edge in callee has no matching desitination, obviously don't bring it, and don't bother adding shadow into shadow node descriptions, not worth the hassle of changing string descriptions when making shadow nodes on demand
Robust/src/Analysis/Disjoint/HeapRegionNode.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Irvine Research Compiler