| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #534 from commial/fix/dse_dep | serpilliere | 2017-04-21 | 1 | -2/+9 |
| |\ | | | | | DSE: support absence of z3 | ||||
| | * | DSE: support absence of z3 | Ajax | 2017-04-21 | 1 | -2/+9 |
| |/ | |||||
| * | Merge pull request #533 from serpilliere/fix_exprmatch | Camille Mougey | 2017-04-21 | 1 | -279/+287 |
| |\ | | | | | Fix exprmatch | ||||
| | * | Expression: clean | Fabrice Desclaux | 2017-04-21 | 1 | -232/+240 |
| | | | |||||
| | * | Errata: fix exprmatch names | Fabrice Desclaux | 2017-04-21 | 1 | -50/+50 |
| |/ | |||||
| * | Merge pull request #521 from serpilliere/ir_helper | Camille Mougey | 2017-04-21 | 6 | -35/+183 |
| |\ | | | | | Ir helper | ||||
| | * | Example: add irblock simplification example | Fabrice Desclaux | 2017-04-21 | 3 | -5/+36 |
| | | | |||||
| | * | Graph: add discard_edge | Fabrice Desclaux | 2017-04-21 | 1 | -0/+5 |
| | | | |||||
| | * | Ir: Add ir graph helpers | Fabrice Desclaux | 2017-04-21 | 2 | -30/+142 |
| | | | |||||
| * | | Merge pull request #532 from serpilliere/clean_match_expr | Camille Mougey | 2017-04-21 | 1 | -65/+45 |
| |\ \ | |/ |/| | Expression: clean MatchExpr | ||||
| | * | Expression: remove unused SearchExpr | Fabrice Desclaux | 2017-04-21 | 1 | -14/+0 |
| | | | |||||
| | * | Expression: clean MatchExpr | Fabrice Desclaux | 2017-04-21 | 1 | -51/+45 |
| |/ | |||||
| * | Merge pull request #518 from commial/feature/dse | serpilliere | 2017-04-21 | 12 | -3/+1105 |
| |\ | | | | | Feature/dse | ||||
| | * | Add regression test for DSE on lbl_gen | Ajax | 2017-04-18 | 2 | -0/+100 |
| | | | |||||
| | * | Handle symbolic exec stuck on lbl_gen | Ajax | 2017-04-18 | 1 | -38/+61 |
| | | | |||||
| | * | Add an example illustrating DSE | Ajax | 2017-04-18 | 3 | -0/+425 |
| | | | |||||
| | * | TestAll: add support for other executable | Ajax | 2017-04-18 | 2 | -3/+9 |
| | | | |||||
| | * | Introduce a module for Dynamic Symbolic Execution | Ajax | 2017-04-18 | 1 | -0/+522 |
| | | | |||||
| | * | Introduce attrib_to_regs: map attrib to corresponding registers | Ajax | 2017-04-18 | 5 | -0/+26 |
| | | | |||||
| * | | Merge pull request #531 from a-vincent/fix_getprocedureaddress | Caroline Leman | 2017-04-21 | 1 | -0/+1 |
| |\ \ | | | | | | | set breakpoint handler in ntdll_LdrGetProcedureAddress() | ||||
| | * | | set breakpoint handler in ntdll_LdrGetProcedureAddress() | Aymeric Vincent | 2017-04-21 | 1 | -0/+1 |
| |/ / | | | | | | | This mimics the behaviour of kernel32_GetProcAddress() | ||||
| * | | Merge pull request #530 from commial/fix/doc | serpilliere | 2017-04-20 | 1 | -1/+1 |
| |\ \ | | | | | | | Fix wrong add_memory_page docstring | ||||
| | * | | Fix wrong add_memory_page docstring | Ajax | 2017-04-20 | 1 | -1/+1 |
| | | | | |||||
| * | | | Merge pull request #529 from commial/feature/assignblk-simplify | serpilliere | 2017-04-20 | 3 | -1/+72 |
| |\ \ \ | |/ / |/| | | Feature/assignblk simplify | ||||
| | * | | Add regression test for AssignBlock | Ajax | 2017-04-20 | 2 | -0/+47 |
| | | | | |||||
| | * | | AssignBlock: add simplification facility | Ajax | 2017-04-20 | 1 | -0/+12 |
| | | | | |||||
| | * | | AssignBlock: add a few comment | Ajax | 2017-04-20 | 1 | -1/+13 |
| |/ / | |||||
| * | | Merge pull request #528 from serpilliere/assignblock_ro | Camille Mougey | 2017-04-20 | 17 | -274/+346 |
| |\ \ | | | | | | | Assignblock ro | ||||
| | * | | IRBlock: move lines in AssignBlock | Fabrice Desclaux | 2017-04-20 | 14 | -63/+61 |
| | | | | |||||
| | * | | Ir: clean code | Fabrice Desclaux | 2017-04-20 | 1 | -52/+51 |
| | | | | |||||
| | * | | Ir: make AssignBlock immutable | Fabrice Desclaux | 2017-04-20 | 10 | -174/+249 |
| |/ / | |||||
| * | | Merge pull request #520 from serpilliere/fastcall_abi | Camille Mougey | 2017-04-20 | 1 | -0/+27 |
| |\ \ | |/ |/| | X86_32: Add fastcall abi | ||||
| | * | X86_32: Add fastcall abi | Fabrice Desclaux | 2017-04-18 | 1 | -0/+27 |
| | | | |||||
| * | | Jitter: fix pending memory breakpoint (#527) | serpilliere | 2017-04-18 | 1 | -0/+8 |
| | | | |||||
| * | | Jitter: fix symb cache name (#525) | serpilliere | 2017-04-18 | 5 | -14/+27 |
| | | | |||||
| * | | Merge pull request #524 from serpilliere/fix_codegen_error_post_instr | Camille Mougey | 2017-04-18 | 3 | -8/+54 |
| |\ \ | | | | | | | Jitter: fix post instr exception | ||||
| | * | | Jitter: regression test for post instr | Fabrice Desclaux | 2017-04-18 | 2 | -0/+47 |
| | | | | |||||
| | * | | Jitter: fix post instr exception | Fabrice Desclaux | 2017-04-17 | 1 | -8/+7 |
| | |/ | | | | | | | | | PC must not be reevaluated on post instruction error. (llvm backend not affected) | ||||
| * | | Merge pull request #519 from serpilliere/rm_dup_api | Camille Mougey | 2017-04-17 | 4 | -42/+0 |
| |\ \ | |/ |/| | Ir: rm dup api. Use get_out_regs | ||||
| | * | Ir: rm dup api. Use get_out_regs | Fabrice Desclaux | 2017-04-14 | 4 | -42/+0 |
| |/ | |||||
| * | Merge pull request #517 from commial/fix/mimic-env-md5-aarch64 | serpilliere | 2017-04-06 | 1 | -1/+2 |
| |\ | | | | | Tests: run md5_aarch64l from the very beginning | ||||
| | * | Tests: run md5_aarch64l from the very beginning | Ajax | 2017-04-06 | 1 | -1/+2 |
| |/ | |||||
| * | Merge pull request #515 from commial/feature/calling-conv-systemv | serpilliere | 2017-04-06 | 15 | -76/+435 |
| |\ | | | | | Feature/calling conv systemv | ||||
| | * | Introduce Sandbox.call, for direct function calling | Ajax | 2017-04-06 | 3 | -0/+95 |
| | | | |||||
| | * | MD5_arm: run from the very beginning | Ajax | 2017-04-06 | 2 | -4/+1 |
| | | | |||||
| | * | Add regression test for command-line/env support in Sandbox | Ajax | 2017-04-06 | 7 | -0/+52 |
| | | | |||||
| | * | Add command-line and enviornment-vars argument in Sandbox | Ajax | 2017-04-06 | 1 | -13/+146 |
| | | | | | | | | | | | Note: lot of code is duplicated here, but due to Sandbox class hierarchy, merging them is not trivial (for now) | ||||
| | * | Add basic libc_start_main stub for Linux | Ajax | 2017-04-06 | 1 | -0/+30 |
| | | | |||||
| | * | Introduce a new API 'func_prepare_<callingconv>' for calling a function | Ajax | 2017-04-06 | 3 | -1/+31 |
| | | | |||||
| | * | Introduce a naive "System V" calling convention | Ajax | 2017-04-06 | 5 | -59/+81 |
| |/ | |||||