about summary refs log tree commit diff stats
path: root/example/symbol_exec (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove misleading commentW0ni2024-03-141-1/+1
* Merge pull request #1447 from cea-sec/helper-depgraphserpilliere2023-04-231-7/+2
|\
| * Depgraph: add `.address_to_location` to help find the line and loc of an addressCamille Mougey2023-04-231-7/+2
* | Example: add support for symbol name in `address`Camille Mougey2023-04-231-1/+10
* | Example: add a basic symbol_exec exampleCamille Mougey2023-04-231-0/+49
|/
* Fixed usage for constant_propagation, depgraph & graph_dataflowIvan “CLOVIS” Canet2022-03-211-1/+1
* Replace jitter.run boolean by jitter.runningRomain Lesteven2021-05-051-3/+2
* Rename ir_arch for jitterFabrice Desclaux2020-12-252-5/+5
* Rename examples lifterFabrice Desclaux2020-12-251-3/+3
* Rename ira => LifterModelCallFabrice Desclaux2020-12-243-17/+17
* Avoid generate default locationdbFabrice Desclaux2020-08-313-8/+14
* Clear get_str_* APIFabrice Desclaux2019-11-121-3/+4
* Fix get_str_ansi: return strFabrice Desclaux2019-09-221-1/+1
* Rename miasm2 to miasmFabrice Desclaux2019-03-054-18/+18
* Support python2/python3Fabrice Desclaux2019-03-054-39/+65
* Fix typos & add codespellPierre LALET2018-12-233-6/+6
* Updt example apiFabrice Desclaux2018-12-101-4/+4
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-011-2/+2
* Adds Windows support and AppVeyor CI (#835)Axel Souchet2018-09-092-12/+22
* IR: gen ircfg from ir_archFabrice Desclaux2018-07-052-10/+12
* IR: remove default regs_init for symbexecFabrice Desclaux2018-07-051-1/+1
* symbol_pool -> loc_dbAjax2018-07-032-8/+6
* DSE: remove useless changes introduced by 61551fa7Ajax2018-06-111-1/+1
* Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-091-3/+3
* Core: updt parser structureFabrice Desclaux2018-05-141-2/+6
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-151-9/+6
* Sandbox: on Linux env import, also set the ABORT_ADDRAjax2018-03-051-1/+1
* Expression: no default size for ExprIdFabrice Desclaux2018-02-091-2/+2
* IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-091-3/+3
* IRBlock: replace irs by assignblksFabrice Desclaux2018-02-091-1/+1
* append b to the opens mode ; Python on Windows makes a distinction between te...w4kfu2018-01-162-2/+2
* Example: fix disasm wdFabrice Desclaux2018-01-111-0/+1
* Remove a dev-TODO (thanks @WilliamBruneau)Ajax2017-10-051-1/+1
* DSE: avoid using the same test.txt file in test, allowing parallelismAjax2017-09-061-2/+7
* Add a simpler illustrating the DSE useAjax2017-09-051-0/+129
* DSE: update example to use coverage provided by the moduleAjax2017-09-051-35/+29
* DSE: update example to use compute_solutionAjax2017-09-051-5/+5
* Merge pull request #579 from serpilliere/fix_get_blocserpilliere2017-07-202-4/+4
|\
| * Asmblock: rename blocFabrice Desclaux2017-07-072-2/+2
| * IR: rename add_blocFabrice Desclaux2017-07-072-2/+2
* | Remove unecessary assertWilliam Bruneau2017-07-201-1/+0
* | Fix typoWilliam Bruneau2017-07-201-6/+6
|/
* Use and tiny test of .as_assignblock() behaviorAjax2017-05-091-2/+3
* Merge pull request #518 from commial/feature/dseserpilliere2017-04-211-0/+310
|\
| * Add an example illustrating DSEAjax2017-04-181-0/+310
* | IRBlock: move lines in AssignBlockFabrice Desclaux2017-04-201-2/+2
|/
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-301-2/+2
* IR/Symbexec: rename symbexec to SymbolicExecutionEngineFabrice Desclaux2017-03-131-2/+2
* Symbexec: new api for emul_ir_*Fabrice Desclaux2016-11-041-2/+2
* Example/Depgraph: allow lower/upper register trackingFabrice Desclaux2016-03-221-1/+1