Search by keyword: "symbolic execution"
Synthetic Software Verification Method using SMT-Solvers
| Authors: Rudakov I.V., Gurin R.E. | Published: 12.08.2016 |
| Published in issue: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-49-64 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: verification, code analysis, static analysis, dynamic analysis, interpretation, symbolic execution, model checking | |
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++ | |