Directories
¶
| Path | Synopsis |
|---|---|
|
Package cfg provides control flow graph representation for dataflow analysis.
|
Package cfg provides control flow graph representation for dataflow analysis. |
|
Package constraint provides multi-path narrowing constraints for type refinement.
|
Package constraint provides multi-path narrowing constraints for type refinement. |
|
theory
Package theory provides modular constraint solving theories for SMT-style reasoning.
|
Package theory provides modular constraint solving theories for SMT-style reasoning. |
|
Package contract provides function behavior specifications using Hoare-style contracts.
|
Package contract provides function behavior specifications using Hoare-style contracts. |
|
Package db provides a Salsa-style incremental computation database for efficient re-analysis when source files change.
|
Package db provides a Salsa-style incremental computation database for efficient re-analysis when source files change. |
|
Package diag provides diagnostic reporting for the type checker.
|
Package diag provides diagnostic reporting for the type checker. |
|
Effect label codecs for serialization and deserialization.
|
Effect label codecs for serialization and deserialization. |
|
Package flow provides control flow type propagation and flow-sensitive analysis.
|
Package flow provides control flow type propagation and flow-sensitive analysis. |
|
domain
Package domain provides abstract domain interfaces for constraint solving.
|
Package domain provides abstract domain interfaces for constraint solving. |
|
join
Package join provides type joining operations for phi node merging.
|
Package join provides type joining operations for phi node merging. |
|
numeric
domain.go implements the numeric subdomain for the flow solver's ProductDomain.
|
domain.go implements the numeric subdomain for the flow solver's ProductDomain. |
|
pathkey
key.go provides path key construction and manipulation utilities.
|
key.go provides path key construction and manipulation utilities. |
|
propagate
Package propagate computes type constraints at CFG points via forward propagation.
|
Package propagate computes type constraints at CFG points via forward propagation. |
|
Package io provides binary serialization and deserialization for Lua types.
|
Package io provides binary serialization and deserialization for Lua types. |
|
Package kind defines type kind enumeration for efficient type discrimination.
|
Package kind defines type kind enumeration for efficient type discrimination. |
|
Package narrow provides type narrowing operations for control flow refinement.
|
Package narrow provides type narrowing operations for control flow refinement. |
|
query
|
|
|
core
Package core provides pure type inspection, query, and lookup operations for the Lua type system.
|
Package core provides pure type inspection, query, and lookup operations for the Lua type system. |
|
Package subtype provides subtype checking with seen-map cycle detection.
|
Package subtype provides subtype checking with seen-map cycle detection. |
|
Package typ defines the core Type interface and type implementations.
|
Package typ defines the core Type interface and type implementations. |
|
join
Package join provides type join operations for control flow merging.
|
Package join provides type join operations for control flow merging. |
|
subst
Package subst provides type substitution operations for generics.
|
Package subst provides type substitution operations for generics. |
|
union
Package union provides union type analysis operations.
|
Package union provides union type analysis operations. |
|
unwrap
Package unwrap provides type unwrapping, extraction, and predicate operations.
|
Package unwrap provides type unwrapping, extraction, and predicate operations. |
Click to show internal directories.
Click to hide internal directories.