Pinned

1. octopus octopus Public archive

   Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

   Python 478 82

2. thoth thoth Public

   Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

   Python 236 21

3. wasm_runtimes_fuzzing wasm_runtimes_fuzzing Public

   Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing

   Rust 81 17

4. cairo-fuzzer cairo-fuzzer Public

   Cairo/Starknet smart contract fuzzer

   Rust 113 8

5. sui-fuzzer sui-fuzzer Public

   Sui smart contract fuzzer

   Rust 22 2

6. aleovera aleovera Public

   Aleo analyzer and disassembler

   Python 8 6