nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f1c39e) | patch
nitsaf: add intraprocedural analysis
authorAlexandre Terrasa <alexandre@moz-code.org>
Sat, 19 Dec 2015 08:44:37 +0000 (03:44 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Sat, 19 Dec 2015 08:44:37 +0000 (03:44 -0500)
commita218795e42c8e8a9550a5e7dba714bc9f467ba49
tree908fa04427930cb51a06acb92a07eb8d0f126910tree | snapshot
parent1f1c39ecd6c9a438975e7fcb0e135576e445d99ccommit | diff
nitsaf: add intraprocedural analysis

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/saf/reaching_defs.nit diff | blob | history
src/saf/saf_base.nit diff | blob | history
tests/nitsaf.args diff | blob | history
tests/sav/nitsaf_args10.res [new file with mode: 0644] blob
tests/sav/nitsaf_args9.res [new file with mode: 0644] blob
tests/test_saf/flow_fun1.nit [new file with mode: 0644] blob
tests/test_saf/flow_fun2.nit [new file with mode: 0644] blob
Nit language project; an oo programing language and its tool suite.