-
Northern Arizona University (SICCS)
- Flagstaff, AZ
- https://agroce.github.io/
Stars
Slide decks used in courses taught regarding F´
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
RareSkills / vertigo-rs
Forked from JoranHonig/vertigoMutation Testing for Ethereum Smart Contracts, support for Foundry
Mutation Testing for Ethereum Smart Contracts
Shrinkray is a modern multi-format test-case reducer
Finetuning Large Language Models on One Consumer GPU in 2 Bits
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
Mutation analysis tool for Coq verification projects
Permissionless asset-backed, yield-bearing & overcollateralized stablecoins on Ethereum
Keep your bugs contained. A platform for studying historical software bugs.
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
DeepState harness to test CBlosc2 compression library
Rust implementation of the Ethereum Virtual Machine.
A robust execution client for Ethereum node operators.
The ISLa (Input Specification Language) language & solver.
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)