☆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
- 国科大编译作业二：LLVM Pass处理函数调用☆18Nov 11, 2021Updated 4 years ago
- 国科大编译作业三：Point to 分析☆19Dec 12, 2021Updated 4 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 9 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☆30Feb 6, 2026Updated last month
- ☆73Jun 26, 2024Updated last year
- An improved version of afl☆10Jun 4, 2023Updated 2 years ago
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated last year
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- 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
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- A ChatGPT-based translation application developed using Tauri, with main features including translation by selecting, translation by scre…☆14May 6, 2023Updated 2 years ago
- SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems☆10Apr 11, 2025Updated 10 months ago
- ☆34Apr 7, 2022Updated 3 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
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 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
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- ☆11Sep 5, 2019Updated 6 years ago
- Variant 1 of the Spectre attack which is to bypass the bounds checks in the target process and retrieve the private data. Here in this ex…☆10Jul 21, 2020Updated 5 years ago
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- ☆10Nov 17, 2023Updated 2 years ago
- CFG explorer for binaries☆39Oct 29, 2024Updated last year
- Solver for Constrained Horn Clauses☆50Feb 27, 2026Updated last week
- Firmrec is a recurring vulnerability detector for embedded firmware.☆50May 9, 2025Updated 9 months ago
- 国科大编译作业：基于Clang的C语言解释执行器☆43Dec 12, 2021Updated 4 years ago
- CVE-2024-53691☆14Jan 13, 2025Updated last year
- A Centralized Wiki for CTF Organization☆10Sep 22, 2021Updated 4 years ago
- qemu-system by docker-compose☆13Jun 14, 2022Updated 3 years ago
- A Powershell module which can detected encoding automatically☆10Nov 1, 2020Updated 5 years ago
- ☆14Jun 17, 2024Updated last year
- Ghidra变强术，一个Ghidra脚本库，二进制安全，PWN☆12Jan 21, 2024Updated 2 years ago