about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #825 from cea-sec/x86_nopCamille Mougey2018-08-192-0/+11
|\
| * X86: add nop formFabrice Desclaux2018-08-162-0/+11
|/
* Merge pull request #821 from cea-sec/fix_assignblk_eqCamille Mougey2018-08-131-1/+1
|\
| * IR: fix assignblk eqFabrice Desclaux2018-08-131-1/+1
|/
* Merge pull request #820 from commial/feature/add_cc_posCamille Mougey2018-08-081-0/+4
|\
| * Add support for CC_POSCamille Mougey2018-08-081-0/+4
|/
* Merge pull request #818 from serpilliere/fix_un_ssaCamille Mougey2018-08-071-1/+1
|\
| * SSA: fix tipoFabrice Desclaux2018-08-071-1/+1
* | Merge pull request #819 from commial/fix/symbexecserpilliere2018-08-072-2/+5
|\ \ | |/ |/|
| * Canonicalize before returning the base ptr (avoid ((a + b) + c))Fabrice Desclaux2018-08-071-1/+1
| * Func_read can be called with a non ExprInt exprFabrice Desclaux2018-08-071-1/+4
|/
* Merge pull request #816 from serpilliere/operator_high_levelCamille Mougey2018-08-0626-719/+2763
|\
| * Test: add progpag exprFabrice Desclaux2018-08-061-1/+1
| * Example/full: add constant propagationFabrice Desclaux2018-08-061-5/+159
| * 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 #815 from commial/fix/dse-concreteserpilliere2018-08-061-3/+6
|\ \ | |/ |/|
| * DSE: fix a bug happening in rare caseAjax2018-08-011-3/+6
* | Merge pull request #814 from serpilliere/fix_graph_reduceCamille Mougey2018-08-022-8/+128
|\ \ | |/ |/|
| * 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
|\
| * 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