| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Merge pull request #819 from commial/fix/symbexec | serpilliere | 2018-08-07 | 2 | -2/+5 | |
| |\ \ | |/ |/| | Fix/symbexec | |||||
| | * | Canonicalize before returning the base ptr (avoid ((a + b) + c)) | Fabrice Desclaux | 2018-08-07 | 1 | -1/+1 | |
| | | | ||||||
| | * | Func_read can be called with a non ExprInt expr | Fabrice Desclaux | 2018-08-07 | 1 | -1/+4 | |
| |/ | ||||||
| * | Merge pull request #816 from serpilliere/operator_high_level | Camille Mougey | 2018-08-06 | 26 | -719/+2763 | |
| |\ | | | | | Operator high level | |||||
| | * | Test: add progpag expr | Fabrice Desclaux | 2018-08-06 | 1 | -1/+1 | |
| | | | ||||||
| | * | Example/full: add constant propagation | Fabrice Desclaux | 2018-08-06 | 1 | -5/+159 | |
| | | | ||||||
| | * | Analysis: add snippet of stack variable detection | Fabrice Desclaux | 2018-08-06 | 1 | -2/+248 | |
| | | | ||||||
| | * | Simplifications: add common hl reductions | Fabrice Desclaux | 2018-08-06 | 2 | -4/+355 | |
| | | | ||||||
| | * | MEP: fix signext in disasm | Fabrice Desclaux | 2018-08-06 | 1 | -2/+3 | |
| | | | ||||||
| | * | LLVM: zero/sign ext support | Fabrice Desclaux | 2018-08-06 | 1 | -0/+22 | |
| | | | ||||||
| | * | Test: fix arm regression tests | Fabrice Desclaux | 2018-08-06 | 1 | -267/+267 | |
| | | | ||||||
| | * | ARM: add msr/mrs for eflag | Fabrice Desclaux | 2018-08-06 | 1 | -0/+31 | |
| | | | ||||||
| | * | Test: add simplification reg tests | Fabrice Desclaux | 2018-08-06 | 1 | -11/+20 | |
| | | | ||||||
| | * | Symbexec: Use simplifier with high level in symbexec | Fabrice Desclaux | 2018-08-06 | 6 | -17/+32 | |
| | | | ||||||
| | * | Codegen: simplify high level op | Fabrice Desclaux | 2018-08-06 | 1 | -0/+8 | |
| | | | ||||||
| | * | IR: simplify block cb | Fabrice Desclaux | 2018-08-06 | 1 | -0/+15 | |
| | | | ||||||
| | * | Analysis: fix tipo | Fabrice Desclaux | 2018-08-06 | 1 | -1/+1 | |
| | | | ||||||
| | * | Analysis: add remove phi | Fabrice Desclaux | 2018-08-06 | 1 | -0/+118 | |
| | | | ||||||
| | * | Analysis: add ssa to defuse | Fabrice Desclaux | 2018-08-06 | 1 | -2/+255 | |
| | | | ||||||
| | * | Graph: add reachable stop node | Fabrice Desclaux | 2018-08-06 | 1 | -0/+18 | |
| | | | ||||||
| | * | Analysis/SSA: fix analysis with missing blocks | Fabrice Desclaux | 2018-08-06 | 1 | -0/+2 | |
| | | | ||||||
| | * | Translator/C: add zero/sign extend | Fabrice Desclaux | 2018-08-06 | 1 | -1/+23 | |
| | | | ||||||
| | * | AARCH64: Explicit flags | Fabrice Desclaux | 2018-08-06 | 2 | -169/+369 | |
| | | | ||||||
| | * | X86: Explicit flags | Fabrice Desclaux | 2018-08-06 | 1 | -132/+352 | |
| | | | ||||||
| | * | ARM: Explicit flags | Fabrice Desclaux | 2018-08-06 | 1 | -100/+245 | |
| | | | ||||||
| | * | Simplifications: add high level to low level reduction | Fabrice Desclaux | 2018-08-06 | 2 | -0/+175 | |
| | | | ||||||
| | * | Expression: add CC flags | Fabrice Desclaux | 2018-08-06 | 1 | -8/+27 | |
| | | | ||||||
| | * | Expression: add simplification | Fabrice Desclaux | 2018-08-06 | 1 | -1/+13 | |
| | | | ||||||
| | * | Aarch64: add adc/sbc reg reg | Fabrice Desclaux | 2018-08-06 | 1 | -0/+8 | |
| | | | ||||||
| * | | Merge pull request #815 from commial/fix/dse-concrete | serpilliere | 2018-08-06 | 1 | -3/+6 | |
| |\ \ | |/ |/| | DSE: fix a bug happening in rare case | |||||
| | * | DSE: fix a bug happening in rare case | Ajax | 2018-08-01 | 1 | -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_reduce | Camille Mougey | 2018-08-02 | 2 | -8/+128 | |
| |\ \ | |/ |/| | Fix graph reduce | |||||
| | * | Analysis: fix block simp (bad block ref) | Fabrice Desclaux | 2018-08-01 | 1 | -1/+3 | |
| | | | ||||||
| | * | Test: add regression test (bad block ref) | Fabrice Desclaux | 2018-08-01 | 1 | -0/+53 | |
| | | | ||||||
| | * | Analysis: fix block simp (infinite loop) | Fabrice Desclaux | 2018-08-01 | 1 | -6/+10 | |
| | | | ||||||
| | * | Test: add reduce graph test (infinite loop) | Fabrice Desclaux | 2018-08-01 | 1 | -1/+62 | |
| |/ | ||||||
| * | Merge pull request #803 from commial/feature/linux-env | serpilliere | 2018-07-28 | 16 | -63/+2393 | |
| |\ | | | | | Feature/linux env | |||||
| | * | Add an example for LinuxEnvironment & Syscall handling | Ajax | 2018-07-24 | 2 | -0/+98 | |
| | | | ||||||
| | * | Add a module for Linux environment simulation + syscalls | Ajax | 2018-07-24 | 4 | -0/+1936 | |
| | | | ||||||
| | * | Jitter: add support for SystemV syscall convention (arml / x86_64) | Ajax | 2018-07-24 | 2 | -0/+16 | |
| | | | ||||||
| | * | Add support for reloc and rebase in ContainerELF | Ajax | 2018-07-24 | 2 | -48/+36 | |
| | | | ||||||
| | * | ELF Loader: add support for x86 relocs and symbol import in LocDB | Ajax | 2018-07-24 | 1 | -8/+218 | |
| | | | ||||||
| | * | LLVMConvert: fix multiple function addition for cntlead | Ajax | 2018-07-24 | 1 | -1/+4 | |
| | | | ||||||
| | * | LocationDB: add a name -> offset method | Ajax | 2018-07-19 | 2 | -0/+17 | |
| | | | ||||||
| | * | CPUID: add suport for more cpuid leaves | Ajax | 2018-07-19 | 1 | -6/+54 | |
| | | | | | | | | | CPUID is set to let Miasm run libc with supported instruction | |||||
| | * | DisasmEngine: add dis_instr | Ajax | 2018-07-19 | 1 | -0/+14 | |
| | | | ||||||
| * | | Merge pull request #812 from guedou/mepl_addrsize | Camille Mougey | 2018-07-26 | 1 | -1/+2 | |
| |\ \ | |/ |/| | Incorrect ir_mepb.addrsize definition | |||||
| | * | Incorrect ir_mepb.addrsize definition | Guillaume Valadon | 2018-07-26 | 1 | -1/+2 | |
| |/ | ||||||
| * | Merge pull request #809 from serpilliere/fix_expr_aff_single_slice | Camille Mougey | 2018-07-19 | 2 | -1/+8 | |
| |\ | | | | | Expression: fix slice assignment | |||||
| | * | Expression: fix slice assignment | Fabrice Desclaux | 2018-07-19 | 2 | -1/+8 | |
| |/ | ||||||