about summary refs log tree commit diff stats
path: root/example/asm/shellcode.py (unfollow)
Commit message (Expand)AuthorFilesLines
2015-04-02TestAll: Add a "do-not-clean" optionAjax2-3/+14
2015-04-02TestSet: `Message*` must inherited from `Message`Ajax1-3/+3
2015-04-02TestSet: Some methods should be protectedAjax1-7/+7
2015-04-02Interval: fix contains; updt reg testsFabrice Desclaux2-10/+11
2015-04-02Asmbloc: refactor and clean asmbloc/parse_asmFabrice Desclaux2-269/+192
2015-04-01Cpu: modify instructions' offset relative encodingFabrice Desclaux11-98/+159
2015-04-01interval: add empty propertyFabrice Desclaux1-0/+6
2015-04-01Clean get_asm_offsetFabrice Desclaux2-6/+6
2015-04-01Asmbloc: updt apiFabrice Desclaux6-17/+28
2015-04-01Asmbloc: refactor and clean asmbloc/parse_asmFabrice Desclaux2-239/+268
2015-04-01X86: add missing xmm registersFabrice Desclaux1-0/+7
2015-04-01Parse_asm: generate asm_label on symbol parsingFabrice Desclaux7-16/+72
2015-04-01Clean: remove unecessary ast_parser modificationFabrice Desclaux3-28/+0
2015-04-01Asmbloc: updt asmbloc apiFabrice Desclaux5-11/+7
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 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-37/+93
2015-03-23README: travis tagCamille Mougey1-0/