about summary refs log tree commit diff stats
path: root/example/expression/expr_c.py (unfollow)
Commit message (Collapse)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
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
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
CPUID is set to let Miasm run libc with supported instruction
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