about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Expr: use TOK define instead of stringsFabrice Desclaux2018-08-297-61/+98
* Test/simplify: dont use concurrent simplificationsFabrice Desclaux2018-08-291-5/+4
* Mep: use correct operator in IRFabrice Desclaux2018-08-292-19/+12
* Simplify/explicit: add missing opFabrice Desclaux2018-08-291-0/+8
* Expression: add simp condFabrice Desclaux2018-08-292-0/+15
* MIPS: fix IRA call generationFabrice Desclaux2018-08-291-37/+69
* MIPS: Explicit flagsFabrice Desclaux2018-08-292-14/+27
* Mips: missing addrsizeFabrice Desclaux2018-08-291-0/+1
* Merge pull request #828 from serpilliere/fix_lgtm_1Camille Mougey2018-08-2932-97/+101
|\
| * Code cleaning: lgtm.comFabrice Desclaux2018-08-2332-97/+101
* | Merge pull request #834 from serpilliere/fix_expr_reduceCamille Mougey2018-08-291-8/+12
|\ \
| * | ExprReduce: fix missing sub class useFabrice Desclaux2018-08-281-8/+12
|/ /
* | Merge pull request #833 from serpilliere/exprnode_subclassCamille Mougey2018-08-241-24/+122
|\ \
| * | Expr/Reduce: gen exprnode subclassFabrice Desclaux2018-08-241-24/+122
* | | Merge pull request #831 from serpilliere/fix_asm_parseCamille Mougey2018-08-242-3/+4
|\ \ \
| * | | 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