Lotus
User Guide
Architecture & Major Components
Getting Started
Major Components Overview
Installation Guide
Tutorials and Examples
Bug Detection with Lotus
PDG Query Language (Cypher)
Property-Based Slicing
Verification Driver Abstraction
Instrumentation Passes
Troubleshooting and FAQ
Command-Line Tools Reference
Core Components
Alias Analysis
Analysis Framework
Annotations
Applications
Context-Free Language Analysis
Concurrency Analysis
Data Flow Analysis Frameworks
Intermediate Representations
Machine Learning Features (CanaryML)
Optimization
Security Components
Solvers
Symbolic Execution
Transforms
Utilities
Verification
Checker Framework
Developer Documentation
API Reference
Developer Guide
Lotus
Index
Index