☆19Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 25, 2026Updated 9 months ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- ☆73Jun 26, 2024Updated 2 years ago
- ☆33Apr 7, 2022Updated 4 years ago
- Its a healthcare engine☆11Mar 12, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆24Apr 7, 2021Updated 5 years ago
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- ☆34Apr 17, 2021Updated 5 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- ☆13Oct 30, 2023Updated 3 years ago
- Recent symbolic execution papers and tools.☆188May 16, 2025Updated last year
- A coverage-guided, native Lua fuzzing engine.☆63Updated this week
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 10 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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…☆11Jul 21, 2020Updated 6 years ago
- ☆12Jul 11, 2025Updated last year
- A suite of AFL modifications for fixed input dataset experiments☆14May 5, 2020Updated 6 years ago
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year
- Generative art using Processing.☆12Oct 2, 2021Updated 5 years ago
- Implementation of DigFuzz (NDSS19 "Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing")☆24Jul 19, 2022Updated 4 years ago
- ☆10Jul 9, 2020Updated 6 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆14Jul 27, 2025Updated last year
- A small header C library to print stack trace on execution if an exception occurs (such as segmentation fault).☆24Jun 10, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 last year
- KNN, KMeans, Decision Tree, Naive Bayesian, Linear Regression, Principal Component Analysis, Neural Networks, Support Vector Machines al…☆13Jun 30, 2020Updated 6 years ago
- List the real world programs evaluated in fuzzing papers.☆56Jan 14, 2019Updated 7 years ago
- Bangla keyboard for the macOS☆15Jan 16, 2026Updated 9 months ago
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 5 years ago
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 4 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆57Jul 30, 2026Updated 3 months ago
- MONTE Carlo Tree Search (MCTS) is a method for finding optimal decisions in a given domain by taking random samples in the decision space…☆13Mar 21, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 国科大编译作业三：Point to 分析☆18Dec 12, 2021Updated 4 years ago
- MCTS based chess engine☆14Jul 4, 2021Updated 5 years ago
- E-ticketing and Route planning platform for Bangladesh Railway☆10Aug 20, 2024Updated 2 years ago
- ☆13Jun 27, 2022Updated 4 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆18Oct 3, 2024Updated 2 years ago
- Website for Systems Research Seminar at UIUC☆21Oct 17, 2026Updated 2 weeks ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 6 months ago