IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

27 May 2024

Papers citing "IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities"

24 / 24 papers shown

Title
LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs Baleegh Ahmad Hammond Pearce Ramesh Karri Benjamin Tan 24 0 0 30 Apr 2025
Automated Static Vulnerability Detection via a Holistic Neuro-symbolic Approach Penghui Li Songchen Yao Josef Sarfati Korich Changhua Luo Jianjia Yu Yinzhi Cao Junfeng Yang 37 0 0 22 Apr 2025
Large Language Models for Validating Network Protocol Parsers Mingwei Zheng Danning Xie X. Zhang 27 1 0 18 Apr 2025
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs Haonan Li Hang Zhang Kexin Pei Zhiyun Qian 48 1 0 16 Apr 2025
LLM-IFT: LLM-Powered Information Flow Tracking for Secure Hardware Nowfel Mashnoor Mohammad Akyash Hadi M Kamali K. Z. Azar 27 0 0 09 Apr 2025
Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles Zihao Xu Junchen Ding Yiling Lou Kun Zhang Dong Gong Yuekang Li ELM LRM 31 0 0 09 Apr 2025
Large Language Model (LLM) for Software Security: Code Analysis, Malware Analysis, Reverse Engineering Hamed Jelodar Samita Bai Parisa Hamedi Hesamodin Mohammadian R. Razavi-Far Ali Ghorbani 34 0 0 07 Apr 2025
Frontier AI's Impact on the Cybersecurity Landscape Wenbo Guo Yujin Potter Tianneng Shi Zhun Wang Andy Zhang Dawn Song 45 1 0 07 Apr 2025
Reasoning with LLMs for Zero-Shot Vulnerability Detection Arastoo Zibaeirad Marco Vieira AAML LRM 42 2 0 22 Mar 2025
A Comprehensive Study of LLM Secure Code Generation Shih-Chieh Dai Jun Xu Guanhong Tao ELM 40 0 0 18 Mar 2025
XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants Adam Storek Mukur Gupta Noopur Bhatt Aditya Gupta Janie Kim Prashast Srivastava Suman Jana AAML 59 0 0 18 Mar 2025
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection Richard A. Dubniczky Krisztofer Zoltán Horvát Tamás Bisztray M. Ferrag Lucas C. Cordeiro Norbert Tihanyi 40 1 0 12 Mar 2025
Large Language Models-Aided Program Debloating Bo Lin Shangwen Wang Yihao Qin Liqian Chen Xiaoguang Mao 50 0 0 12 Mar 2025
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers Chenyuan Yang Zijie Zhao Zichen Xie Haoyu Li Lingming Zhang 57 0 0 12 Mar 2025
Transferable Foundation Models for Geometric Tasks on Point Cloud Representations: Geometric Neural Operators Blaine Quackenbush P. Atzberger 3DPC AI4CE 58 1 0 06 Mar 2025
An LLM-based Agent for Reliable Docker Environment Configuration Ruida Hu Chao Peng Xinchen Wang Cuiyun Gao 62 2 0 19 Feb 2025
A Contemporary Survey of Large Language Model Assisted Program Analysis Jiayimei Wang Tao Ni Wei-Bin Lee Qingchuan Zhao 41 5 0 05 Feb 2025
Human-In-the-Loop Software Development Agents Wannita Takerngsaksiri Jirat Pasuksmit Patanamon Thongtanunam C. Tantithamthavorn Ruixiong Zhang Fan Jiang Jing Li Evan Cook K. Chen Ming Wu LLMAG 95 1 0 19 Nov 2024
LProtector: An LLM-driven Vulnerability Detection System Ze Sheng Fenghua Wu Xiangwu Zuo Chao Li Yuxin Qiao Lei Hang 52 4 0 10 Nov 2024
REDO: Execution-Free Runtime Error Detection for COding Agents Shou Li Andrey Kan Laurent Callot Bhavana Bhasker Muhammad Shihab Rashid Timothy B Esler LRM 31 0 0 10 Oct 2024
Large Language Model-Based Agents for Software Engineering: A Survey Junwei Liu Kaixin Wang Yixuan Chen Xin Peng Zhenpeng Chen Lingming Zhang Yiling Lou AI4CE LLMAG LM&Ro 42 36 0 04 Sep 2024
Harnessing the Power of LLMs in Source Code Vulnerability Detection Andrew A Mahyari 23 3 0 07 Aug 2024
When LLMs Meet Cybersecurity: A Systematic Literature Review Jie Zhang Haoyu Bu Hui Wen Yu Chen Lun Li Hongsong Zhu 24 36 0 06 May 2024
AutoCodeRover: Autonomous Program Improvement Yuntong Zhang Haifeng Ruan Zhiyu Fan Abhik Roychoudhury 48 52 0 08 Apr 2024