XMUsuny / cgsView external linksLinks
☆17Jan 17, 2024Updated 2 years ago
Alternatives and similar repositories for cgs
Users that are interested in cgs are comparing it to the libraries listed below
Sorting:
- ☆12Jun 14, 2023Updated 2 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Apr 7, 2021Updated 4 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated 9 months ago
- A small header C library to print stack trace on execution if an exception occurs (such as segmentation fault).☆23Jun 10, 2017Updated 8 years ago
- Recent symbolic execution papers and tools.☆182May 16, 2025Updated 8 months ago
- Malware source code samples leaked online uploaded to GitHub for those who want to analyze the code.☆26Jun 29, 2017Updated 8 years ago
- Duet: static analysis for unbounded concurrency☆29Feb 6, 2026Updated last week
- An improved version of afl☆10Jun 4, 2023Updated 2 years ago
- ☆73Jun 26, 2024Updated last year
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated 11 months ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆35Nov 22, 2023Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- ☆34Apr 17, 2021Updated 4 years ago
- ☆47May 27, 2023Updated 2 years ago
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- ☆11Sep 5, 2019Updated 6 years ago
- Firmrec is a recurring vulnerability detector for embedded firmware.☆50May 9, 2025Updated 9 months ago
- Solver for Constrained Horn Clauses☆50Feb 6, 2026Updated last week
- ☆10Jul 9, 2020Updated 5 years ago
- Get random bytes from the TPM (tool + BCrypt RNG provider)☆17Nov 3, 2020Updated 5 years ago
- ☆11Apr 18, 2024Updated last year
- A Centralized Wiki for CTF Organization☆11Sep 22, 2021Updated 4 years ago
- DUQU MALWARE SOURCE + BINARY + More coming☆12Feb 6, 2023Updated 3 years ago
- ☆10Oct 31, 2022Updated 3 years ago
- ☆14Jun 17, 2024Updated last year
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- CVE-2024-53691☆14Jan 13, 2025Updated last year
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year
- A GPT-Based Fuzz Driver Generator☆49Nov 19, 2023Updated 2 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- ☆13Mar 20, 2025Updated 10 months ago
- ☆14Oct 29, 2021Updated 4 years ago
- dc2020 quals kernel pwn☆12May 18, 2020Updated 5 years ago