| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | MSP430: add ctype | Fabrice Desclaux | 2018-01-11 | 1 | -1/+4 | |
| | | ||||||
| * | Ida/Example: clean symbexec plugin | Fabrice Desclaux | 2018-01-09 | 1 | -12/+0 | |
| | | ||||||
| * | Ida/Example: fix symbexec plugin | Fabrice Desclaux | 2018-01-09 | 1 | -10/+77 | |
| | | ||||||
| * | Example/IDA: update IR string output | Fabrice Desclaux | 2018-01-05 | 1 | -49/+69 | |
| | | ||||||
| * | Ctypes: allow analysis on incomplete graphs | Fabrice Desclaux | 2017-10-03 | 1 | -2/+5 | |
| | | ||||||
| * | Example/ida: fix size issue | Fabrice Desclaux | 2017-09-07 | 1 | -17/+15 | |
| | | ||||||
| * | Example/ctype: fix propagation on mem write | Fabrice Desclaux | 2017-08-14 | 1 | -1/+3 | |
| | | | | | | Display the destination type if it's a memory variable, and we know its type (we consider source and destination have the same type). | |||||
| * | Symbexec: add get_block | Fabrice Desclaux | 2017-08-08 | 1 | -14/+1 | |
| | | ||||||
| * | Example: add ctype_propagation | Fabrice Desclaux | 2017-08-08 | 1 | -20/+33 | |
| | | ||||||
| * | Example: update api | Fabrice Desclaux | 2017-08-08 | 1 | -39/+69 | |
| | | ||||||
| * | Asmblock: remove disasm engine job_done attribute | Fabrice Desclaux | 2017-07-27 | 1 | -1/+0 | |
| | | | | | | | | | | | | WARNING: disasmEngine behaviour modification Before patch: job_done containted the already disassembled addresses. If the user disassembled twice the same addresse, the engine will return empty object on the second call. After patch: If the user disassemble twice the same addresse, the engine will return result of the disassembling in both cases. | |||||
| * | Asmblock: rename bloc | Fabrice Desclaux | 2017-07-07 | 4 | -5/+5 | |
| | | ||||||
| * | IR: rename add_bloc | Fabrice Desclaux | 2017-07-07 | 4 | -5/+5 | |
| | | ||||||
| * | IR: rename get_bloc | Fabrice Desclaux | 2017-07-07 | 1 | -1/+1 | |
| | | ||||||
| * | IDA: add a Miasm menu with shortcuts to other IDA examples | Ajax | 2017-07-05 | 1 | -0/+77 | |
| | | ||||||
| * | IDA/TypePropag: clean & fix imports | Ajax | 2017-07-05 | 1 | -14/+13 | |
| | | ||||||
| * | IDA/SymbExec: clean & fix imports, export main function | Ajax | 2017-07-05 | 1 | -7/+8 | |
| | | ||||||
| * | IDA/Graph IR: clean & fix imports, export main function, add a | Ajax | 2017-07-05 | 1 | -70/+91 | |
| | | | | | simplification option | |||||
| * | IDA/Depgraph: clean & fix imports, export main function | Ajax | 2017-07-05 | 1 | -83/+93 | |
| | | ||||||
| * | Example: update SymbExecCType api | Fabrice Desclaux | 2017-07-05 | 1 | -9/+7 | |
| | | ||||||
| * | Example/ctype: clean code | Fabrice Desclaux | 2017-07-04 | 1 | -129/+110 | |
| | | ||||||
| * | Example: c type propagation ida plugin | Fabrice Desclaux | 2017-06-14 | 1 | -0/+266 | |
| | | ||||||
| * | Example: add ida rpyc server | Fabrice Desclaux | 2017-06-13 | 1 | -0/+25 | |
| | | ||||||
| * | Example: clean graph_ir IDA | Fabrice Desclaux | 2017-05-24 | 1 | -183/+59 | |
| | | ||||||
| * | IR: Make IRBlock immutable | Fabrice Desclaux | 2017-05-24 | 2 | -7/+11 | |
| | | ||||||
| * | Example: fix tipo | Fabrice Desclaux | 2017-05-09 | 1 | -1/+1 | |
| | | ||||||
| * | IDA: handle generated labels in depgraph | Ajax | 2017-04-25 | 1 | -1/+7 | |
| | | ||||||
| * | IDA: fix depgraph for immutable AssignBlock | Ajax | 2017-04-25 | 1 | -8/+12 | |
| | | ||||||
| * | IDA: fix graph_ir for immutable AssignBlock | Ajax | 2017-04-25 | 1 | -6/+9 | |
| | | ||||||
| * | analysis: Introduction of use-definition chains | Caroline Leman | 2017-03-29 | 1 | -3/+3 | |
| | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified' | |||||
| * | Core/asmbloc: move asmbloc to asmblock | Fabrice Desclaux | 2017-03-13 | 2 | -2/+2 | |
| | | ||||||
| * | All: rename vars bloc -> block | Fabrice Desclaux | 2017-03-13 | 3 | -11/+11 | |
| | | ||||||
| * | IR: rename blocs to blocks | Fabrice Desclaux | 2017-03-13 | 2 | -15/+15 | |
| | | ||||||
| * | IR/Symbexec: rename symbexec to SymbolicExecutionEngine | Fabrice Desclaux | 2017-03-13 | 1 | -2/+2 | |
| | | ||||||
| * | Expr: Remove exprint_from | Fabrice Desclaux | 2016-12-23 | 1 | -1/+1 | |
| | | ||||||
| * | Update IDA utils with the new API | Ajax | 2016-11-17 | 1 | -3/+3 | |
| | | ||||||
| * | Symbexec: new api for emul_ir_* | Fabrice Desclaux | 2016-11-04 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | Replacement: emul_ir_bloc(self, myir, addr, step=False) by: emul_ir_block(self, addr, step=False) and: emul_ir_blocs(self, myir, addr, lbl_stop=None, step=False) by: emul_ir_blocks(self, addr, lbl_stop=None, step=False) The 'myir' was already given in the symbolexec creation. | |||||
| * | Example/ida/depgraph: add basic stack unaliasing | Fabrice Desclaux | 2016-04-06 | 1 | -11/+45 | |
| | | ||||||
| * | Example/Depgraph: allow lower/upper register tracking | Fabrice Desclaux | 2016-03-22 | 1 | -1/+4 | |
| | | ||||||
| * | Depgraph: updt api | Fabrice Desclaux | 2016-03-21 | 2 | -12/+20 | |
| | | ||||||
| * | BasicBlocks: update examples with the new API | Ajax | 2016-01-26 | 1 | -2/+1 | |
| | | ||||||
| * | IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph` | Ajax | 2015-12-07 | 2 | -6/+1 | |
| | | ||||||
| * | IR: use expr_is_label instead of ExprIsLabel | Camille Mougey | 2015-12-07 | 1 | -1/+1 | |
| | | ||||||
| * | Example: move output .txt to .dot | Ajax | 2015-11-09 | 1 | -4/+4 | |
| | | ||||||
| * | Example/IDA: unused import | Ajax | 2015-11-06 | 1 | -3/+0 | |
| | | ||||||
| * | Example/IDA: useless sys path | Ajax | 2015-11-06 | 1 | -7/+2 | |
| | | ||||||
| * | Example/IDA: unused import | Ajax | 2015-11-06 | 1 | -3/+1 | |
| | | ||||||
| * | Example/ida/utils: fix mips arch | Fabrice Desclaux | 2015-10-29 | 1 | -2/+2 | |
| | | ||||||
| * | Example/ida: add aarch64 to ida utils | Fabrice Desclaux | 2015-08-09 | 1 | -13/+21 | |
| | | ||||||
| * | ExampleIDA: Add 'Implicit' option for depgraph | Ajax | 2015-04-24 | 1 | -2/+4 | |
| | | ||||||