A grey-box hybrid fuzzer that generates test cases for language servers
☆16Nov 5, 2026Updated this week
Alternatives and similar repositories for lsp-fuzz
Users that are interested in lsp-fuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for analyzing JVM bytecode☆31Updated this week
- 一本用代码写出来的Fuzzing书籍：The Fuzzing Book☆14Sep 30, 2023Updated 3 years ago
- This is a docker images different LTS version of Ubuntu with a working init process☆12Jul 13, 2023Updated 3 years ago
- A timer theme of Wallpaper Engine (13k Subscribers)☆13Oct 26, 2022Updated 4 years ago
- Python-based stack trace analysis tools☆10May 7, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Agentic predicate synthesis for directed fuzzing☆14Oct 10, 2026Updated 3 weeks ago
- A framework for testing compilers' type checkers☆71Mar 17, 2026Updated 7 months ago
- Human-In-The-Loop Automatic Program Repair☆19Dec 18, 2019Updated 6 years ago
- Open-source observability and audit trail platform for AI agents. MCP-native, tamper-evident event logging, real-time dashboard.☆25Oct 25, 2026Updated last week
- ☆19Dec 9, 2022Updated 3 years ago
- Code and data for study: "Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories"☆16May 5, 2026Updated 6 months ago
- JDCallgraph - Dynamic call graph generation for Java.☆20Oct 12, 2020Updated 6 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆34Dec 29, 2024Updated last year
- GoPlus Launches AI Auditing Benchmark: Redefining the Boundaries of AI Smart Contract Auditing with Real-World Attack Samples!☆12Updated this week
- 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.
- Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)☆14Mar 13, 2024Updated 2 years ago
- CatchBench: a benchmark for auditing agent failures across the full lifecycle.☆12Oct 26, 2026Updated last week
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- overlapping nmi☆12Jun 11, 2019Updated 7 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆42Feb 1, 2024Updated 2 years ago
- AI weather image generator using Node.js, Open-Meteo, Gemini (Nano Banana, Gemini 2.5 Image Preview) & 146k+ cities database. City search…☆10Sep 1, 2025Updated last year
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆21Mar 12, 2026Updated 7 months ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Software Engineering lecture materials (archive, migrated to Codeberg)☆20May 16, 2023Updated 3 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆15Oct 21, 2024Updated 2 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 4 years ago
- State Key Laboratory for Novel Software Technology, Nanjing University, China☆11Nov 22, 2025Updated 11 months ago
- HnuSec 海南大学网安实验室☆14Jan 30, 2024Updated 2 years ago
- homepage for proFL☆23Apr 26, 2021Updated 5 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- A minimal implementation of the LLVM core libraries and tools☆21Aug 15, 2026Updated 2 months ago
- 🦀Rust八股文-更适合中国人的Rust教程,希望成为你的枕边书.⌛现在不用也可以收藏起来以后学习☆13Aug 4, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11May 4, 2015Updated 11 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated last year
- ☆28Updated this week
- 整理一些利用pocsuite3编写的poc和exp☆15Jan 26, 2021Updated 5 years ago
- Code for AttriBoT from "AttriBoT: A Bag of Tricks for Efficiently Approximating Leave-One-Out Context Attribution"☆15Apr 21, 2025Updated last year
- 东南大学智能门锁开门小软件☆20Updated this week
- ☆10Sep 14, 2019Updated 7 years ago