Static Analysis Courses and Certifications

Static Analysis of Kubernetes Manifests

Explore best practices for infrastructure-as-code in cloud development, focusing on policy-as-code implementation in CI/CD and Kubernetes runtime. Compare methods and examine real-world use cases.

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

Static Malware Analysis Using Function Level Signatures

Learn static malware analysis techniques using function-level signatures, suitable for high school students and beginners in cybersecurity.

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

WEareTROOPERS

Decrypting the Directory - A Journey into Static Analysis of Active Directory NTDS

Explore static analysis techniques for Active Directory NTDS, uncovering security insights and potential vulnerabilities in this in-depth conference talk on IT security and network infrastructure.

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

The Julia Programming Language

Julia Compiler Secrets - Static Analysis - JuliaCon 2024

Explore advanced static analysis capabilities in Julia's compiler, including type inference, effect system, and escape analysis, to optimize code performance and enhance correctness.

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

GoLab conference

Generating Generators in Go - Static Analysis and Code Generation

Explore static analysis and code generation to create custom generators in Go, avoiding goroutine overhead while achieving yield-like functionality.

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

Gary Clarke

PHPStan Static Analysis in PHP

Explore PHPStan for static analysis in PHP, improving code quality and efficiency. Learn implementation techniques and integrate with CI workflows for automated testing.

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

Scala Days Conferences

ScalaClean - Full Program Static Analysis at Scale

Explore full-program static analysis for Scala, focusing on code quality, dead code removal, and optimization techniques to improve large-scale software projects.

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

EuroPython Conference

Finding Bugs for Free - The Magic of Static Analysis

Explore static analysis techniques for Python to improve code quality and find bugs without annotations. Learn about LGTM's powerful tools and their applications.

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

EuroPython Conference

Tooling for Static Analysis of Python Programs

Explore static analysis tools for Python, including gast and beniget modules, to enhance linting, type inference, and IDE capabilities despite Python's dynamic nature.

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

Gopher Academy

Understanding Supply Chain Threats with Static Analysis - GopherCon 2023

Explore a CLI tool for Go that detects privileged permissions in package dependencies, enhancing security and preventing supply chain attacks.

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

ACM SIGPLAN

Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code

Explore a static analyzer for OCaml C bindings, addressing safety issues and aiding migration to OCaml 5. Learn about tools and techniques to improve code reliability.

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

ACM SIGPLAN

Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs

Explore Flambda 2 Types, an abstract domain for static analysis of OCaml programs, focusing on its role in optimizing functional code.

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

All Things Open

TypeScript Static Analysis Hidden Gems

Explore advanced TypeScript tooling for powerful code analysis and automation. Discover hidden gems like typescript-eslint, eslint-plugin-expect-type, ts-prune, and TypeStat to enhance your development workflow.

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

NorthSec

Privacy Through the Lens of Code: Using Static Analysis for Privacy Bug Detection

Explore how static analysis techniques can revolutionize privacy protection in software development by identifying and fixing privacy issues at the code level, before deployment.

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

NPTEL-NOC IITM

Brake Systems: Static and Dynamic Analysis in Mechanical Transmission Design - Lecture 20

Explore brake system dynamics, mass transfer effects, and optimal force distribution between axles for enhanced braking performance and system design understanding.

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