Image de couverture de livre

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yang, Chenyuan, Zhao, Zijie, Xie, Zichen, Li, Haoyu, Zhang, Lingming
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Artificial Intelligence Cryptography and Security Operating Systems
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
par: Yang, Chenyuan, et autres
Publié: (2023)

AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection
par: Zhao, Zijie, et autres
Publié: (2026)

A Survey of Fuzzing Open-Source Operating Systems
par: Hu, Kun, et autres
Publié: (2025)

Testing Access-Control Configuration Changes for Web Applications
par: Xiang, Chengcheng, et autres
Publié: (2025)

Designing Robust API Monitoring Solutions
par: D'Elia, Daniele Cono, et autres
Publié: (2020)

Threadbox: Sandboxing for Modular Security
par: Alhindi, Maysara, et autres
Publié: (2025)

Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
par: Srinivasan, Naveen, et autres
Publié: (2025)

SyzRetrospector: A Large-Scale Retrospective Study of Syzbot
par: Bursey, Joseph, et autres
Publié: (2024)

QLPro: Automated Code Vulnerability Discovery via LLM and Static Code Analysis Integration
par: Hu, Junze, et autres
Publié: (2025)

Unveiling the Landscape of LLM Deployment in the Wild: An Empirical Study
par: Hou, Xinyi, et autres
Publié: (2025)

LLM-enabled Applications Require System-Level Threat Monitoring
par: Zhang, Yedi, et autres
Publié: (2026)

Implicit Patterns in LLM-Based Binary Analysis
par: Li, Qiang, et autres
Publié: (2026)

SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
par: Gajjar, Jugal, et autres
Publié: (2025)

LLM-Agent-UMF: LLM-based Agent Unified Modeling Framework for Seamless Design of Multi Active/Passive Core-Agent Architectures
par: Hassouna, Amine Ben, et autres
Publié: (2024)

Hackers or Hallucinators? A Comprehensive Analysis of LLM-Based Automated Penetration Testing
par: Peng, Jiaren, et autres
Publié: (2026)

PentestEval: Benchmarking LLM-based Penetration Testing with Modular and Stage-Level Design
par: Yang, Ruozhao, et autres
Publié: (2025)

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection
par: Ceka, Ira, et autres
Publié: (2024)

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
par: Dubniczky, Richard A., et autres
Publié: (2025)

Security of LLM-generated Code: A Comparative Analysis
par: Morkonda, Srivathsan G, et autres
Publié: (2026)

The Missing Memory Hierarchy: Demand Paging for LLM Context Windows
par: Mason, Tony
Publié: (2026)

Automatic Red Teaming LLM-based Agents with Model Context Protocol Tools
par: He, Ping, et autres
Publié: (2025)

LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning
par: Sun, Yuqiang, et autres
Publié: (2024)

Benchmark of Benchmarks: Unpacking Influence and Code Repository Quality in LLM Safety Benchmarks
par: Chu, Junjie, et autres
Publié: (2026)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
par: Sun, Yuqiang, et autres
Publié: (2023)

Secure and Efficient Access Control for Computer-Use Agents via Context Space
par: Gong, Haochen, et autres
Publié: (2025)

Detecting Privilege Escalation in Polyglot Microservices via Agentic Program Analysis
par: Li, Penghui, et autres
Publié: (2026)

AdaptiveGuard: Towards Adaptive Runtime Safety for LLM-Powered Software
par: Yang, Rui, et autres
Publié: (2025)

Casting a SPELL: Sentence Pairing Exploration for LLM Limitation-breaking
par: Huang, Yifan, et autres
Publié: (2025)

VULPO: Context-Aware Vulnerability Detection via On-Policy LLM Optimization
par: Li, Youpeng, et autres
Publié: (2025)

AutoEG: Exploiting Known Third-Party Vulnerabilities in Black-Box Web Applications
par: Yang, Ruozhao, et autres
Publié: (2026)

From SFT to RL: Demystifying the Post-Training Pipeline for LLM-based Vulnerability Detection
par: Li, Youpeng, et autres
Publié: (2026)

Prompt Injection attack against LLM-integrated Applications
par: Liu, Yi, et autres
Publié: (2023)

How Do Semantically Equivalent Code Transformations Impact Membership Inference on LLMs for Code?
par: Yang, Hua, et autres
Publié: (2025)

Chimera: Harnessing Multi-Agent LLMs for Automatic Insider Threat Simulation
par: Yu, Jiongchi, et autres
Publié: (2025)

VulDetectBench: Evaluating the Deep Capability of Vulnerability Detection with Large Language Models
par: Liu, Yu, et autres
Publié: (2024)

ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems
par: Zhang, Yihao, et autres
Publié: (2026)

Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes
par: Metere, Alfredo
Publié: (2026)

Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
par: Karanjai, Rabimba, et autres
Publié: (2025)

MNN-AECS: Energy Optimization for LLM Decoding on Mobile Devices via Adaptive Core Selection
par: Huang, Zhengxiang, et autres
Publié: (2025)

Favia: Forensic Agent for Vulnerability-fix Identification and Analysis
par: Storhaug, André, et autres
Publié: (2026)