Re-exports§
use crate::sol::SolLint;🔒use arbitrary_send_erc20::*;🔒use arbitrary_send_eth::*;🔒use controlled_delegatecall::*;🔒use encode_packed_collision::*;🔒use enumerable_loop_removal::*;🔒use function_selector_collision::*;🔒use incorrect_exp::*;🔒use incorrect_shift::*;🔒use protected_vars::*;🔒use reentrancy::*;🔒use unchecked_calls::*;🔒use unprotected_initializer::*;🔒use rtlo::*;🔒
Modules§
- arbitrary_
send_ 🔒erc20 - arbitrary_
send_ 🔒eth - controlled_
delegatecall 🔒 - encode_
packed_ 🔒collision - enumerable_
loop_ 🔒removal - function_
selector_ 🔒collision - incorrect_
exp 🔒 - incorrect_
shift 🔒 - protected_
vars 🔒 - Slither-compatible protected-variable control-flow analysis.
- reentrancy 🔒
- rtlo 🔒
- unchecked_
calls 🔒 - unprotected_
initializer 🔒
Structs§
- Arbitrary
Send Erc20 - Arbitrary
Send Eth - Controlled
Delegatecall - Encoded
Packed Collision - Enumerable
Loop Removal - Function
Selector Collision - Incorrect
Exp - Incorrect
Shift - Protected
Vars - Reentrancy
Eth - Rtlo
- Unchecked
Call - Unchecked
TransferER C20 - Unprotected
Initializer