about summary refs log tree commit diff stats
path: root/example/expression/graph_dataflow.py (unfollow)
Commit message (Collapse)AuthorFilesLines
2015-04-01Asmbloc: rename variables; rework contrained blocksFabrice Desclaux1-65/+60
2015-04-01x86/StdCall: Fix a typo when 2 values are returned (credits niko schmidt)Ajax1-1/+1
2015-03-31Sandbox Win: add PE object to win_api_x86_32.winobjsPierre LALET1-0/+2
2015-03-30Remove lazy logging patternAjax14-92/+91
2015-03-24Translator: remove the mess with z3, and update Z3 translators and examplesAjax2-57/+30
2015-03-24Translator: add a bounded cache on `from_expr`Ajax1-1/+16
2015-03-24Translator: Update usesAjax3-25/+28
2015-03-24Translator: class to instanceAjax4-129/+96
2015-03-24fixed pxor semanticsTim Blazytko1-1/+4
2015-03-24added semantics for x86 pxorTim Blazytko1-0/+8
2015-03-24added translation for idiv command in z3Tim Blazytko1-0/+2
2015-03-24Test/simplification: add reg test against multiplication simplificationFabrice Desclaux1-0/+3
2015-03-24Test/simplification: reg test reference must not be expr_simp to match resultFabrice Desclaux1-7/+6
2015-03-24Expr/Simplification: match code and comment for multiplication simplificationFabrice Desclaux1-3/+2
2015-03-24TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when ↵Florent Monjalet2-2/+12
possible)
2015-03-24TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2-1/+7
TODO: replace the asmlabel str by its offset?
2015-03-24TranslatorZ3: Fixed parity semanticFlorent Monjalet2-2/+7
2015-03-23TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors ↵Florent Monjalet2-11/+34
properly for other unhandled operators.
2015-03-23TravisCI: Add Z3Ajax1-0/+1
2015-03-23TravisCI: MultilinesAjax1-3/+6
2015-03-23Example: add NoCallNoMem in ida/depgraphserpilliere2-20/+13
2015-03-23DepGraph: support follow node filteringserpilliere1-37/+93
2015-03-23README: travis tagCamille Mougey1-0/+2
2015-03-20ParseAsm: dont generate parasite line on 'dontsplit' directiveFabrice Desclaux1-1/+1
2015-03-20Asmbloc: clean symbol_poolFabrice Desclaux1-126/+144
2015-03-20IR/Analysis: change not in syntaxFabrice Desclaux1-8/+8
2015-03-20IR/Analysis: remove unucessary fake additional in/out in liveness analysisFabrice Desclau