awesome-repositories.com
Blog
MCP
awesome-repositories.com

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoAcerca deCómo clasificamosPrensaServidor MCP
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
ise-uiuc avatar

ise-uiuc/KNighter

0
View on GitHub↗
180 estrellas·22 forks·C++·Apache-2.0·2 vistas

KNighter

[SOSP'25] Automatic checker synthesis for system-level static analysis

Features

  • Fuzzing Frameworks - Static analysis tool using LLM-synthesized checkers.

Historial de estrellas

Gráfico del historial de estrellas de ise-uiuc/knighterGráfico del historial de estrellas de ise-uiuc/knighter

Búsqueda con IA

Explora más repositorios increíbles

Describe lo que necesitas en lenguaje sencillo: la IA clasifica miles de proyectos open-source curados por relevancia.

Start searching with AI

Alternativas open-source a KNighter

Proyectos open-source similares, clasificados según cuántas características comparten con KNighter.
  • ant4g0nist/manufuzzerAvatar de ant4g0nist

    ant4g0nist/ManuFuzzer

    180Ver en GitHub↗

    Binary code-coverage fuzzer for macOS, based on libFuzzer and LLVM

    Objective-C++
    Ver en GitHub↗180
  • ant4g0nist/slothAvatar de ant4g0nist

    ant4g0nist/sloth

    130Ver en GitHub↗

    Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emulation

    C++
    Ver en GitHub↗130
  • aoh/radamsaAvatar de aoh

    aoh/radamsa

    1,290Ver en GitHub↗

    a general-purpose fuzzer

    Ver en GitHub↗1,290
  • aflgo/aflgoAvatar de aflgo

    aflgo/aflgo

    557Ver en GitHub↗

    Directed Greybox Fuzzing with AFL

    C
    Ver en GitHub↗557
Ver las 30 alternativas a KNighter→

Preguntas frecuentes

¿Qué hace ise-uiuc/knighter?

[SOSP'25] Automatic checker synthesis for system-level static analysis

¿Cuáles son las características principales de ise-uiuc/knighter?

Las características principales de ise-uiuc/knighter son: Fuzzing Frameworks.

¿Qué alternativas de código abierto existen para ise-uiuc/knighter?

Las alternativas de código abierto para ise-uiuc/knighter incluyen: ant4g0nist/manufuzzer — Binary code-coverage fuzzer for macOS, based on libFuzzer and LLVM. ant4g0nist/sloth — Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and… aoh/radamsa — a general-purpose fuzzer. codeintelligencetesting/cifuzz. codeintelligencetesting/jazzer — Coverage-guided, in-process fuzzing for the JVM. aflgo/aflgo — Directed Greybox Fuzzing with AFL.