rapx::analysis::core

Module range_analysis

Source

Modules§

default
domain

Structs§

PathConstraintMapWrapper
PathConstraintWrapper
RAResultMapWrapper
RAResultWrapper
RAVecResultMapWrapper
Range

Enums§

RangeType

Statics§

STR_MAX 🔒
STR_MIN 🔒

Traits§

RangeAnalysis
The core trait for performing range analysis over Rust MIR.

Type Aliases§

PathConstraint
PathConstraintMap
RAResult
RAResultMap
RAVecResultMap