1. Enables new jump table analysis for powerpc 2. Fix various inconsistency between...
[dyninst.git] / dataflowAPI / src / SymEval.C
2017-08-15 Xiaozhu Meng1. Enables new jump table analysis for powerpc 2. Fix...
2017-08-15 Xiaozhu MengAdd initial code for power 32 semantics and symbolic...
2016-07-12 Sunny ShahAllow accessing StateARM64's Dyninst::Address member...
2016-07-08 Sunny ShahDefinitions of the register state, memory state and...
2016-06-30 Sunny ShahInitialize semantics for use with ARM64
2016-05-27 Bill WilliamsFirst pass at PPC64 semantics.
2016-05-06 Peter FoleyReduce namespace pollution
2015-07-13 Xiaozhu MengMerge branch 'master' into parsing
2015-07-06 Alex MorrisDefensive mode debugging fixes.
2015-07-06 unknownVarious defensive mode fixes.
2014-05-17 Xiaozhu MengEnable symbolic evaluation on x86 64-bit binaries
2013-02-24 Zuyu ZhangFixed NULL AST pointer bug in dataflowAPI when expendin...
2013-02-23 Zuyu ZhangFixed iterator for block list bug in dataflowAPI and...
2012-07-27 legendre1Update copyright disclaimer structure by outlining...
2012-06-19 Andrew BernatMerge branch 'master' into merge branch
2012-05-07 unknownWindows build fixes; primarily directly using boost...
2012-04-13 legendre1Remove boost copy from Dyninst. Disable serialization.
2012-02-05 Xiaozhu Mengfix naming conflict between dynutil/h/AST.h and dyninst...
2011-09-01 Kevin RoundyCFG-modification, instrumentation & springboard corner...
2011-07-27 Kevin RoundyVarious fixes, half in defensive-mode code, half not
2011-04-14 Kevin RoundyMerge branch 'NewInstpoint' into Defensive
2011-04-14 Andrew BernatMerge branch 'master' into NewInstpoint
2011-03-16 Madhavi KrishnanUpdate copyright
2011-03-10 Emily JacobsonCleanup of temporary SymEval fix.
2011-03-09 Todd FrederickUpdate stack analysis from Defensive branch
2011-03-08 Madhavi KrishnanTemporary fix for ppc32_linux failures
2011-03-04 Emily JacobsonSort nodes in SymEval::expand() so that loop removal...
2011-02-16 Kevin RoundyFixes build and compiler warnings, and return blocks bug
2011-02-14 Kevin RoundyMerge conflicts, warnings, build issues; testsuite...
2011-01-25 Andrew BernatMerge
2011-01-07 Andrew BernatPrototype of alias-capable stack pointer analysis;...
2010-12-21 Andrew BernatSymbolic expansion now returns an error code if we...
2010-12-20 Andrew BernatCheck widen/end predicates in slicing; don't assert...
2010-12-20 Andrew BernatCheck widen/end predicates in slicing; don't assert...
2010-12-14 Kevin RoundyFixes problems resulting from merge with master branch
2010-12-10 Andrew BernatMerge branch 'master' into Kevin-Drew. Work in progress...
2010-11-23 Emily JacobsonRemove cycle edges before populating expansion worklist...
2010-11-19 Nathan RosenblumOptimize order of slice expansion
2010-11-19 Nathan RosenblumImproves efficiency of the slicing algorithm
2010-11-04 Andrew BernatMerge branch 'master' into Kevin-Drew
2010-11-04 Andrew BernatFix segfault in symbolic expansion due to inconsistent...
2010-11-03 Kevin Roundypost-master-merge slicing fixes
2010-10-28 Andrew BernatHandle SymEval cases where there are overlapping identi...
2010-10-28 Andrew BernatFix problem in mis-identifying cycles in slices.
2010-10-26 Andrew BernatPowerPC slicing updates
2010-09-15 Emily JacobsonMissed line from patch in last commit.
2010-09-15 Emily JacobsonSymEval fix for circular dependencies during substitution.
2010-09-08 Andrew BernatFix AST equality code
2010-09-02 Andrew BernatFix AST equality code
2010-09-01 Andrew BernatChange Abslocs to use ParseAPI::Functions instead of...
2010-09-01 Andrew BernatChange Abslocs to use ParseAPI::Functions instead of...
2010-08-25 Andrew BernatClean up fixpoint algorithm for expanding a graph;...
2010-07-23 Andrew BernatMove SymEval to production name of DataflowAPI.