about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* IR: Compliance to python coding conventionsCaroline Leman2015-04-291-350/+390
* IR: Regression test integrationCaroline Leman2015-04-292-12/+15
* IR: Improve dead code eliminationCaroline Leman2015-04-291-0/+680
* DepGraph: Avoid failing if z3 is not presentAjax2015-04-281-4/+4
* Example: Add an example "rename-args" argument for depgraphAjax2015-04-281-1/+1
* Merge pull request #150 from serpilliere/fix_uintCamille Mougey2015-04-261-1/+4
|\
| * Test: add intmod regressionserpilliere2015-04-251-1/+4
* | Merge pull request #149 from commial/sembuilderserpilliere2015-04-241-5/+32
|\ \ | |/ |/|
| * SemBuilder: Introduce the 'if cond' statement, building a new IRBlockAjax2015-04-241-2/+26
| * SemBuilder: Add `('X' % Y)(Z) -> ExprOp('X' % Y, Z)` and `('X')(Y) -> ExprOp(...Ajax2015-04-231-3/+6
* | Depgraph: Add a new example `depgraph` calling DepGraph with optionsAjax2015-04-241-0/+9
* | TestAll: Bad productAjax2015-04-241-1/+0
* | TestDepgraph: Bad counter name (credits C. Leman)Ajax2015-04-241-3/+4
|/
* Merge pull request #147 from commial/printable_semserpilliere2015-04-222-0/+26
|\
| * SemBuilder: Handle real variable declarationAjax2015-04-221-0/+3
| * Core: Introduce SemBuilder, a helper for building semantics side effectsAjax2015-04-222-0/+23
* | Jitter: Factorize common cpu attributes in JitCpu; Update APIs in consequenceserpilliere2015-04-221-2/+2
* | Test: add regression test for automod codeserpilliere2015-04-221-1/+1
|/
* Test: add expression reg testFabrice Desclaux2015-04-082-0/+8
* 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
* | Interval: fix contains; updt reg testsFabrice Desclaux2015-04-021-0/+1
* | Cpu: modify instructions' offset relative encodingFabrice Desclaux2015-04-014-35/+38
* | Clean: remove unecessary ast_parser modificationFabrice Desclaux2015-04-011-12/+0
* | Asmbloc: updt asmbloc apiFabrice Desclaux2015-04-012-5/+3
|/
* Translator: remove the mess with z3, and update Z3 translators and examplesAjax2015-03-241-2/+2
* Translator: Update usesAjax2015-03-241-7/+8
* 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
* TranslatorZ3: Better handling of asm_labels (translating to BitVecVal when po...Florent Monjalet2015-03-241-1/+7
* TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2015-03-241-0/+6
* TranslatorZ3: Fixed parity semanticFlorent Monjalet2015-03-241-1/+3
* TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors p...Florent Monjalet2015-03-231-0/+16
* Example: add NoCallNoMem in ida/depgraphserpilliere2015-03-231-8/+4
* TestAll: Add a test for disasm/full without arch and addr to reach previously...Ajax2015-03-191-0/+2
* DisasmFull: The architecture is now an optionnal argument, otherwise cont.arc...Ajax2015-03-191-1/+1
* Merge pull request #113 from serpilliere/fix_x86_prefix_binCamille Mougey2015-03-161-0/+5
|\
| * X86/Test: add regression test on binary output for instruction with prefixserpilliere2015-03-141-0/+5
* | Test/Graph: add reg testsFabrice Desclaux2015-03-121-10/+34
* | Test/Graph: add reg testsFabrice Desclaux2015-03-121-0/+14
* | Graph: dominators computation can only be done regarding to *one* headFabrice Desclaux2015-03-121-1/+1
|/
* Test/DepGraph: add regression test for double bloc symbolic emulationFabrice Desclaux2015-03-121-0/+42
* X86/arch: add stmxcsr/ldmxcsrserpilliere2015-03-041-0/+5
* Test/X86: updt reg testsFabrice Desclaux2015-02-271-6/+6
* Core: Introduce BoundedDict and its regression testCamille Mougey2015-02-232-0/+42
* Merge pull request #82 from commial/feature-depgraphserpilliere2015-02-202-0/+621
|\
| * Test/Analysis: Regression tests for DependencyGraphCamille Mougey2015-02-202-0/+621