Janalyzer: A Static Analysis Tool for Java Bytecode

  title={Janalyzer: A Static Analysis Tool for Java Bytecode},
  author={Daniel Balasubramanian and Zhenkai Zhang and Dan McDermet and Gabor Karsai},
Static analysis attempts to discover program properties and answer questions about a program’s potential behavior without actually running the program. Example properties include things such as loop bounds, reachability and taint analysis. Even though there is a vast body of literature describing program various program analysis techniques and algorithms, implementing these algorithms can be challenging. Understanding how to make the techniques scale to real-world programs is an additional… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.

Thin slicing

  • M. Sridharan, S. J. Fink, R. Bodı́k
  • Proceedings of the ACM SIGPLAN Conference on…
  • 2007
1 Excerpt