Pinned 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.
Awesome-Reasoning-Foundation-Models
✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models
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"
etherscan-contract-crawler
sochi
spacemacs-config
thanhtoantnt's Repositories
thanhtoantnt/sochi
thanhtoantnt/spacemacs-config
thanhtoantnt/AChecker
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
thanhtoantnt/algorithms
The All ▲lgorithms documentation website.
thanhtoantnt/Awesome-Reasoning-Foundation-Models
✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models
thanhtoantnt/cairo-fuzzer
Cairo/Starknet smart contract fuzzer
thanhtoantnt/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.
thanhtoantnt/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
thanhtoantnt/EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
thanhtoantnt/etherscan-contract-crawler
thanhtoantnt/fabric-samples
thanhtoantnt/hunter
:package: CMake driven cross-platform package manager for C/C++. Linux, Mac, Windows, iOS, Android, Raspberry Pi.
thanhtoantnt/ilf
AI based fuzzer based on imitation learning
thanhtoantnt/llvm-rust
A customized Rust bindings for LLVM
thanhtoantnt/maple-repair.github.io
thanhtoantnt/smart-contract-best-practices
A guide to smart contract security best practices
thanhtoantnt/SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
thanhtoantnt/hipsleek
thanhtoantnt/infer
A static analyzer for Java, C, C++, and Objective-C
thanhtoantnt/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
thanhtoantnt/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
thanhtoantnt/reentrancy-attacks
A chronological and (hopefully) complete list of reentrancy attacks to date.
thanhtoantnt/revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
thanhtoantnt/sedeve-kit
Specification-Driven Development Kit, In Spec We Trust
thanhtoantnt/sFuzz
thanhtoantnt/smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
thanhtoantnt/Smartian-Artifact
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
thanhtoantnt/starknet_in_rust
A Rust implementation of Starknet execution logic
thanhtoantnt/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
thanhtoantnt/verifast
Research prototype tool for modular formal verification of C and Java programs