about summary refs log tree commit diff stats
path: root/example/asm/shellcode.py (unfollow)
Commit message (Expand)AuthorFilesLines
2015-03-24Translator: class to instanceAjax4-129/+96
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 po...Florent Monjalet2-2/+12
2015-03-24TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2-1/+7
2015-03-24TranslatorZ3: Fixed parity semanticFlorent Monjalet2-2/+7
2015-03-23TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p...Florent Monjalet2-11/+34
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