about summary refs log tree commit diff stats
path: root/miasm2 (follow)
Commit message (Collapse)AuthorAgeFilesLines
* DSE: support absence of z3Ajax2017-04-211-2/+9
|
* Expression: cleanFabrice Desclaux2017-04-211-232/+240
|
* Errata: fix exprmatch namesFabrice Desclaux2017-04-211-50/+50
|
* Merge pull request #521 from serpilliere/ir_helperCamille Mougey2017-04-213-30/+147
|\ | | | | Ir helper
| * Graph: add discard_edgeFabrice Desclaux2017-04-211-0/+5
| |
| * Ir: Add ir graph helpersFabrice Desclaux2017-04-212-30/+142
| |
* | Expression: remove unused SearchExprFabrice Desclaux2017-04-211-14/+0
| |
* | Expression: clean MatchExprFabrice Desclaux2017-04-211-51/+45
|/
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-216-0/+571
|\ | | | | Feature/dse
| * Handle symbolic exec stuck on lbl_genAjax2017-04-181-38/+61
| |
| * Introduce a module for Dynamic Symbolic ExecutionAjax2017-04-181-0/+522
| |
| * Introduce attrib_to_regs: map attrib to corresponding registersAjax2017-04-185-0/+26
| |
* | set breakpoint handler in ntdll_LdrGetProcedureAddress()Aymeric Vincent2017-04-211-0/+1
| | | | | | | | This mimics the behaviour of kernel32_GetProcAddress()
* | Merge pull request #530 from commial/fix/docserpilliere2017-04-201-1/+1
|\ \ | | | | | | Fix wrong add_memory_page docstring
| * | Fix wrong add_memory_page docstringAjax2017-04-201-1/+1
| | |
* | | AssignBlock: add simplification facilityAjax2017-04-201-0/+12
| | |
* | | AssignBlock: add a few commentAjax2017-04-201-1/+13
|/ /
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-2010-54/+54
| |
* | Ir: clean codeFabrice Desclaux2017-04-201-52/+51
| |
* | Ir: make AssignBlock immutableFabrice Desclaux2017-04-208-171/+244
| |
* | Merge pull request #520 from serpilliere/fastcall_abiCamille Mougey2017-04-201-0/+27
|\ \ | |/ |/| X86_32: Add fastcall abi
| * X86_32: Add fastcall abiFabrice Desclaux2017-04-181-0/+27
| |
* | Jitter: fix pending memory breakpoint (#527)serpilliere2017-04-181-0/+8
| |
* | Jitter: fix symb cache name (#525)serpilliere2017-04-185-14/+27
| |
* | Merge pull request #524 from serpilliere/fix_codegen_error_post_instrCamille Mougey2017-04-181-8/+7
|\ \ | | | | | | Jitter: fix post instr exception
| * | Jitter: fix post instr exceptionFabrice Desclaux2017-04-171-8/+7
| |/ | | | | | | | | PC must not be reevaluated on post instruction error. (llvm backend not affected)
* / Ir: rm dup api. Use get_out_regsFabrice Desclaux2017-04-144-42/+0
|/
* Introduce Sandbox.call, for direct function callingAjax2017-04-061-0/+71
|
* Add command-line and enviornment-vars argument in SandboxAjax2017-04-061-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 LinuxAjax2017-04-061-0/+30
|
* Introduce a new API 'func_prepare_<callingconv>' for calling a functionAjax2017-04-063-1/+31
|
* Introduce a naive "System V" calling conventionAjax2017-04-064-55/+77
|
* Aarch64: fix ldrFabrice Desclaux2017-04-061-3/+55
|
* Merge pull request #512 from serpilliere/fix_arm_dumpregCamille Mougey2017-04-051-4/+4
|\ | | | | Jitter/arm: dump gpregs 32 bit output
| * Jitter/arm: dump gpregs 32 bit outputFabrice Desclaux2017-04-041-4/+4
| |
* | IR: fix set_dst linenbFabrice Desclaux2017-04-041-1/+3
|/
* Expr: fix singleton; add reg testFabrice Desclaux2017-03-311-67/+43
|
* ModularIntervals: naive support for * operationAjax2017-03-302-1/+24
|
* ModularIntervals: add length capabilityAjax2017-03-301-0/+4
| | | | length is used due to Python incompablity with __len__ values > 32bits
* ModularIntervals: fix init with empty intervalAjax2017-03-301-2/+4
|
* Use non-deprecated ExprInt form in sembuilderAjax2017-03-301-5/+6
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-3021-312/+314
|
* Deprecate ExprInt[num] and ExprInt_from(expr, num)Ajax2017-03-301-0/+12
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-302-48/+45
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* Merge pull request #508 from carolineLe/def_useserpilliere2017-03-292-245/+259
|\ | | | | analysis: Introduction of use-definition chains
| * analysis: Introduction of use-definition chainsCaroline Leman2017-03-292-245/+259
| | | | | | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'
* | ExprReduce: fix exprnode strFabrice Desclaux2017-03-281-11/+11
|/
* Container: add dynsym symbolsFabrice Desclaux2017-03-251-12/+16
|
* Symbexec: fix tipo symbmngrFabrice Desclaux2017-03-171-4/+4
|
* IR: fix support old api blocsFabrice Desclaux2017-03-171-1/+1
|