about summary refs log tree commit diff stats
path: root/example/symbol_exec (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
| | | | | | | Use Python's int(s, 0) to allow string "s" to specify its base where addresses and offsets can be supplied. This change makes the situation homogeneous among the various examples and interactive usage.
* 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