Explore Projects

Discover 2 open source projects

Active filters (1):

Search: concolic-execution×

Showing 1-2 of 2 projects

CrossHair is a static and dynamic analysis tool for Python that blends testing and type systems.

1.3K

Active

Python

Testing

API Frameworks

Python

#static-analysis#dynamic-analysis#symbolic-execution

A blazing-fast, bytecode-level hybrid fuzzer for smart contracts on Ethereum, Aptos, Sui, and other blockchain platforms.

1.1K

Stable

Rust

Smart Contracts

Testing

#blockchain#smart-contracts#fuzzing

Get weekly updates on trending AI coding tools and projects.