Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
