lyra package

Subpackages

• lyra.abstract_domains package
  • Subpackages
    • lyra.abstract_domains.assumption package
      • Submodules
        • Alphabet Abstract Domain
        • Assumption Abstract Domains
        • Quantity Abstract Domain
        • Range Abstract Domain
        • Type Abstract Domain
    • lyra.abstract_domains.liveness package
      • Submodules
        • Live Variable Abstract Domains
    • lyra.abstract_domains.numerical package
      • Submodules
        • Interval Abstract Domain
        • Sign Abstract Domain
    • lyra.abstract_domains.string package
      • Submodules
        • Character Inclusion Abstract Domain
    • lyra.abstract_domains.usage package
      • Submodules
        • Syntactic Usage Abstract Domain
        • Usage Lattices
  • Submodules
    • Basis Abstract Domain
    • Lattice
    • Stack
    • Abstract Domain
    • Store
• lyra.core package
  • Submodules
    • Control Flow Graph
    • Expressions
    • Statements
    • Types
• lyra.engine package
  • Subpackages
    • lyra.engine.assumption package
      • Submodules
        • Assumption Analysis
    • lyra.engine.liveness package
      • Submodules
        • (Strongly) Live Variable Analysis
    • lyra.engine.numerical package
      • Submodules
        • Interval Analysis
        • Sign Analysis
    • lyra.engine.string package
      • Submodules
        • Character Inclusion Analysis
    • lyra.engine.usage package
      • Submodules
        • Input Data Usage Analysis
  • Submodules
    • Backward Analysis Engine
    • Forward Analysis Engine
    • Analysis Engine
    • Program Analysis
• lyra.frontend package
  • Submodules
• lyra.semantics package
  • Submodules
    • Backward Semantics
    • Forward Semantics
    • Semantics

Submodules

Lyra Static Program Analyzer

lyra.main.main()

Static analyzer entry point.