forge_lint/sol/analysis/mod.rs
1//! Shared analysis primitives reused by Solidity lints.
2//!
3//! - [`primitives`]: HIR probes (`is_address_type`, `is_require_or_assert`,
4//! `address_call_receiver`, `branch_always_exits`).
5//! - [`interface`]: contract/library function-shape matching (`is_elementary`,
6//! `receiver_contract_id`).
7//!
8//! All helpers borrow HIR and never mutate it.
9
10pub mod interface;
11pub mod primitives;