about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #138 from commial/test-do-not-supprserpilliere2015-04-022-13/+25
|\
| * TestAll: missing products for DepGraphAjax2015-04-021-1/+2
| * TestAll: Add a "do-not-clean" optionAjax2015-04-022-3/+14
| * TestSet: `Message*` must inherited from `Message`Ajax2015-04-021-3/+3
| * TestSet: Some methods should be protectedAjax2015-04-021-7/+7
* | Merge pull request #137 from serpilliere/clean_group_blocCamille Mougey2015-04-0224-603/+660
|\ \ | |/ |/|
| * Interval: fix contains; updt reg testsFabrice Desclaux2015-04-022-10/+11
| * Asmbloc: refactor and clean asmbloc/parse_asmFabrice Desclaux2015-04-022-269/+192
| * Cpu: modify instructions' offset relative encodingFabrice Desclaux2015-04-0111-98/+159
| * interval: add empty propertyFabrice Desclaux2015-04-011-0/+6
| * Clean get_asm_offsetFabrice Desclaux2015-04-012-6/+6
| * Asmbloc: updt apiFabrice Desclaux2015-04-016-17/+28
| * Asmbloc: refactor and clean asmbloc/parse_asmFabrice Desclaux2015-04-012-239/+268
| * X86: add missing xmm registersFabrice Desclaux2015-04-011-0/+7
| * Parse_asm: generate asm_label on symbol parsingFabrice Desclaux2015-04-017-16/+72
| * Clean: remove unecessary ast_parser modificationFabrice Desclaux2015-04-013-28/+0
| * Asmbloc: updt asmbloc apiFabrice Desclaux2015-04-015-11/+7
| * Asmbloc: rename variables; rework contrained blocksFabrice Desclaux2015-04-011-65/+60
|/
* Merge pull request #135 from commial/fix-stdcall-ret2serpilliere2015-04-011-1/+1
|\
| * x86/StdCall: Fix a typo when 2 values are returned (credits niko schmidt)Ajax2015-04-011-1/+1
|/
* Merge pull request #134 from p-l-/fix-winobjs-currentpeserpilliere2015-03-311-0/+2
|\
| * Sandbox Win: add PE object to win_api_x86_32.winobjsPierre LALET2015-03-311-0/+2
|/
* Merge pull request #133 from commial/lazy-loggingserpilliere2015-03-3014-92/+91
|\
| * Remove lazy logging patternAjax2015-03-3014-92/+91
|/
* Merge pull request #130 from mrphrazer/extend_z3_translationserpilliere2015-03-251-0/+2
|\
| * added translation for idiv command in z3Tim Blazytko2015-03-241-0/+2
* | Merge pull request #131 from mrphrazer/x86_semanticsserpilliere2015-03-251-0/+11
|\ \
| * | fixed pxor semanticsTim Blazytko2015-03-241-1/+4
| * | added semantics for x86 pxorTim Blazytko2015-03-241-0/+8
| |/
* | Merge pull request #126 from commial/cache-translatorsserpilliere2015-03-258-212/+170
|\ \ | |/ |/|
| * Translator: remove the mess with z3, and update Z3 translators and examplesAjax2015-03-242-57/+30
| * Translator: add a bounded cache on `from_expr`Ajax2015-03-241-1/+16
| * Translator: Update usesAjax2015-03-243-25/+28
| * Translator: class to instanceAjax2015-03-244-129/+96
|/
* Merge pull request #129 from serpilliere/fix_mul_simpPierre Lalet2015-03-242-10/+11
|\
| * Test/simplification: add reg test against multiplication simplificationFabrice Desclaux2015-03-241-0/+3
| * Test/simplification: reg test reference must not be expr_simp to match resultFabrice Desclaux2015-03-241-7/+6
| * Expr/Simplification: match code and comment for multiplication simplificationFabrice Desclaux2015-03-241-3/+2
|/
* Merge pull request #128 from fmonjalet/z3_unary_op_fixserpilliere2015-03-242-12/+56
|\
| * TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when po...Florent Monjalet2015-03-242-2/+12
| * TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2015-03-242-1/+7
| * TranslatorZ3: Fixed parity semanticFlorent Monjalet2015-03-242-2/+7
| * TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p...Florent Monjalet2015-03-232-11/+34
|/
* Merge pull request #123 from serpilliere/depgraph_filterCamille Mougey2015-03-233-57/+106
|\
| * Example: add NoCallNoMem in ida/depgraphserpilliere2015-03-232-20/+13
| * DepGraph: support follow node filteringserpilliere2015-03-231-37/+93
* | Merge pull request #125 from commial/travis-ciserpilliere2015-03-231-3/+7
|\ \ | |/ |/|
| * TravisCI: Add Z3Ajax2015-03-231-0/+1
| * TravisCI: MultilinesAjax2015-03-231-3/+6
|/
* Merge pull request #124 from cea-sec/add-travis-tagserpilliere2015-03-231-0/+2
|\