This chapter delves into the use of CPU architecture and operating systems in static analysis to detect memory leaks in C++. It explains strategies like symbolic execution, heuristics, smart pointers, and combined static and dynamic analysis tools to minimize false positives and false negatives in bug detection, as well as the importance of efficient runtime and preventive measures in ensuring code quality.
Static analysis is the examination of code without executing the program. It’s used to identify potential errors, code quality issues, security vulnerabilities, and adherence to coding best practices.
Abbas Sabra is a Principal Engineer at Sonar, which creates tools to help developers produce clean code. Abbas specializes in C++ static analysis, and began his career in the financial industry, where he identified inefficiencies within the C++ tooling ecosystem. He joins the show to talk about static analysis and static analysis tool development.
Sean’s been an academic, startup founder, and Googler. He has published works covering a wide range of topics from information visualization to quantum computing. Currently, Sean is Head of Marketing and Developer Relations at Skyflow and host of the podcast Partially Redacted, a podcast about privacy and security engineering. You can connect with Sean on Twitter @seanfalconer.
Please click here to see the transcript of this episode.
The post C++ Static Analysis with Abbas Sabra appeared first on Software Engineering Daily.