Lotus Logo

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
    • Utility Libraries
    • Utility ADTs and Worklists
    • Path Expression Algorithms
    • Microbenchmark Helpers
    • Parsing and Serialization Utilities
    • LLVM Utility Layer
    • Parallel Execution Infrastructure
    • Platform and Console Utilities
    • Random Number Utilities
    • Core Utility Types
  • Verification
  • Checker Framework

Developer Documentation

  • API Reference
  • Developer Guide
Lotus
  • Utilities
  • View page source

Utilities

This section covers utility functions and helpers available in Lotus.

  • Utility Libraries
    • Platform Utilities
    • Random
    • Parallel Utilities
    • LLVM Utilities
    • Common Usage Patterns
  • Utility ADTs and Worklists
    • Choosing a worklist
  • Path Expression Algorithms
    • Practical use
  • Microbenchmark Helpers
    • Usage notes
  • Parsing and Serialization Utilities
    • Choosing a format helper
  • LLVM Utility Layer
    • Using the layer
  • Parallel Execution Infrastructure
    • Concurrency guidance
  • Platform and Console Utilities
    • Guidelines
  • Random Number Utilities
    • Reproducibility
  • Core Utility Types
    • Guidelines
Previous Next

© Copyright 2024-2026, ZJU Programming Languages and Automated Reasoning Group.

Built with Sphinx using a theme provided by Read the Docs.