1. Fix sign extension
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 28 Jul 2014 02:31:34 +0000 (21:31 -0500)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Mon, 28 Jul 2014 02:31:34 +0000 (21:31 -0500)
commitf4ef8690664c09e50cae763dfbdd5f58aaf39dd3
tree7f04870f26cff04d119c50ad892a16e115201fc5
parent51c9d3502f883b5d57ec62172bb5beba91a4b93e
1. Fix sign extension
2. Fix finding reachable blocks
3. Fix slicing across function calls
dataflowAPI/src/slicing.C
parseAPI/src/BackwardSlicing.C
parseAPI/src/IndirectAnalyzer.C
parseAPI/src/TableGuardData.C