Preview

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

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

Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST

Полный текст:

Аннотация

Во многих случаях дефекты программного кода могут быть выявлены путём анализа соответствующего синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с более сложными видами статического анализа, и обосновывается необходимость предоставления пользователю интерфейса для написания собственных обнаружителей дефектов. Рассматриваются различные подходы к реализации подобного интерфейса. Описывается новый декларативный язык, позволяющий пользователю описывать дефекты кода, которые требуется обнаруживать, в виде шаблонов для синтаксических деревьев, и рассматриваются некоторые аспекты работы анализатора этого языка

Об авторе

С. В. Сыромятников
ИСП РАН
Россия


Список литературы

1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. Синтаксический анализ. М., 1978. 613 с.

2. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997. 888 с.

3. A. Belevantsev, O. Malikov. Using data flow analysis for detecting security vulnerabilities. Сборник трудов Института системного программирования РАН. Под ред. чл.-корр. РАН Иванникова В.П. Т. 11. М., ИСП РАН, 2006. 128 c., с. 83-98.

4. http://www.zvon.org/xxl/XPathTutorial/General/examples.html

5. http://www.w3schools.com/XPath/default.asp

6. http://www.mmsindia.com/jstyle.html

7. http://www.fortify.com/security-resources/rats.jsp

8. http://www.dwheeler.com/flawfinder

9. http://www.coverity.com

10. http://www.appperfect.com/products/java-code-test.html

11. http://pmd.sourceforge.net

12. http://checkstyle.sourceforge.net

13. http://tinyxpath.sourceforge.net

14. http://xerces.apache.org

15. Д. А. Лизоркин. Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами. Сборник трудов Института системного программирования РАН. Под ред. чл.-корр. РАН Иванникова В.П. Т. 8, ч. 2. М., ИСП РАН, 2004. 214 c., с. 93-119.

16. R. Cole, R Hariharan, P. Indyk. Tree pattern matching and subset matching in deterministic O(n log3m) time. Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, Baltimore, MD, 1999, pp. 245-254.


Для цитирования:


Сыромятников С.В. Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST. Труды Института системного программирования РАН. 2011;20.

For citation:


Syromyatnikov S.V. Declarative Interface of Detecting Defects on Syntax Trees: KAST Language. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;20. (In Russ.)

Просмотров: 34


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


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