Thanh-Toan Nguyen's repositories
AChecker
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
algorithms
The All ▲lgorithms documentation website.
cairo-fuzzer
Cairo/Starknet smart contract fuzzer
cairo-vm
cairo-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 that a certain computation was executed correctly without the need for this party to re-execute the same program.
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
hunter
:package: CMake driven cross-platform package manager for C/C++. Linux, Mac, Windows, iOS, Android, Raspberry Pi.
ilf
AI based fuzzer based on imitation learning
llvm-rust
A customized Rust bindings for LLVM
smart-contract-best-practices
A guide to smart contract security best practices
SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
reentrancy-attacks
A chronological and (hopefully) complete list of reentrancy attacks to date.
revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Smartian-Artifact
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
starknet_in_rust
A Rust implementation of Starknet execution logic
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
verifast
Research prototype tool for modular formal verification of C and Java programs