-
-
verifast Public
Forked from verifast/verifastResearch prototype tool for modular formal verification of C and Java programs
Rust Other UpdatedJun 29, 2024 -
sedeve-kit Public
Forked from scuptio/sedeve-kitSpecification-Driven Development Kit, In Spec We Trust
Rust Apache License 2.0 UpdatedJun 28, 2024 -
infer Public
Forked from facebook/inferA static analyzer for Java, C, C++, and Objective-C
OCaml MIT License UpdatedJun 28, 2024 -
Awesome-Reasoning-Foundation-Models Public
Forked from reasoning-survey/Awesome-Reasoning-Foundation-Models✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models
MIT License UpdatedJun 28, 2024 -
-
ityfuzz Public
Forked from fuzzland/ityfuzzBlazing Fast Hybrid Fuzzer for Smart Contracts
Rust MIT License UpdatedOct 10, 2023 -
cairo-fuzzer Public
Forked from FuzzingLabs/cairo-fuzzerCairo/Starknet smart contract fuzzer
8000Rust GNU Affero General Public License v3.0 UpdatedOct 10, 2023 -
revm Public
Forked from fuzzland/revmRevolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Rust MIT License UpdatedSep 22, 2023 -
sui Public
Forked from MystenLabs/suiSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust Apache License 2.0 UpdatedSep 19, 2023 -
starknet_in_rust Public
Forked from lambdaclass/starknet_in_rustA Rust implementation of Starknet execution logic
Rust Apache License 2.0 UpdatedAug 24, 2023 -
cairo-vm Public
Forked from lambdaclass/cairo-vmcairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Rust Apache License 2.0 UpdatedAug 24, 2023 -
-
AChecker Public
Forked from DependableSystemsLab/ACheckerAChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
Python MIT License UpdatedJun 15, 2023 -
-
Smartian-Artifact Public
Forked from SoftSec-KAIST/Smartian-ArtifactArtifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
Solidity MIT License UpdatedMar 29, 2023 -
mythril Public
Forked from ConsenSysDiligence/mythrilSecurity analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Python MIT License UpdatedMar 21, 2023 -
smartbugs Public
Forked from smartbugs/smartbugsSmartBugs: A Framework to Analyze Ethereum Smart Contracts
Python Apache License 2.0 UpdatedMar 7, 2023 -
DeFiHackLabs Public
Forked from SunWeb3Sec/DeFiHackLabsReproduce DeFi hacked incidents using Foundry.
Solidity UpdatedMar 6, 2023 -
reentrancy-attacks Public
Forked from pcaversaccio/reentrancy-attacksA chronological and (hopefully) complete list of reentrancy attacks to date.
GNU Affero General Public License v3.0 UpdatedFeb 10, 2023 -
EthBMC Public
Forked from RUB-SysSec/EthBMCThe code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
Rust MIT License UpdatedDec 30, 2022 -
-
ilf Public
Forked from eth-sri/ilfAI based fuzzer based on imitation learning
Python Apache License 2.0 UpdatedOct 20, 2022 -
llvm-rust Public
Forked from sbip-sg/llvm-rustA customized Rust bindings for LLVM
Rust UpdatedAug 29, 2022 -
smart-contract-best-practices Public
Forked from ConsenSysDiligence/smart-contract-best-practicesA guide to smart contract security best practices
UpdatedAug 12, 2022 -
SolidiFI-benchmark Public
Forked from DependableSystemsLab/SolidiFI-benchmarkRepository of benchmarks to evaluate Solidity Smart contract analysis tools
Python Other UpdatedJun 16, 2022 -
hunter Public
Forked from ambroff/hunter📦 CMake driven cross-platform package manager for C/C++. Linux, Mac, Windows, iOS, Android, Raspberry Pi.
CMake BSD 2-Clause "Simplified" License UpdatedMay 24, 2022 -
-
fabric-samples Public
Forked from hyperledger/fabric-samplesJavaScript Apache License 2.0 UpdatedJan 4, 2022 -
algorithms Public
Forked from AllAlgorithms/algorithmsThe All ▲lgorithms documentation website.
JavaScript MIT License UpdatedOct 27, 2021
{{ message }}