4 papers
Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
Lingfeng Chen, Tao Xiao, Masanari Kondo +1
Symbolic execution effectively discovers security violations but suffers from path explosion. Engines like KLEE therefore use path prioritization heuristics to order state explorat…
More Code, Less Reuse: Investigating Code Quality and Reviewer Sentiment towards AI-generated Pull Requests
Haoming Huang, Pongchai Jaisri, Shota Shimizu +3
Large Language Model (LLM) Agents are advancing quickly, with the increasing leveraging of LLM Agents to assist in development tasks such as code generation. While LLM Agents accel…
Noise-Robustness Through Noise: A Framework combining Asymmetric LoRA with Poisoning MoE
Zhaokun Wang, Jinyu Guo, Jingwen Pu +5
Current parameter-efficient fine-tuning methods for adapting pre-trained language models to downstream tasks are susceptible to interference from noisy data. Conventional noise-han…
CveBinarySheet: A Comprehensive Pre-built Binaries Database for IoT Vulnerability Analysis
Lingfeng Chen
Binary Static Code Analysis (BSCA) is a pivotal area in software vulnerability research, focusing on the precise localization of vulnerabilities within binary executables. Despite…