Module driver 

Top-level Senryx analysis driver. Top-level driver for Senryx verification and annotation discovery.

SenryxCheck collects target functions, prepares supporting analyses, runs path-sensitive BodyVisitor checks, and formats the resulting contract diagnostics.

Macros

cond_print 🔒

Structs

SenryxCheck

Entry point for running Senryx analyses over a Rust crate.

Enums

CheckLevel

Controls how aggressively Senryx filters candidate verification targets.