Module cli 

Modules

analyze 🔒

check 🔒

verify 🔒

Structs

AdgArgs

CheckArgs

Arguments for the check command.

RapxArgs

VerifyArgs

Arguments for the verify command.

Enums

AliasStrategyKind

AnalysisKind

Commands

PostfixRepeat

Postfix repeat count: auto (default) enables automatic loop-depth detection; a number N ≥ 0 sets a fixed repeat count.

VerifyMode

Constants

DEFAULT_POSTFIX_REPEAT