11 Commits

Author	SHA1	Message	Date
Fabrice Desclaux	c748d74297	IR: avoid IRBlock attribute creation	2017-05-24 12:23:53 +02:00
Caroline Leman	5d10f696e0	analysis: Introduction of use-definition chains ... - previous dead_simp function has been moved to data_flow.py - ira class has been simplified - reach analysis code has been 'clarified'	2017-03-29 12:33:05 +02:00
Fabrice Desclaux	287cb1bb18	All: rename vars bloc -> block	2017-03-13 14:13:13 +01:00
Fabrice Desclaux	c3940991f2	IR: rename blocs to blocks	2017-03-13 14:13:09 +01:00
Fabrice Desclaux	d8cbc05965	IR/Symbexec: rename symbexec to SymbolicExecutionEngine	2017-03-13 13:56:26 +01:00
Ajax	308a634b7c	IR: replace .g with a lazy built .graph, avoiding the need of gen_graph	2015-12-07 11:15:43 +01:00
Ajax	b4114c3e78	Example: move output .txt to .dot	2015-11-09 15:01:12 +01:00
Ajax	039c2ca9d9	GraphDataflow: A function where never executed / tested	2015-04-30 19:12:43 +02:00
Ajax	7c4b58d2fb	GraphDataflow: Refactor, PyLinting	2015-04-30 19:12:36 +02:00
Ajax	b853add3ef	GraphDataflow: update API	2015-04-30 19:12:25 +02:00
Camille Mougey	2bc1d7810d	Expression examples: Rename examples with meaningfull names	2014-09-19 13:58:03 +02:00