Using different views java-programs for static analysis
https://doi.org/10.15514/ISPRAS-2015-27(6)-10
Abstract
A program representation plays an important role in static analysis of software. The article discusses options for program representations built on various stages of compilation, and software bugs detectors working on these representations.
References
1. FinBugs – http://findbugs.sourceforge.net/findbugs2.html
2. V.P. Ivannikov, A.A. Belevancev, A.E. Borodin, V.N. Ignat'ev, D.M. Zhurikhin, A.I. Avetisjan, M.I. Leonov. Staticheskij analizator Svace dlja poiska defektov v iskhodnom kode programm [Svace: static analyzer for detecting of defects in program source code] Trudy ISP RAN [The Proceedings of ISP RAS], volume 26, issue 1, pp. 231–250. DOI: 10.15514/ISPRAS-2014-26(1)-7. (in Russian)
3. Cyrille Artho. Finding faults in multi-threaded programs. March 15, 2001. (http://artho.com/jlint/mthesis.pdf)
4. Nick Rutar, Christian B. Almazan, Jeffrey S. Foster. A Comparison of Bug Finding Tools for Java. (http://www.cs.umd.edu/~jfoster/papers/issre04.pdf)
5. ASM framework – http://asm.ow2.org/index.html
6. Sevak Sargsyan, Shamil Kurmangaleev, Vahagn Vardanyan, Vachagan Zakaryan. Code Clones Detection Based on Semantic Analysis for JavaScript Language. October 1, 2015 (https://csit.am/2015/9a.html)
7. Zhenmin Li, Shan Lu, Suvda Myagmar and Yuanyuan Zhou. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. (http://opera.ucsd.edu/paper/OSDI04-CPMiner.pdf)
8. Jurgen Graf, Martin Hecker, Martin Mohr, and Benedikt Nordhoff. Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks. 2013. (https://pp.ipd.kit.edu/uploads/publikationen/pdgwithdpn2013id.pdf)
Review
For citations:
Karpulevitch E.A. Using different views java-programs for static analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(6):151-158. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(6)-10
Email this article 