about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Analysis: add snippet of stack variable detectionFabrice Desclaux2018-08-061-2/+248
|
* Simplifications: add common hl reductionsFabrice Desclaux2018-08-062-4/+355
|
* MEP: fix signext in disasmFabrice Desclaux2018-08-061-2/+3
|
* LLVM: zero/sign ext supportFabrice Desclaux2018-08-061-0/+22
|
* Test: fix arm regression testsFabrice Desclaux2018-08-061-267/+267
|
* ARM: add msr/mrs for eflagFabrice Desclaux2018-08-061-0/+31
|
* Test: add simplification reg testsFabrice Desclaux2018-08-061-11/+20
|
* Symbexec: Use simplifier with high level in symbexecFabrice Desclaux2018-08-066-17/+32
|
* Codegen: simplify high level opFabrice Desclaux2018-08-061-0/+8
|
* IR: simplify block cbFabrice Desclaux2018-08-061-0/+15
|
* Analysis: fix tipoFabrice Desclaux2018-08-061-1/+1
|
* Analysis: add remove phiFabrice Desclaux2018-08-061-0/+118
|
* Analysis: add ssa to defuseFabrice Desclaux2018-08-061-2/+255
|
* Graph: add reachable stop nodeFabrice Desclaux2018-08-061-0/+18
|
* Analysis/SSA: fix analysis with missing blocksFabrice Desclaux2018-08-061-0/+2
|
* Translator/C: add zero/sign extendFabrice Desclaux2018-08-061-1/+23
|
* AARCH64: Explicit flagsFabrice Desclaux2018-08-062-169/+369
|
* X86: Explicit flagsFabrice Desclaux2018-08-061-132/+352
|
* ARM: Explicit flagsFabrice Desclaux2018-08-061-100/+245
|
* Simplifications: add high level to low level reductionFabrice Desclaux2018-08-062-0/+175
|
* Expression: add CC flagsFabrice Desclaux2018-08-061-8/+27
|
* Expression: add simplificationFabrice Desclaux2018-08-061-1/+13
|
* Aarch64: add adc/sbc reg regFabrice Desclaux2018-08-061-0/+8
|
* Merge pull request #814 from serpilliere/fix_graph_reduceCamille Mougey2018-08-022-8/+128
|\ | | | | Fix graph reduce
| * Analysis: fix block simp (bad block ref)Fabrice Desclaux2018-08-011-1/+3
| |
| * Test: add regression test (bad block ref)Fabrice Desclaux2018-08-011-0/+53
| |
| * Analysis: fix block simp (infinite loop)Fabrice Desclaux2018-08-011-6/+10
| |
| * Test: add reduce graph test (infinite loop)Fabrice Desclaux2018-08-011-1/+62
|/
* Merge pull request #803 from commial/feature/linux-envserpilliere2018-07-2816-63/+2393
|\ | | | | Feature/linux env
| * Add an example for LinuxEnvironment & Syscall handlingAjax2018-07-242-0/+98
| |
| * Add a module for Linux environment simulation + syscallsAjax2018-07-244-0/+1936
| |
| * Jitter: add support for SystemV syscall convention (arml / x86_64)Ajax2018-07-242-0/+16
| |
| * Add support for reloc and rebase in ContainerELFAjax2018-07-242-48/+36
| |
| * ELF Loader: add support for x86 relocs and symbol import in LocDBAjax2018-07-241-8/+218
| |
| * LLVMConvert: fix multiple function addition for cntleadAjax2018-07-241-1/+4
| |
| * LocationDB: add a name -> offset methodAjax2018-07-192-0/+17
| |
| * CPUID: add suport for more cpuid leavesAjax2018-07-191-6/+54
| | | | | | | | CPUID is set to let Miasm run libc with supported instruction
| * DisasmEngine: add dis_instrAjax2018-07-191-0/+14
| |
* | Merge pull request #812 from guedou/mepl_addrsizeCamille Mougey2018-07-261-1/+2
|\ \ | |/ |/| Incorrect ir_mepb.addrsize definition
| * Incorrect ir_mepb.addrsize definitionGuillaume Valadon2018-07-261-1/+2
|/
* Merge pull request #809 from serpilliere/fix_expr_aff_single_sliceCamille Mougey2018-07-192-1/+8
|\ | | | | Expression: fix slice assignment
| * Expression: fix slice assignmentFabrice Desclaux2018-07-192-1/+8
|/
* Merge pull request #808 from serpilliere/fix_ppc_semCamille Mougey2018-07-191-1/+1
|\ | | | | PPC: fix tipo
| * PPC: fix tipoFabrice Desclaux2018-07-181-1/+1
| |
* | Merge pull request #810 from serpilliere/fix_dead_simpCamille Mougey2018-07-191-0/+1
|\ \ | | | | | | Dataflow: do not remote exception_flags in dead_simp
| * | Dataflow: do not remote exception_flags in dead_simpFabrice Desclaux2018-07-191-0/+1
|/ /
* | Merge pull request #807 from serpilliere/fix_aarch64_semCamille Mougey2018-07-181-4/+8
|\ \ | | | | | | Aarch64: fix remaining ExprLoc
| * | Aarch64: fix remaining ExprLocFabrice Desclaux2018-07-181-4/+8
| |/
* | Merge pull request #802 from serpilliere/fix_x86_asm_64Camille Mougey2018-07-184-2/+33
|\ \ | | | | | | X86: fix 64 bit asm
| * | Test: add x86 64 asm test 64bit addrFabrice Desclaux2018-07-172-0/+31
| | |