All articles by "Sidorin A.V."
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++ | |
Application of Method of Speculative Execution for Parallelization of Source Code Containing Exceptions Handling
| Authors: Romanova T.N., Sidorin A.V. | Published: 10.12.2014 |
| Published in issue: #6(99)/2014 | |
| DOI: | |
| Category: Informatics & Computing Technology | |
| Keywords: parallelization, exception handling, speculative execution | |