Buchumschlag

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Ziyang, Dutta, Saikat, Naik, Mayur
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
von: Khare, Avishree, et al.
Veröffentlicht: (2023)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
von: Abdelrazek, Zeyad, et al.
Veröffentlicht: (2026)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
von: Ji, Yuchen, et al.
Veröffentlicht: (2025)

Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
von: Liang, Zi, et al.
Veröffentlicht: (2026)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
von: Marquer, Yoann, et al.
Veröffentlicht: (2026)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
von: Shi, Qingkai, et al.
Veröffentlicht: (2023)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
von: Liu, Shigang, et al.
Veröffentlicht: (2024)

Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection
von: Ceka, Ira, et al.
Veröffentlicht: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
von: Santra, Monika, et al.
Veröffentlicht: (2026)

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
von: Berabi, Berkay, et al.
Veröffentlicht: (2024)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
von: Arquint, Linard, et al.
Veröffentlicht: (2025)

CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection
von: Chen, Xiao
Veröffentlicht: (2024)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
von: Wang, Yayi, et al.
Veröffentlicht: (2026)

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
von: Zhang, Yiyu, et al.
Veröffentlicht: (2024)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
von: Cheng, Yiran, et al.
Veröffentlicht: (2024)

Arbiter: Detecting Interference in LLM Agent System Prompts
von: Mason, Tony
Veröffentlicht: (2026)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2026)

Translating C To Rust: Lessons from a User Study
von: Li, Ruishi, et al.
Veröffentlicht: (2024)

UBfuzz: Finding Bugs in Sanitizer Implementations
von: Li, Shaohua, et al.
Veröffentlicht: (2024)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

Static Security Vulnerability Scanning of Proprietary and Open-Source Software: An Adaptable Process with Variants and Results
von: Cusick, James J.
Veröffentlicht: (2025)

Many Tools, Few Exploitable Vulnerabilities: A Survey of 246 Static Code Analyzers for Security
von: Hermann, Kevin, et al.
Veröffentlicht: (2026)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Teaching an Old LLM Secure Coding: Localized Preference Optimization on Distilled Preferences
von: Hasan, Mohammad Saqib, et al.
Veröffentlicht: (2025)

SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
von: Gajjar, Jugal, et al.
Veröffentlicht: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
von: Thakur, Manoj RameshChandra
Veröffentlicht: (2024)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
von: Tempel, Sören, et al.
Veröffentlicht: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
von: Hochrainer, Christoph, et al.
Veröffentlicht: (2025)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
von: Singh, Animesh, et al.
Veröffentlicht: (2026)

A Broad Comparative Evaluation of Software Debloating Tools
von: Brown, Michael D., et al.
Veröffentlicht: (2023)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
von: Sharp, Toby
Veröffentlicht: (2025)

An Empirical Study of Bitwise Operators Intuitiveness through Performance Metrics
von: Joshi, Shubham
Veröffentlicht: (2025)

Large Language Models for Code: Security Hardening and Adversarial Testing
von: He, Jingxuan, et al.
Veröffentlicht: (2023)