| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | analysis: Introduction of use-definition chains | Caroline Leman | 2017-03-29 | 1 | -1/+2 |
| | | | | | | | - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified' | ||||
| * | All: rename vars bloc -> block | Fabrice Desclaux | 2017-03-13 | 1 | -13/+13 |
| | | |||||
| * | IR: rename blocs to blocks | Fabrice Desclaux | 2017-03-13 | 1 | -20/+20 |
| | | |||||
| * | IR/Symbexec: rename symbexec to SymbolicExecutionEngine | Fabrice Desclaux | 2017-03-13 | 1 | -2/+2 |
| | | |||||
| * | IR: replace `.g` with a lazy built `.graph`, avoiding the need of `gen_graph` | Ajax | 2015-12-07 | 1 | -1/+0 |
| | | |||||
| * | Example: move output .txt to .dot | Ajax | 2015-11-09 | 1 | -3/+3 |
| | | |||||
| * | GraphDataflow: A function where never executed / tested | Ajax | 2015-04-30 | 1 | -4/+10 |
| | | |||||
| * | GraphDataflow: Refactor, PyLinting | Ajax | 2015-04-30 | 1 | -62/+22 |
| | | |||||
| * | GraphDataflow: update API | Ajax | 2015-04-30 | 1 | -2/+3 |
| | | |||||
| * | Expression examples: Rename examples with meaningfull names | Camille Mougey | 2014-09-19 | 1 | -0/+215 |