Lotus
User Guide
Major Components Overview
Architecture Overview
Quick Start Guide
Installation Guide
Tutorials and Examples
Bug Detection with Lotus
PDG Query Language (Cypher)
Property-Based Slicing
Verification Backend Abstraction
Instrumentation Passes
Troubleshooting and FAQ
Command-Line Tools
Core Components
Alias Analysis
Analysis Framework
Annotations
Applications
Context-Free Language Analysis
Data Flow Analysis
Intermediate Representations
Overview
MemoryMLFeaturesPass
Features Extracted
Feature Output
Analysis Dependencies
Integration Notes
Related Components
Optimization
Solvers
Transforms
Utilities
Verification
Checker Framework
Developer Documentation
API Reference
Developer Guide
Lotus
Index
Index