Static Analysis Courses and Certifications

ACM SIGPLAN

SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java

Explore SHARP, a groundbreaking incremental context-sensitive pointer analysis algorithm for Java, offering improved performance and scalability for large-scale programs.

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

ACM SIGPLAN

A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis

Explore DebloaterX, a novel approach for efficient object-sensitive pointer analysis. Learn how container-usage patterns improve context debloating, enhancing performance with minimal precision loss.

• YouTube
• 18 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

ACM SIGPLAN

Hardware-Aware Static Optimization of Hyperdimensional Computations

Explore hardware-aware static optimization for hyperdimensional computing, focusing on minimizing resource usage while meeting accuracy targets in error-prone hardware platforms.

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

ACM SIGPLAN

Historia: Refuting Callback Reachability with Message-History Logics

Explore a novel approach to callback reachability in event-driven frameworks using message-history logics. Learn about targeted specification and goal-directed verification for improved app analysis.

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

Linux Plumbers Conference

Lazy Abstraction Refinement with Proof for an Enhanced Verifier

Explore advanced techniques in software verification using lazy abstraction refinement with proof, enhancing verifier capabilities for improved code analysis.

• YouTube
• 42 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

Eclipse Foundation

Automated Static Analysis Warning Resolution Using Software Bots - A Sorald Demo

Discover how to automate fixing SonarQube violations using Sorald, a software bot that monitors GitHub repositories and submits patches through pull requests, streamlining code maintenance.

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

Eclipse Foundation

The Long Goodbye to NullPointerException - Eclipse Tools and Solutions

Explore practical strategies for reducing NullPointerExceptions in Java, covering improved tooling, safety levels, and external annotations for gradual risk reduction in legacy code.

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

HackerSploit

Malware Analysis

26 reviews

Learn comprehensive malware analysis techniques, from environment setup to static analysis, PE header examination, and creating YARA rules. Gain practical skills through real-world examples like Stuxnet.

• YouTube
• 3 hours 30 minutes
• On-Demand
• Free Video

Reverse Engineering and Malware Analysis Fundamentals

1370 ratings at Udemy

Beginners' course on reverse engineering and malware analysis

• Udemy
• 6 hours 57 minutes
• On-Demand
• Paid Course

Expert Malware Analysis and Reverse Engineering

993 ratings at Udemy

Beginner to Expert series on Malware analysis and reverse engineering concepts.

• Udemy
• 4-5 hours
• On-Demand
• Paid Course

Mobile Security: Reverse Engineer Android Apps From Scratch

740 ratings at Udemy

Learn Android reverse engineering in less than 4 hours

• Udemy
• 3 hours 10 minutes
• On-Demand
• Paid Course

Reverse Engineering: Ghidra For Beginners

540 ratings at Udemy

Learn Reverse Engineering Using Ghidra On Linux And Windows

• Udemy
• 3 hours 57 minutes
• On-Demand
• Paid Course

Reverse Engineering & Malware Analysis - Intermediate Level

274 ratings at Udemy

An Intermediate Level Course on Reverse Engineering and Analyzing Malware

• Udemy
• 5 hours 32 minutes
• On-Demand
• Paid Course