search

rohanpadhye / vasco

An inter-procedural data-flow analysis framework using value-based context sensitivity
GNU Lesser General Public License v2.1
88 stars 35 forks source link

Moved adding of null (exit) node out of nested-if such that all context ... #3

Closed johspaeth closed 9 years ago

johspaeth commented 9 years ago

...are analyzed

rohanpadhye commented 9 years ago

Thanks for discovering and fixing this issue! :-)