about summary refs log tree commit diff stats
path: root/example/expression/expr_grapher.py (unfollow)
Commit message (Expand)AuthorFilesLines
2018-08-20adding a new simplification for double zeroExtends and signExtends.GAJaloyan2-0/+21
2018-08-16X86: add nop formFabrice Desclaux2-0/+11
2018-08-13IR: fix assignblk eqFabrice Desclaux1-1/+1
2018-08-08Add support for CC_POSCamille Mougey1-0/+4
2018-08-07Canonicalize before returning the base ptr (avoid ((a + b) + c))Fabrice Desclaux1-1/+1
2018-08-07Func_read can be called with a non ExprInt exprFabrice Desclaux1-1/+4
2018-08-07SSA: fix tipoFabrice Desclaux1-1/+1
2018-08-06Test: add progpag exprFabrice Desclaux1-1/+1
2018-08-06Example/full: add constant propagationFabrice Desclaux1-5/+159
2018-08-06Analysis: add snippet of stack variable detectionFabrice Desclaux1-2/+248
2018-08-06Simplifications: add common hl reductionsFabrice Desclaux2-4/+355
2018-08-06MEP: fix signext in disasmFabrice Desclaux1-2/+3
2018-08-06LLVM: zero/sign ext supportFabrice Desclaux1-0/+22
2018-08-06Test: fix arm regression testsFabrice Desclaux1-267/+267
2018-08-06ARM: add msr/mrs for eflagFabrice Desclaux1-0/+31
2018-08-06Test: add simplification reg testsFabrice Desclaux1-11/+20
2018-08-06Symbexec: Use simplifier with high level in symbexecFabrice Desclaux6-17/+32
2018-08-06Codegen: simplify high level opFabrice Desclaux1-0/+8
2018-08-06IR: simplify block cbFabrice Desclaux1-0/+15
2018-08-06Analysis: fix tipoFabrice Desclaux1-1/+1
2018-08-06Analysis: add remove phiFabrice Desclaux1-0/+118
2018-08-06Analysis: add ssa to defuseFabrice Desclaux1-2/+255
2018-08-06Graph: add reachable stop nodeFabrice Desclaux1-0/+18
2018-08-06Analysis/SSA: fix analysis with missing blocksFabrice Desclaux1-0/+2
2018-08-06Translator/C: add zero/sign extendFabrice Desclaux1-1/+23
2018-08-06AARCH64: Explicit flagsFabrice Desclaux2-169/+369
2018-08-06X86: Explicit flagsFabrice Desclaux1-132/+352
2018-08-06ARM: Explicit flagsFabrice Desclaux1-100/+245
2018-08-06Simplifications: add high level to low level reductionFabrice Desclaux2-0/+175
2018-08-06Expression: add CC flagsFabrice Desclaux1-8/+27
2018-08-06Expression: add simplificationFabrice Desclaux1-1/+13
2018-08-06Aarch64: add adc/sbc reg regFabrice Desclaux1-0/+8
2018-08-01DSE: fix a bug happening in rare caseAjax1-3/+6
2018-08-01Analysis: fix block simp (bad block ref)Fabrice Desclaux1-1/+3
2018-08-01Test: add regression test (bad block ref)Fabrice Desclaux1-0/+53
2018-08-01Analysis: fix block simp (infinite loop)Fabrice Desclaux1-6/+10
2018-08-01Test: add reduce graph test (infinite loop)Fabrice Desclaux1-1/+62
2018-07-26Incorrect ir_mepb.addrsize definitionGuillaume Valadon1-1/+2
2018-07-24Add an example for LinuxEnvironment & Syscall handlingAjax2-0/+98
2018-07-24Add a module for Linux environment simulation + syscallsAjax4-0/+1936
2018-07-24Jitter: add support for SystemV syscall convention (arml / x86_64)Ajax2-0/+16
2018-07-24Add support for reloc and rebase in ContainerELFAjax2-48/+36
2018-07-24ELF Loader: add support for x86 relocs and symbol import in LocDBAjax1-8/+218
2018-07-24LLVMConvert: fix multiple function addition for cntleadAjax1-1/+4
2018-07-19LocationDB: add a name -> offset methodAjax2-0/+17
2018-07-19CPUID: add suport for more cpuid leavesAjax1-6/+54
2018-07-19DisasmEngine: add dis_instrAjax1-0/+14
2018-07-19Expression: fix slice assignmentFabrice Desclaux2-1/+8
2018-07-19Dataflow: do not remote exception_flags in dead_simpFabrice Desclaux1-0/+1
2018-07-18PPC: fix tipoFabrice Desclaux1-1/+1