Abstract
Платформа межпроцедурного статического анализа бинарного кода
Highlights
Software developers always strive to create high-quality software, meaning that it should be reliable, safe and easy to maintain
Static analysis examines examining a code without executing a program
Through a complete analysis of syntax, semantics, control and data flow, static code analysis can find errors that are difficult or impossible to find during testing, especially on rarely executed paths
Summary
Software developers always strive to create high-quality software, meaning that it should be reliable, safe and easy to maintain. With increasing size and complexity of projects, the developed code contains more errors [1]. Static code analysis is one of the common defect detection approaches. Through a complete analysis of syntax, semantics, control and data flow, static code analysis can find errors that are difficult or impossible to find during testing, especially on rarely executed paths. Static analysis of executables is less studied, despite the fact that it has several advantages over the source code analysis. A highquality analyzer should be able to analyze large files (binary file sizes can reach hundreds of megabytes) in a few hours, provide high accuracy (a small number of false positives), and it should be easy to extend for supporting new error types
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Proceedings of the Institute for System Programming of the RAS
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
