-
codeql-solidity Public
Forked from lucasamorimca/codeql-solidityCodeQL extractor and queries for Solidity smart contract security analysis
CodeQL Apache License 2.0 UpdatedJun 9, 2026 -
solidity Public
Forked from argotorg/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedMay 21, 2026 -
afl-ts Public
Forked from jubnzv/afl-tsTree-sitter based AFL++ mutator for AST-aware fuzzing of structured inputs.
C UpdatedMay 6, 2026 -
-
-
hevm-result-test-contracts Public
Contracts to test FAIL/PASS/BAIL behaviours of hevm
Solidity UpdatedJan 21, 2026 -
data-bword Public
Forked from mvv/data-bwordHaskell library with extra operations on binary words
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 15, 2025 -
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedDec 8, 2025 -
-
Slides of the talk "A gentle introduction to formal verification of Ethereum smart contracts"
TeX GNU General Public License v3.0 UpdatedJul 14, 2025 -
-
-
reentrancy-attack Public
Forked from tagupta/Reentrancy-attackA replication of DAO Hack vulnerability
Solidity UpdatedJul 3, 2025 -
empty-smt-solver Public
Empty SMT solver that always responds with unknown
Nix GNU Affero General Public License v3.0 UpdatedJul 2, 2025 -
echidna Public
Forked from crytic/echidnaEthereum smart contract fuzzer
Haskell GNU Affero General Public License v3.0 UpdatedDec 2, 2024 -
-
-
benchmark-submission Public
Forked from SMT-LIB/benchmark-submission-2024Repository for the submission of SMT-LIB benchmarks for the 2024 release.
Shell UpdatedJun 20, 2024 -
-
-
-
doalarm Public
doalarm tool to send ALARM signal after a certain wallclock time
C GNU General Public License v2.0 UpdatedAug 1, 2023 -
-
FuzzyVM Public
Forked from MariusVanDerWijden/FuzzyVMImplementation of a differential fuzzer for Ethereum Virtual Machines
Go GNU Lesser General Public License v2.1 UpdatedJan 19, 2023 -
opensmt Public
Forked from usi-verification-and-security/opensmtThe opensmt solver
C++ Other UpdatedDec 7, 2022 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 25, 2022 -
{{ message }}