about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Core: fix asm intFabrice Desclaux2018-08-242-3/+4
| |/ /
* | | Merge pull request #832 from serpilliere/add_name_locCamille Mougey2018-08-241-9/+3
|\ \ \ | |/ / |/| |
| * | Core/Location: add name to a known locationFabrice Desclaux2018-08-241-9/+3
|/ /
* | Merge pull request #830 from serpilliere/fix_example_jitCamille Mougey2018-08-231-3/+2
|\ \
| * | 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 and signExtends.GAJaloyan2018-08-202-0/+21
|/
* 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