about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
| * 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The assembler will automatically use instruction len in offset computation In the following instruction: 0x10: EB 02 JMP 0x14 If we assemble this instruction, the requested instruction send to the assembler engine will be: JMP +0x4 And will be encoded to: EB 02 Previously, the assembly of: JMP +0x4 was: EB 04
* | 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 ↵Florent Monjalet2015-03-241-1/+7
| | | | possible)
* TranslatorZ3: Fixed from_ExprId when expr.name is an asmlabelFlorent Monjalet2015-03-241-0/+6
| | | | TODO: replace the asmlabel str by its offset?
* TranslatorZ3: Fixed parity semanticFlorent Monjalet2015-03-241-1/+3
|
* TranslatorZ3: Handling 'parity' and '-' unary operators, and raising errors ↵Florent Monjalet2015-03-231-0/+16
| | | | properly for other unhandled operators.
* Example: add NoCallNoMem in ida/depgraphserpilliere2015-03-231-8/+4
|
* TestAll: Add a test for disasm/full without arch and addr to reach ↵Ajax2015-03-191-0/+2
| | | | previously untested code
* DisasmFull: The architecture is now an optionnal argument, otherwise ↵Ajax2015-03-191-1/+1
| | | | cont.arch is used
* Merge pull request #113 from serpilliere/fix_x86_prefix_binCamille Mougey2015-03-161-0/+5
|\ | | | | Fix x86 prefix bin
| * 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
|/ | | | The 'get_all_parents' is replaced by 'reachable_parents'
* 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
|\ | | | | Feature: dependency graphs
| * Test/Analysis: Regression tests for DependencyGraphCamille Mougey2015-02-202-0/+621
| |
* | Fixed regression tests for PUSHFW and POPFWgg2015-02-201-2/+2
|/
* X86: add regression tests for bsf/bsrFabrice Desclaux2015-02-203-2/+50
|
* TestAll: Never launch tests from `miasm2` root (files are used before modules)Camille Mougey2015-02-161-6/+4
|
* Test: Add x86 64 mul/div regression testFabrice Desclaux2015-02-132-1/+105
|
* Test/Simplification: add regression testsFabrice Desclaux2015-02-131-0/+8
|
* Test: add regression test for simplification << >>Fabrice Desclaux2015-02-131-0/+33
|
* Merge pull request #52 from commial/ida-symbol_execserpilliere2015-02-101-0/+44
|\ | | | | Ida symbol exec
| * VariablesIdentifier: Handle corner cases (using var ident on already ↵Camille Mougey2015-02-101-3/+34
| | | | | | | | computed eq)
| * VariableIdentifier: Less hacky way to identify sub vars, add a prefix featureCamille Mougey2015-02-101-0/+13
| |
* | Tests: add x86_32 pop esp regression testFabrice Desclaux2015-02-101-1/+1
|/
* Core/ASMBloc: resolve_symbol now returns only the resolved blocsCamille Mougey2015-01-261-1/+1
|
* Merge pull request #45 from commial/refactor-examplesserpilliere2015-01-261-105/+193
|\ | | | | Refactor examples
| * Example/ASM: Add a minimalist exampleCamille Mougey2015-01-261-0/+3
| |
| * TestAll: Add an empty space between ']' and z3 warning messageCamille Mougey2015-01-231-1/+1
| |
| * Example/ASM: Test the second ARM (arm_sc.S) exampleCamille Mougey2015-01-231-0/+8
| |
| * Example/ASM: Test the x86_64 exampleCamille Mougey2015-01-231-6/+9
| |
| * TestAll: Add missing productsCamille Mougey2015-01-231-6/+7
| |
| * TestAll: Launch examples from their subdir, merge ExampleDir into ExampleCamille Mougey2015-01-231-30/+24
| |
| * Example/ASM: Avoid duplicating code by using a common script shellcode.pyCamille Mougey2015-01-231-42/+61
| |
| * Example: Move disasm's examples to a `disasm` directoryCamille Mougey2015-01-231-8/+21
| |
| * Example: Move asm's examples to a `asm` directoryCamille Mougey2015-01-231-13/+20
| |
| * Example: Move jitter's examples to a `jitter` directoryCamille Mougey2015-01-231-21/+26
| |