Fix conflicts between caching and stopping slicing
[dyninst.git] / parseAPI / src / BoundFactCalculator.C
2015-07-21 Xiaozhu MengFix conflicts between caching and stopping slicing
2015-07-15 Xiaozhu MengHandle instruction xchg, where the relations between...
2015-07-13 Xiaozhu MengOne byte read can produce bound [0,255], but it is...
2015-07-13 Xiaozhu MengBSF and BSR instructions can produce bounds for jump...
2015-04-16 Xiaozhu MengMore fixes in jump table analysis:
2015-04-15 Xiaozhu MengA few more performance fixes on jump table analysis:
2015-04-03 Xiaozhu Meng1. Handle the instruction sequence that push a constant...
2015-04-02 Xiaozhu MengIf the destination operand is a memory location, we...
2015-04-01 Xiaozhu Meng1. Add a callback interface to slicing code. It trigger...
2015-03-27 Xiaozhu MengMerge branch 'master' into IndirectControlFlow
2015-02-14 Xiaozhu MengMerge branch 'master' into IndirectControlFlow
2015-01-28 Xiaozhu MengReduce the size of slices a lot
2015-01-28 Xiaozhu MengMore switches to unordered_set and unordered_map
2015-01-27 Xiaozhu MengChange more std::set and std::map to unordered_set...
2015-01-21 Xiaozhu MengOptimize backward slice transformation and cache the...
2014-12-30 Xiaozhu Meng1. Add an virtual entry node; the virtual entry node...
2014-12-27 Xiaozhu MengHandle the case where the thunk adjustment instruction...
2014-12-27 Xiaozhu MengThunk bound check should also be applied nodes without...
2014-12-25 Xiaozhu MengNeed to kill bound values except for conditional jump...
2014-12-24 Xiaozhu MengOnly add bound values for alias AST when the bound...
2014-12-24 Xiaozhu MengTrack aliasing
2014-12-16 Xiaozhu MengAdd support for multiple level jump tables. Current...
2014-12-08 Xiaozhu Meng1. Add inc, dec, neg instruction semantics for x86-64
2014-12-05 Xiaozhu MengA bunch of fixes for indirect control flow analysis
2014-12-03 Xiaozhu MengRefactor code so that each major class has a .h file...
2014-12-03 Xiaozhu MengFit code handling thunk into new analysis code
2014-12-03 Xiaozhu MengMake slice graph transformation code consitent with...
2014-11-26 Xiaozhu MengFix the check of whether an instruction is a conditiona...
2014-11-25 Xiaozhu MengChange bound fact container to map from AST to BoundVal...
2014-11-23 Xiaozhu Meng1. Add code to include control flow dependence in slicing
2014-07-14 Xiaozhu MengFix inconsistency between ROSE and instructionAPI for...
2014-07-07 Xiaozhu MengMissing headers
2014-06-16 Xiaozhu Meng1. Fix a bug in determining exit blocks
2014-06-16 Xiaozhu Meng1. Add code to handle PC thunks
2014-06-12 Xiaozhu MengFix a mapping problem from Dyninst MachRegister to...
2014-06-12 Xiaozhu MengAdd an upper bound of each slice node to be in the...
2014-05-22 Xiaozhu MengChange to store pointers to BoundValue rather than...
2014-05-22 Xiaozhu MengAdd code to find edges from indirect jumps
2014-05-19 Xiaozhu MengAdd new indirect control flow analysis code. The code...