A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution

Open Computer Science

Fülöp Endre¹  Pataki Norbert² 

[1] Department of Programming Language and Compilers, Eötvös Loránd University ;ELTE Eötvös Loránd University, Budapest, Hungary, Faculty of Informatics, 3in Research Group, Martonvásár, Hungary;

关键词: static analysis;    clang;    finite state automata;    domain-specific language;   

DOI  :  10.1515/comp-2020-0120

来源: DOAJ

【 摘 要 】

Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing. Moreover, static analysis can help in software engineering comprehensively, since static analysis can be used for the validation of code conventions, for measuring software complexity and for executing code refactorings as well. Symbolic execution is a static analysis method where the variables (e.g. input data) are interpreted with symbolic values.

【 授权许可】

Unknown