Fix checking of zero flag for table index
[dyninst.git] / parseAPI / src / IndirectASTVisitor.C
2016-11-11 Xiaozhu MengFix checking of zero flag for table index
2016-10-11 Xiaozhu Meng1. Should delete alias AST when a part of it is assigne...
2016-10-05 Xiaozhu Meng1. Jump table contents can be first multiplied and...
2016-10-04 Xiaozhu Meng1. Add an architecture-independent interface to check...
2016-06-15 Xiaozhu MengFix jump table analysis for 32-bit PIC code
2016-06-14 Xiaozhu MengSimplify v + v * c = v * (c + 1), where v is a variable... 91/head
2016-06-12 Xiaozhu MengOnly check the outer most memory reads for jump table...
2016-06-10 Xiaozhu MengJump tables should be only in read only sections
2016-06-10 Xiaozhu MengStop slicing when we are sure an indirect jump is not...
2016-06-10 Xiaozhu MengVarious fixes for jump table analysis 1. add instructio...
2015-07-21 Xiaozhu MengHandle aliasing
2015-07-14 Xiaozhu Mengfix handling thunks
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-03 Xiaozhu Meng1. Handle the instruction sequence that push a constant...
2015-02-14 Xiaozhu MengMerge branch 'master' into IndirectControlFlow
2014-12-31 Xiaozhu MengFix another 32-bit data representation problem
2014-12-27 Xiaozhu Mengany 8-bit value is bounded in [0,255]
2014-12-24 Xiaozhu MengTrack aliasing
2014-12-16 Xiaozhu MengAdd support for multiple level jump tables. Current...
2014-12-12 Xiaozhu MengAdd support for shift right operation
2014-12-12 Xiaozhu Meng1. Should 1ULL constant to do bit operations
2014-12-05 Xiaozhu MengA bunch of fixes for indirect control flow analysis
2014-12-03 Xiaozhu MengMake slice graph transformation code consitent with...
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-10-23 Xiaozhu MengAdd some debugging code
2014-07-17 userFix the bug of treating a constant as a table base...
2014-07-07 Xiaozhu MengMissing headers
2014-06-19 Xiaozhu Meng1. Check whether the calculated table indexing address...
2014-06-16 Xiaozhu Meng1. Add code to handle PC thunks
2014-06-11 Xiaozhu Meng1. Assume signed conditional jumps do not bound registe...
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...