Использование различных представлений java-программ для статического анализа
https://doi.org/10.15514/ISPRAS-2015-27(6)-10
Аннотация
Список литературы
1. FinBugs - http://findbugs.sourceforge.net/findbugs2.html
2. В.П. Иванников, А.А. Белеванцев, А.Е. Бородин, В.Н. Игнатьев, Д.М. Журихин, А.И. Аветисян, М.И. Леонов. Статический анализатор Svace для поиска дефектов в исходном коде программ. Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 231-250.
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)
Рецензия
Для цитирования:
Карпулевич Е.А. Использование различных представлений java-программ для статического анализа. Труды Института системного программирования РАН. 2015;27(6):151-158. https://doi.org/10.15514/ISPRAS-2015-27(6)-10
For citation:
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