- Foreword
- 1. Getting Started with RPL
- 1.1. Installation
- 1.2. Hello World
- 1.3. Why We Need a Pattern Language for Code
- 1.4. Quick CLI Tour: cargo rpl
- 2. Language Fundamentals
- 2.1. Syntax Overview
- 2.2. Meta-Variabl es & Placeholders
- 2.3. Pattern Blocks
- 2.4. Constraints & Predicates
- 2.5. Match Output & Diagnostics
- 3. Semantics Model
- 3.1. MIR Basics and Integration
- 3.2. Control-Flow & Data-Dependence Graphs
- 3.3. Semantic Equivalence Checking
- 3.4. Inline MIR vs Traditional MIR
- 4. Case Studies
- 4.1. Memory-Safety CVEs
- 4.2. Undefined Behavior
- 4.3. Open-Source Projects
- 5. Appendices
- 5.1. Complete Syntax Reference
- 5.2. Error Codes & Remedies
- 5.3. Patterns