AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER
Static analysis is a widely used method for finding bugs in large code bases. One of the most popular static analysis tools used for software written in C/C++ languages is the Clang Static Analyzer [1]. During symbolic execution [2] of the source code, the analyzer models path sensitivity by keepin...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Babes-Bolyai University, Cluj-Napoca
2018-12-01
|
| Series: | Studia Universitatis Babes-Bolyai: Series Informatica |
| Subjects: | |
| Online Access: | http://193.231.18.162/index.php/subbinformatica/article/view/4155 |