Static Code Analysis Courses and Certifications

Gopher Academy

Writing a Static Analyzer for Go Code

Learn to build a Go static analyzer that catches preventable bugs, including problems with closing resources and handling errors.

• YouTube
• 32 minutes
• Self-Paced
• Conference Talk

GoLab conference

High-Assurance Go Cryptography

Explore techniques for ensuring safety and bug-free implementation of cryptography in Go, including testing, fuzzing, static analysis, formal proofs, and code generation. Learn about safe interfaces and readability in standard libraries.

• YouTube
• 56 minutes
• Self-Paced
• Free Video

CppCon

Purging Undefined Behavior and Intel Assumptions in Legacy C++ Codebases - Lecture

Eliminate undefined behavior in legacy C++ codebases to reduce maintenance costs and support new platforms. Learn tools and strategies for identifying and addressing issues.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

ACCU Conference

The Power of Clean Code

A team-wide “Clean as You Code” practice aims to make code quality measurable without disrupting established development workflows.

• YouTube
• 37 minutes
• Self-Paced
• Conference Talk

ACCU Conference

Modern Linux C++ Debugging Tools - Under the Covers

See how modern Linux C++ debugging tools work under the covers, from compiler and operating-system features to static analysis and record-and-replay systems.

• YouTube
• 1 hour 29 minutes
• Self-Paced
• Conference Talk

Devoxx

Cracking the Code Review - Improving Pull Requests and Collaboration

Streamline code reviews, create review-friendly pull requests, and leverage automated tools to enhance code quality and team collaboration.

• YouTube
• 44 minutes
• Self-Paced
• Free Video

Code Sync

The Design Principles of the Elixir Type System

Explore set-theoretic types for Elixir, their benefits in bug detection and code quality, and the concept of gradual typing. Gain insights into potential new syntax and challenges in introducing a type system.

• YouTube
• 39 minutes
• Self-Paced
• Free Video

Code Sync

Bringing Types to Elixir - Set-Theoretic Types for Elixir Programs

Explore set-theoretic types and their potential for Elixir programming, including bug detection and code quality feedback. Learn about a type system tailored for Elixir's unique features.

• YouTube
• 40 minutes
• Self-Paced
• Free Video

Code Sync

IntelliJ Elixir - Working with Broken Code and Complex Macros

Explore IntelliJ Elixir's capabilities for resolving and completing code in broken files, understanding macro-heavy code, and finding definitions in DSLs for Phoenix and Ecto.

• YouTube
• 40 minutes
• Self-Paced
• Free Video

Visual Studio Code

AppSec Wingman for Copilot in VS Code - Secure AI-Generated Code Recommendations

See how Veracode scans Java and JavaScript in VS Code and uses Copilot to suggest fixes for security flaws.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

JSConf

How Linters, Compilers & Other Cool Things Work

Explore how abstract syntax trees power JavaScript linters and compilers, and how understanding them helps you extend tools such as Babel.

• YouTube
• 22 minutes
• Self-Paced
• Conference Talk

ng-conf

Achieving Zero Fronted Crashes in Production - Reliable Web Summit

A three-pillar approach to bringing browser crash counts close to zero combines granular code checks, robust tests, and clear issue reporting.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

ng-conf

Clean Code Is No Longer a Myth

Use pre-commit hooks to run linting, formatting, and syntax checks before code is pushed, with Husky as the example.

• YouTube
• 16 minutes
• Self-Paced
• Conference Talk

Ruby Central

Sorbet at Grailed - Typing a Large Rails Codebase to Ship with Confidence

How gradual Sorbet typing helped Grailed make faster, safer changes across a large Rails codebase.

• YouTube
• 30 minutes
• Self-Paced
• Conference Talk

PyCon US

Gradual Typing in Practice

Explore how to incrementally add type annotations, use Pyre’s guarantees, and raise type coverage across a large, actively developed Python codebase.

• YouTube
• 27 minutes
• Self-Paced
• Conference Talk