Troublor / NyxLinks
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
☆21Updated last year
Alternatives and similar repositories for Nyx
Users that are interested in Nyx are comparing it to the libraries listed below
Sorting:
- Indexing three datasets for GPTScan☆64Updated last year
- Smart contract front-running vulnerability benchmark☆25Updated 2 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Updated 2 years ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆94Updated last year
- ☆102Updated 3 years ago
- ☆63Updated last year
- ☆41Updated last year
- A symbolic execution engine for EVM smart contract binaries.☆118Updated last month
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Updated 2 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Updated 2 years ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆74Updated 9 months ago
- ☆20Updated 5 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Updated 2 years ago
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆19Updated 2 years ago
- Parsing-based Analyzer☆68Updated 7 months ago
- A collection of security papers on top-tier publications☆61Updated 3 weeks ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参 考。☆35Updated 2 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Updated 2 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Updated 3 years ago
- ☆21Updated 2 years ago
- ☆39Updated 7 months ago
- A blockchain consensus protocol fuzzing framework☆19Updated 2 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38Updated 2 years ago
- ☆27Updated 2 years ago
- Data for LLM4Vuln☆14Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆93Updated 9 months ago
- ☆24Updated last year
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆22Updated 2 years ago
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Updated last year
- A deep learning model for localizing bugs in C/C++ source code (USENIX'23)☆156Updated 2 years ago