☆13Aug 4, 2023Updated 2 years ago
Alternatives and similar repositories for MuFuzz
Users that are interested in MuFuzz are comparing it to the libraries listed below
Sorting:
- Online ordering system combined with big data statistics☆10Jul 11, 2019Updated 6 years ago
- CVE List Found by Team Code4Block☆12Dec 19, 2022Updated 3 years ago
- ☆12Mar 13, 2026Updated last week
- Smart Contract Vulnerability Detection Using Graph Neural Networks☆17Jun 22, 2020Updated 5 years ago
- A platform for resource confirmation and infringement tracking is based on react.js and hyperledger farbic.☆11Jun 6, 2020Updated 5 years ago
- ☆15Jul 26, 2022Updated 3 years ago
- ☆13Feb 11, 2024Updated 2 years ago
- OpenGL skeleton animation using PyOpenGL☆50Jan 8, 2020Updated 6 years ago
- There is an image dataSet. We use Pytorch to extract the image features☆47Mar 7, 2019Updated 7 years ago
- A training program for freshmem☆14Jul 29, 2021Updated 4 years ago
- ☆18Jan 17, 2024Updated 2 years ago
- An interactive reference of the Ethereum node API☆18Mar 7, 2026Updated last week
- ☆13Mar 23, 2022Updated 3 years ago
- An independent EVM implementation that can easily adapt to any blockchain system.☆17Jan 14, 2025Updated last year
- Public repo for ETH Escape CTF @ Devcon 2024: https://devcon.org/☆13Dec 11, 2024Updated last year
- This is a crawler with a tool of Jsoup. Furthermore. Moreover, there is a python version.☆18Apr 7, 2019Updated 6 years ago
- A segmentation project based on aniseg, trained on yolov8-seg☆13Jul 15, 2023Updated 2 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Feb 28, 2023Updated 3 years ago
- A comprehensive collection of clustered smart contract vulnerabilities discovered through security audits, organized by severity and freq…☆38Mar 10, 2026Updated last week
- Abandoned Object Dataset☆32Mar 24, 2015Updated 10 years ago
- Tool to automatically generate text descriptions for images using Ollama vision models (LLaVA, Qwen3-VL, Llama Vision)☆32Dec 14, 2025Updated 3 months ago
- R package providing Asio C++ library header files☆14Nov 26, 2025Updated 3 months ago
- FirmSec Dataset☆12Sep 1, 2021Updated 4 years ago
- ☆12Mar 7, 2021Updated 5 years ago
- 下载模板☆23Dec 1, 2021Updated 4 years ago
- An EVM interpreter in Dafny☆135Oct 24, 2024Updated last year
- A dynamic checker for the ECF property incorporated into geth☆15Oct 27, 2017Updated 8 years ago
- ☆11Sep 28, 2022Updated 3 years ago
- ☆11May 19, 2022Updated 3 years ago
- Face recognition using Tensorflow☆20May 22, 2019Updated 6 years ago
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆24Aug 23, 2022Updated 3 years ago
- The digital watermark for image and pdf.☆80Jun 19, 2019Updated 6 years ago
- ☆13Apr 17, 2025Updated 11 months ago
- Attempt to index all inscriptions in the Bitcoin blockchain, including ASCII strings of length >= 20 and media like images. Includes insc…☆37Mar 28, 2025Updated 11 months ago
- ☆20Jan 26, 2021Updated 5 years ago
- ☆27Feb 19, 2024Updated 2 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 5 months ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 12 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated 2 years ago