Re-exportsยง
use crate::sol::SolLint;๐use assert_state_change::*;๐use cheatcode_environment::*;๐use dangerous_unary_operator::*;๐use div_mul::*;๐use ecrecover::*;๐use incorrect_erc20_interface::*;๐use incorrect_erc721_interface::*;๐use incorrect_strict_equality::*;๐use tautology::*;๐use tx_origin::*;๐use uninitialized_local::*;๐use uninitialized_state_variables::*;๐use unsafe_oz_erc721_mint::*;๐use unsafe_typecast::*;๐use unused_return::*;๐use locked_ether::*;๐use mapping_deletion::*;๐use non_reentrant_not_first::*;๐use weak_prng::*;๐use tautological_compare::*;๐
Modulesยง
- assert_
state_ ๐change - cheatcode_
environment ๐ - Finds raw environment reads whose values can cross a Foundry environment mutation.
- dangerous_
unary_ ๐operator - div_mul ๐
- ecrecover ๐
- incorrect_
erc20_ ๐interface - incorrect_
erc721_ ๐interface - incorrect_
strict_ ๐equality - locked_
ether ๐ - mapping_
deletion ๐ - non_
reentrant_ ๐not_ first - tautological_
compare ๐ - tautology ๐
- tx_
origin ๐ - uninitialized_
local ๐ - uninitialized_
state_ ๐variables - unsafe_
oz_ ๐erc721_ mint - unsafe_
typecast ๐ - unused_
return ๐ - weak_
prng ๐
Structsยง
- Assert
State Change - Cheatcode
Environment - Dangerous
Unary Operator - Divide
Before Multiply - Ecrecover
- IncorrectER
C20Interface - IncorrectER
C721 Interface - Incorrect
Strict Equality - Locked
Ether - Mapping
Deletion - NonReentrant
NotFirst - Tautological
Compare - TxOrigin
- Type
Based Tautology - Uninitialized
Local - Uninitialized
State Variables - Unsafe
OzErc721 Mint - Unsafe
Typecast - Unused
Return - Weak
Prng