1. Add an virtual entry node; the virtual entry node has an edge from it to all entry...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 30 Dec 2014 17:17:50 +0000 (11:17 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Tue, 30 Dec 2014 17:17:50 +0000 (11:17 -0600)
commit30bae7b2ecfecf2410e59d48cd1bba88890e8374
tree3ac1ade5ff59cde1ab6ac2f91bc1f6f1fa5ca6d5
parentb029ef53871e006d93ae58443c9df56e4d966e82
1. Add an virtual entry node; the virtual entry node has an edge from it to all entry SCCs.
2. Do not produce conditional bounds that are lower bounded (like [const, MAX]).
3. When reading a memory location not in read only region, the memory read flag should be set
common/h/Graph.h
common/src/Graph.C
parseAPI/src/BackwardSlicing.C
parseAPI/src/BoundFactCalculator.C
parseAPI/src/BoundFactData.C
parseAPI/src/IndirectAnalyzer.C