hansmartina / joframes Goto Github PK
View Code? Open in Web Editor NEWJoFrames generates an artificial main method for framework-based applications to make them analyzable with Java Object-Sensitive ANAlysis (JOANA, http://joana.ipd.kit.edu), an information flow control system for Java Bytecode.
License: Other