Solidity static analyzer
☆82Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for sstan
Users that are interested in sstan are comparing it to the libraries listed below
Sorting:
- Partial Block Building with TEEs☆19Mar 27, 2024Updated last year
- 🔒💬 A protocol for credible commitments.☆75Feb 2, 2024Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- A rewrite of Optimism's MIPS.sol thread context in Huff☆26Aug 6, 2023Updated 2 years ago
- Run arbitrary code on the EVM☆265Feb 21, 2024Updated 2 years ago
- ☆69Sep 11, 2023Updated 2 years ago
- Testing echidna vs. forge fuzzing☆77Dec 20, 2022Updated 3 years ago
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- ☆14May 3, 2023Updated 2 years ago
- ☆100May 24, 2023Updated 2 years ago
- Symbolic stack CFG generator for EVM☆191Feb 10, 2025Updated last year
- ☆11Sep 24, 2025Updated 5 months ago
- The Good Ethereum Assembler☆138Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆155Feb 24, 2026Updated last week
- ☆33Oct 25, 2022Updated 3 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Feb 11, 2026Updated 3 weeks ago
- EVM Execution Hooks.☆240Feb 25, 2026Updated last week
- ☆164Jul 30, 2023Updated 2 years ago
- ☆84Feb 2, 2025Updated last year
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Jan 30, 2024Updated 2 years ago
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆429Nov 17, 2023Updated 2 years ago
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆59May 11, 2023Updated 2 years ago
- mevETH LST Protocol - Repo has migrated see link☆26Mar 12, 2024Updated last year
- the EVM, simplified☆99Updated this week
- Rust bindings for Solidity's AST and visitors☆50Sep 4, 2023Updated 2 years ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- ☆63Mar 9, 2023Updated 2 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Mar 8, 2024Updated last year
- MEV-Boost Auction Simulation Framework☆28Feb 19, 2025Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- A Solidity framework for upgradeable modularized applications.☆52Apr 12, 2024Updated last year
- Scaling Ethereum, but this time in rust.☆90Apr 23, 2023Updated 2 years ago
- ☆51Jan 22, 2024Updated 2 years ago
- https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code☆40Jan 18, 2022Updated 4 years ago
- ☆58Jan 31, 2024Updated 2 years ago
- Generate tests based on the Branching Tree Technique.☆343Updated this week
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 3 years ago
- ☆193Jun 14, 2023Updated 2 years ago
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago