Adding semantics for stbx (ppc32) instruction.
[dyninst.git] / dataflowAPI /
2010-12-21 Madhavi KrishnanAdding semantics for stbx (ppc32) instruction.
2010-12-20 Andrew BernatCheck widen/end predicates in slicing; don't assert...
2010-12-20 Andrew BernatPrototype implementation of "unknown" default semantics...
2010-12-16 Ray ChenAdds placeholders for 5 additional PowerPC instructions...
2010-12-13 Madhavi KrishnanMinor fixes
2010-12-03 Madhavi KrishnanSlicing changes
2010-12-03 Madhavi KrishnanMinor commit
2010-12-01 Bill WilliamsAdd absolute conditionals and blrl to ppc semantics.
2010-11-23 Emily JacobsonRemove cycle edges before populating expansion worklist...
2010-11-23 Emily JacobsonRemove self-loops from slices.
2010-11-19 Nathan RosenblumOptimize order of slice expansion
2010-11-19 Nathan RosenblumImproves efficiency of the slicing algorithm
2010-11-04 Andrew BernatFix segfault in symbolic expansion due to inconsistent...
2010-11-04 Emily JacobsonCleanup.
2010-11-04 Emily JacobsonMerge branch 'master' of ssh://git.dyninst.org/pub...
2010-11-04 Emily JacobsonChanged backward slicing to not re-trigger parsing...
2010-10-28 Andrew BernatMerge branch 'master' of git.dyninst.org:/pub/dyninst
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-27 Nathan RosenblumImplements findMain() for ppc32-Linux.
2010-10-26 Kevin RoundyBetter return status labeling for shared funcs and...
2010-10-26 Andrew BernatMerge branch 'master' of git.dyninst.org:/pub/dyninst
2010-10-26 Andrew BernatPowerPC slicing updates
2010-10-20 Emily JacobsonAdded missing std:: namespace specifiers.
2010-10-19 Emily JacobsonAdded support for "callpath sensitive" backward slicing.
2010-10-18 Todd FrederickMerge branch 'master' into devel
2010-10-18 Todd FrederickdataflowAPI: allow stack analysis to be disabled for...
2010-10-11 Andrew BernatFix stack comparison bug.
2010-10-11 Andrew BernatFix stack comparison bug.
2010-10-11 Emily JacobsonRearranged code for better ordering of if statements.
2010-09-21 Andrew BernatExplicitly clear return vector from instruction cracker...
2010-09-15 Emily JacobsonMissed line from patch in last commit.
2010-09-15 Emily JacobsonSymEval fix for circular dependencies during substitution.
2010-09-15 Bill WilliamsWarning cleanup.
2010-09-10 Bill WilliamsAdd getChildren() to Expression, taking an Expression...
2010-09-08 Andrew BernatFix AST equality code
2010-09-01 Andrew BernatChange Abslocs to use ParseAPI::Functions instead of...
2010-08-26 Kevin RoundyMerge branch 'master' of ssh://git.dyninst.org/pub...
2010-08-26 Kevin RoundyFixes to DataflowAPI's backwards slicing code
2010-08-26 Emily JacobsonFixed case in which an element was pushed onto the...
2010-08-25 Andrew BernatClean up fixpoint algorithm for expanding a graph;...
2010-08-11 Dan McNultyMerge branch 'master' of ssh://mcnulty@wasabi.cs.wisc...
2010-08-10 Daniel McNultyMerge branch 'master' of ssh://git.dyninst.org/pub...
2010-08-09 Dan McNultyMerge branch 'master' of ssh://mcnulty@wasabi.cs.wisc...
2010-08-09 Dan McNultyBuild fixes for FreeBSD related to previous merge of...
2010-08-09 Andrew BernatFix warnings in AST subclasses; rename DataflowAPI...
2010-08-09 Daniel McNultyMerge branch 'master' of ssh://git.dyninst.org/pub...
2010-08-06 Bill WilliamsFilter the SP and direct PC inputs out of a call's...
2010-08-04 Todd Frederickfinish converting to DataflowAPI namespace
2010-08-04 Todd FrederickMerge branch 'master' into devel
2010-07-28 Daniel McNultyMerge branch 'bsd'
2010-07-26 Andrew BernatFix compile error
2010-07-23 Andrew BernatRemove dataflowAPI build directories
2010-07-23 Andrew BernatBuild DataflowAPI as part of ParseAPI to remove circula...
2010-07-23 Andrew BernatMove SymEval to production name of DataflowAPI.