implemented a fixed point based interprocedural analysis that analyzes flow-graphs...
[IRC.git] / Robust / src / Analysis / SSJava / SSJavaInferenceEngine.java
2011-10-21 davidadded array access inference
2011-10-21 davidFixed a bug, added switch statement support
2011-09-16 yeomfound compilation errors from david's recent commits...
2011-09-07 davidadded returnnode, loopnode, and opnode recognitino...
2011-09-07 davidAdded implicit flow for if statements
2011-09-03 davidadding java files for inference engine