1. Refactor code of reading contents from jump tables and determining jump target...
[dyninst.git] / parseAPI / src / IndirectASTVisitor.C
2017-08-15 Xiaozhu Meng1. Refactor code of reading contents from jump tables...
2017-08-15 Xiaozhu MengInitial implementation of jump table index slice. Basic...
2017-08-15 Xiaozhu MengStart to split jump table analysis to two different...
2017-02-23 Xiaozhu MengA memory access to a known address should be considered... 338/head
2017-01-29 Peter FoleyFix warnings
2016-11-21 Xiaozhu MengOn x86, and instruction would generate an zf assignment...
2016-11-21 Xiaozhu MengAddress calculation should use 64-bit integers..
2016-11-21 Xiaozhu Meng1. An indirect jump may be shared by several different...
2016-11-11 Xiaozhu MengMerge ARM jump table parsing and instruction semantics...
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-09-30 Bill WilliamsString table now includes an entry at zero for "unknown...
2016-09-28 Peter Foleyfix parseAPI/dataflowAPI warnings
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...