Preview

Труды Института системного программирования РАН

Расширенный поиск

Использование различных представлений 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



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)