Search by keyword: "summary-based method"
Summary-based interprocedural analysis method for implementation in multi-purpose static C/C++ code analyzer
| Authors: Romanova T.N., Sidorin A.V. | Published: 12.10.2015 |
| Published in issue: #5(104)/2015 | |
| DOI: 10.18698/0236-3933-2015-5-75-96 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
| Keywords: summary-based method, interprocedural analysis, symbolic execution, Clang Static Analyzer, search for defects, report building, C/C++ | |