Results for “symbolic-execution”

3 skills

auditing-foundry-smart-contract-security

Runs a pre-deployment security audit of Solidity smart contracts in a Foundry project, combining static analysis (Slither, Aderyn), symbolic execution (Mythril), and property-based testing to catch reentrancy, access-control, and arithmetic bugs before deploying to an EVM chain.

24.6k · bundle

More results

Provides a sandboxed execution environment for running code snippets, automating tasks, and deploying logic across multiple languages with resource capping and network isolation.

Provides a sandboxed execution environment for running code, scripts, and automated workflows with resource capping and network isolation.