about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Example: fix upx unpackFabrice Desclaux2018-08-231-3/+2
|
* Merge pull request #817 from GAJaloyan/masterserpilliere2018-08-232-0/+21
|\ | | | | adding a new simplification for double zeroExtends.
| * adding a new simplification for double zeroExtends and signExtends.GAJaloyan2018-08-202-0/+21
|/
* Merge pull request #825 from cea-sec/x86_nopCamille Mougey2018-08-192-0/+11
|\ | | | | X86: add nop form
| * 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 eq
| * 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_POS
| * 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 tipo
| * SSA: fix tipoFabrice Desclaux2018-08-071-1/+1
| |
* | Merge pull request #819 from commial/fix/symbexecserpilliere2018-08-072-2/+5
|\ \ | |/ |/| Fix/symbexec
| * 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
|\ | | | | Operator high level
| * 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 case
| * DSE: fix a bug happening in rare caseAjax2018-08-011-3/+6
| | | | | | | | | | | | | | When the symb_concrete execution is needed, EmulationSymbExec is used. In the previous version, it was writing in Memory. If the current instruction is reading and writing at the same place, the jitter instance may have a different behavior than the symb concrete one
* | 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
| |