How Not to Bully a Static Analysis Tool - Best Practices and Coding Patterns

Learn how to effectively work with static analysis tools in this 43-minute technical talk presented by Qt Group experts Andreas Gaiser and Dr. Daniel Simon. Explore common coding patterns that can challenge static analysis tools and lead to false positives, particularly when dealing with runtime defects like overflows and divisions by zero. Examine practical examples through a message-passing primitive implementation to understand analysis limitations and solutions. Discover strategies to optimize code for better static analysis results, reducing manual review time and code rework. Benefit from the speakers' extensive experience - Gaiser's background in program analysis and formal verification as Axivion's lead developer for semantic analyses, and Simon's expertise in architecture management and quality assurance implementation across IT and embedded software systems.