about summary refs log tree commit diff stats
path: root/example/symbol_exec (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Example/Depgraph: add JSON outputFabrice Desclaux2016-03-211-8/+31
* Example/dg: fix print solutionsFabrice Desclaux2016-03-211-2/+5
* Test/depgraph: autopepFabrice Desclaux2016-03-171-28/+29
* IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph`Ajax2015-12-071-3/+0
* Example/SymbolExec: write code more arch-independentAjax2015-11-091-16/+14
* Example/SymbolExec: enhance and commentAjax2015-11-091-15/+27
* In interactive use, allow C-like prefixes to choose the base of integersAymeric Vincent2015-10-271-2/+2
* Example: Add an example "rename-args" argument for depgraphAjax2015-04-281-2/+15
* DepGraph: Introduce implicit result management, with constraint solving APIAjax2015-04-281-0/+8
* Depgraph: Add a new example `depgraph` calling DepGraph with optionsAjax2015-04-241-0/+77
* Example: Rename symbol_exec to single_instr in a specific symbol_exec directoryCamille Mougey2015-01-231-0/+31