Static Analysis Courses and Certifications

Meeting Cpp

Dealing with Static Analysis Findings: MISRA - Lecture

Learn to handle static analysis findings, focusing on MISRA C++ violations. Explore strategies for addressing feedback, documenting deviations, and improving code quality in safety-critical systems.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

Java

An Opinionated Overview on Static Analysis for Java

Explore diverse applications of whole-program points-to analysis in Java, addressing challenges like reflection and JNI. Learn how GraalVM Native Image handles dynamic features without sacrificing precision.

• YouTube
• 42 minutes
• On-Demand
• Free Video

VECTOR

How to Effectively Use Static Analysis to Ensure Coding Standard Compliance

Master effective strategies for deploying static analysis tools in software development, optimizing test cycles, and ensuring code compliance while meeting project deadlines.

• YouTube
• 27 minutes
• On-Demand
• Free Video

International PHP Conference

Squashing Bugs with Static Analysis

Discover advanced static analysis tools for PHP to find and prevent bugs efficiently, improving code quality and development workflow.

• YouTube
• 55 minutes
• On-Demand
• Free Video

Going Beyond Metadata - Adopting Static Analysis in Dependency Tools

Explore the importance of static analysis in dependency tools for enhanced software security and reliability beyond traditional metadata approaches.

• YouTube
• 41 minutes
• On-Demand
• Free Video

OWASP Foundation

Real World Static Analysis for Real Humans

Explore practical static analysis techniques for software security, focusing on real-world applications and human-centric approaches to code analysis.

• YouTube
• 51 minutes
• On-Demand
• Free Video

OWASP Foundation

Endpoint Finder: A Static Analysis Tool for Web Endpoint Discovery - Lightning Talk

Discover a static analysis tool for extracting web endpoints from JavaScript files, offering improved accuracy and reduced false positives compared to regex-based methods.

• YouTube
• 22 minutes
• On-Demand
• Free Video

OWASP Foundation

A Static Tainting Analysis Method for Aspect-Oriented Programs

Introduces a new method for detecting vulnerabilities in aspect-oriented web applications, focusing on static tainting analysis to improve security in languages like AspectJ.

• YouTube
• 37 minutes
• On-Demand
• Free Video

FOSS Static Analysis Tools for Embedded Systems and How to Use Them

Explore FOSS static analysis tools for embedded systems, covering kernel and userspace, local tools, and integrated solutions. Learn implementation techniques and best practices.

• YouTube
• 42 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Static Analysis of Memory Models for SMT Encodings

Improve efficiency of bounded model checkers with static analysis and SMT encoding optimizations for memory models, reducing verification time by up to 40% in challenging benchmarks.

• YouTube
• 18 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

Auto-detecting Sleeping Lock Calls in Non-preemptible Context via Static Analysis

Explore techniques for automatically detecting sleeping lock calls in non-preemptible contexts using static analysis methods in Linux kernel development.

• YouTube
• 36 minutes
• On-Demand
• Free Video

Code Sync

Security Through Static Analysis - Don't Let It Crash

Explore static analysis techniques for detecting and mitigating security vulnerabilities in Erlang/Elixir projects, focusing on data-flow analysis and real-world examples from open-source codebases.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Interleaving Static Analysis and LLM Prompting for Error-Specification Inference

Explore a novel approach combining static program analysis with LLM queries to enhance error-specification inference in C systems code, improving recall and F1-score while maintaining precision.

• YouTube
• 23 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Misconceptions About Loops in C - Challenges in Loop Analysis for Static Analysis Tools

Explore rare edge cases and challenges in loop analysis for C programming, enhancing understanding of static analysis tools and improving software verification techniques.

• YouTube
• 20 minutes
• On-Demand
• Free Video

ACM SIGPLAN

CHERI Static Analysis - POCL'24

Explore CHERI static analysis techniques for enhanced memory safety and security in software development.

• YouTube
• 23 minutes
• On-Demand
• Free Video