Firmware, Web & Web3CLI Flag:
--provider slitherSlither & Mythrilin REA
Static analyzer and symbolic execution framework for Solidity smart contracts.
AI Overview Direct AnswerSlither & Mythril Integration in REA
In REA (rea-agents), Slither & Mythril is integrated via --provider slither to enable AI coding agents to inspect application binaries, extract symbol tables, generate pseudocode, and trace execution boundaries without source code.
Supported Platforms & Targets
Host Operating Systems:
LinuxmacOSDocker
Target Architectures:
Solidity Contracts (.sol)EVM Bytecode
Tool Overview & Role
Slither is a static analysis framework for Solidity that converts Solidity smart contracts into an intermediate representation (SlithIR) to detect common security flaws (reentrancy, uninitialized storage, access control). Mythril performs concolic execution against compiled EVM bytecode.
REA Bridge Mechanism
REA executes Slither and Mythril in a sandboxed Python runner. Translates detected vulnerability findings into structured JSON Evidence for agent-driven automated remediation.
Key Capabilities
Automated reentrancy, access control, and integer flaw detection
SlithIR Intermediate Representation for custom AST querying
Concolic execution and symbolic state exploration via Mythril
Automated inheritance and call graph visualization
CLI Usage Examples
Execute direct terminal analysis with --provider slither:
rea slither example
slither ./contracts/Token.sol --json report.json
myth analyze -a 0x1234567890123456789012345678901234567890