Cover Image

VULSOLVER: Vulnerability Detection via LLM-Driven Constraint Solving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Xiang, Su, Yueci, Liu, Jiahao, Lin, Zhiwei, Hou, Yuebing, Gao, Peiming, Zhang, Yuanchao
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TraceAegis: Securing LLM-Based Agents via Hierarchical and Behavioral Anomaly Detection
by: Liu, Jiahao, et al.
Published: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)

Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments
by: Zheng, Xinyi, et al.
Published: (2024)

LogicScan: An LLM-driven Framework for Detecting Business Logic Vulnerabilities in Smart Contracts
by: Gao, Jiaqi, et al.
Published: (2026)

Propagation-Based Vulnerability Impact Assessment for Software Supply Chains
by: Ruan, Bonan, et al.
Published: (2025)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
by: Zhao, Jian, et al.
Published: (2024)

Hunting Vulnerability Variants in AI Infra: Measurement and Reference-Driven Detection
by: Dong, Tian, et al.
Published: (2026)

Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
by: Bu, Jiuyang, et al.
Published: (2025)

SafeGenBench: A Benchmark Framework for Security Vulnerability Detection in LLM-Generated Code
by: Li, Xinghang, et al.
Published: (2025)

Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
by: Liu, Shangqing, et al.
Published: (2024)

A Large-Scale Evolvable Dataset for Model Context Protocol Ecosystem and Security Analysis
by: Lin, Zhiwei, et al.
Published: (2025)

VulBinLLM: LLM-powered Vulnerability Detection for Stripped Binaries
by: Hussain, Nasir, et al.
Published: (2025)

VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog
by: Long, Xiang, et al.
Published: (2025)

Comprehensive Vulnerability Analysis is Necessary for Trustworthy LLM-MAS
by: He, Pengfei, et al.
Published: (2025)

RLCracker: Evaluating the Worst-Case Vulnerability of LLM Watermarks with Adaptive RL Attacks
by: Huang, Hanbo, et al.
Published: (2025)

Feedback-Driven Execution for LLM-Based Binary Analysis
by: Zhang, XiangRui, et al.
Published: (2026)

CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs
by: Li, Xiaoqi, et al.
Published: (2025)

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
by: Ruan, Bonan, et al.
Published: (2024)

Enhancing Pre-Trained Language Models for Vulnerability Detection via Semantic-Preserving Data Augmentation
by: Qi, Weiliang, et al.
Published: (2024)

Demystifying and Detecting Agentic Workflow Injection Vulnerabilities in GitHub Actions
by: Wang, Shenao, et al.
Published: (2026)

LLM-BSCVM: An LLM-Based Blockchain Smart Contract Vulnerability Management Framework
by: Jin, Yanli, et al.
Published: (2025)

SAGE: Signal-Amplified Guided Embeddings for LLM-based Vulnerability Detection
by: Shan, Zhengyang, et al.
Published: (2026)

Everything You Wanted to Know About LLM-based Vulnerability Detection But Were Afraid to Ask
by: Li, Yue, et al.
Published: (2025)

Demystifying RCE Vulnerabilities in LLM-Integrated Apps
by: Liu, Tong, et al.
Published: (2023)

Life-Cycle Routing Vulnerabilities of LLM Router
by: Lin, Qiqi, et al.
Published: (2025)

LProtector: An LLM-driven Vulnerability Detection System
by: Sheng, Ze, et al.
Published: (2024)

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
by: Li, Wenkai, et al.
Published: (2024)

Outside the Comfort Zone: Analysing LLM Capabilities in Software Vulnerability Detection
by: Guo, Yuejun, et al.
Published: (2024)

A Systematic Study of Code Obfuscation Against LLM-based Vulnerability Detection
by: Li, Xiao, et al.
Published: (2025)

VulMatch: Binary-level Vulnerability Detection Through Signature
by: Liu, Zian, et al.
Published: (2023)

Benchmarking LLMs and LLM-based Agents in Practical Vulnerability Detection for Code Repositories
by: Yildiz, Alperen, et al.
Published: (2025)

VulnLLM-R: Specialized Reasoning LLM with Agent Scaffold for Vulnerability Detection
by: Nie, Yuzhou, et al.
Published: (2025)

Fine-Grained 1-Day Vulnerability Detection in Binaries via Patch Code Localization
by: Dong, Chaopeng, et al.
Published: (2025)

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
by: Peng, Chenyang, et al.
Published: (2025)

PrintListener: Uncovering the Vulnerability of Fingerprint Authentication via the Finger Friction Sound
by: Zhou, Man, et al.
Published: (2024)

DWBench: Holistic Evaluation of Watermark for Dataset Copyright Auditing
by: Ren, Xiao, et al.
Published: (2026)

When Safe Models Merge into Danger: Exploiting Latent Vulnerabilities in LLM Fusion
by: Li, Jiaqing, et al.
Published: (2026)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
by: Bu, Jiuyang, et al.
Published: (2025)

A Survey of LLM-Driven AI Agent Communication: Protocols, Security Risks, and Defense Countermeasures
by: Kong, Dezhang, et al.
Published: (2025)

Evil Vizier: Vulnerabilities of LLM-Integrated XR Systems
by: Zhang, Yicheng, et al.
Published: (2025)