中文
相关论文

相关论文: Multi-Agent Taint Specification Extraction for Vul…

200 篇论文

Large Language Models (LLMs) have demonstrated remarkable capabilities across various cybersecurity tasks, including vulnerability classification, detection, and patching. However, their potential in automated vulnerability report…

The latest advancements in large language models (LLMs) have sparked interest in their potential for software vulnerability detection. However, there is currently a lack of research specifically focused on vulnerabilities in the PHP…

密码学与安全 · 计算机科学 2024-10-11 Di Cao , Yong Liao , Xiuwei Shang

Increasing numbers of software vulnerabilities are discovered every year whether they are reported publicly or discovered internally in proprietary code. These vulnerabilities can pose serious risk of exploit and result in system…

SemEval-2024 Task 8 is focused on multigenerator, multidomain, and multilingual black-box machine-generated text detection. Such a detection is important for preventing a potential misuse of large language models (LLMs), the newest of which…

计算与语言 · 计算机科学 2024-06-18 Michal Spiegel , Dominik Macko

Advanced Persistent Threats (APTs) are among the most challenging cyberattacks to detect. They are carried out by highly skilled attackers who carefully study their targets and operate in a stealthy, long-term manner. Because APTs exhibit…

Large language models (LLM) are perceived to offer promising potentials for automating security tasks, such as those found in security operation centers (SOCs). As a first step towards evaluating this perceived potential, we investigate the…

With the rapid evolution of Android applications, traditional machine learning-based detection models suffer from concept drift. Additionally, they are constrained by shallow features, lacking deep semantic understanding and…

密码学与安全 · 计算机科学 2026-04-29 Xueying Zeng , Youquan Xian , Sihao Liu , Xudong Mou , Yanze Li , Lei Cui , Bo Li

Large Language Models (LLMs) have shown promise in tasks like code translation, prompting interest in their potential for automating software vulnerability detection (SVD) and patching (SVP). To further research in this area, establishing a…

软件工程 · 计算机科学 2024-09-18 Arastoo Zibaeirad , Marco Vieira

As an alternative to Java, Kotlin has gained rapid popularity since its introduction and has become the default choice for developing Android apps. However, due to its interoperability with Java, Kotlin programs may contain almost the same…

编程语言 · 计算机科学 2022-08-01 Ranjith Krishnamurthy , Goran Piskachev , Eric Bodden

Semantic conflicts arise when a developer introduces changes to a codebase that unintentionally affect the behavior of changes integrated in parallel by other developers. Traditional merge tools are unable to detect such conflicts, so…

软件工程 · 计算机科学 2025-08-15 Nathalia Barbosa , Paulo Borba , Léuson Da Silva

Information flows are intrinsic properties of an multi-stage manufacturing systems (MMS). In computer security, a basic information flow tracking technique is dynamic taint analysis (DTA). DTA tracks taint propagation from one data variable…

密码学与安全 · 计算机科学 2021-09-28 Tao Liu , Bowen Yang , Qi Li , Jin Ye , Wenzhan Song , Peng Liu

Context: Static Application Security Testing (SAST) and Runtime Application Security Protection (RASP) are important and complementary techniques used for detecting and enforcing application-level security policies in web applications.…

编程语言 · 计算机科学 2021-07-16 Angel Luis Scull Pupo , Jens Nicolay , Elisa Gonzalez Boix

The widespread use of Android applications has made them a prime target for cyberattacks, significantly increasing the risk of malware that threatens user privacy, security, and device functionality. Effective malware detection is thus…

密码学与安全 · 计算机科学 2025-07-01 Saraga S. , Anagha M. S. , Dincy R. Arikkat , Rafidha Rehiman K. A. , Serena Nicolazzo , Antonino Nocera , Vinod P

Large language models (LLMs) have demonstrated impressive capabilities in code generation, achieving high scores on benchmarks such as HumanEval and MBPP. However, these benchmarks primarily assess functional correctness and neglect broader…

软件工程 · 计算机科学 2025-08-21 Scott Blyth , Sherlock A. Licorish , Christoph Treude , Markus Wagner

To enhance the compatibility in the version control of Java Third-party Libraries (TPLs), Maven adopts Semantic Versioning (SemVer) to standardize the underlying meaning of versions, but users could still confront abnormal execution and…

软件工程 · 计算机科学 2022-09-02 Lyuye Zhang , Chengwei Liu , Zhengzi Xu , Sen Chen , Lingling Fan , Bihuan Chen , Yang Liu

Large Language Models (LLMs) have substantially influenced various software engineering tasks. Indeed, in the case of software refactoring, traditional LLMs have shown the ability to reduce development time and enhance code quality.…

软件工程 · 计算机科学 2026-03-06 Khouloud Oueslati , Maxime Lamothe , Foutse Khomh

Implementing large language models (LLMs)-driven root cause analysis (RCA) in cloud-native systems has become a key topic of modern software operations and maintenance. However, existing LLM-based approaches face three key challenges:…

人工智能 · 计算机科学 2025-11-06 Xiao Zhang , Qi Wang , Mingyi Li , Yuan Yuan , Mengbai Xiao , Fuzhen Zhuang , Dongxiao Yu

In this paper, we present the design and implementation of a Systematic Inter-Component Communication Analysis Technology (SIAT) consisting of two key modules: \emph{Monitor} and \emph{Analyzer}. As an extension to the Android operating…

密码学与安全 · 计算机科学 2020-06-24 Yupeng Hu , Zhe Jin , Wenjia Li , Yang Xiang , Jiliang Zhang

Static analysis is a method of analyzing source code without executing it. It is widely used to find bugs and code smells in industrial software. Besides other methods, the most important techniques are those based on the abstract syntax…

软件工程 · 计算机科学 2024-08-13 Gabor Horvath , Reka Kovacs , Richard Szalay , Zoltan Porkolab

CONTEXT: Applying vulnerability detection techniques is one of many tasks using the limited resources of a software project. OBJECTIVE: The goal of this research is to assist managers and other decision-makers in making informed choices…

软件工程 · 计算机科学 2022-08-03 Sarah Elder , Nusrat Zahan , Rui Shu , Monica Metro , Valeri Kozarev , Tim Menzies , Laurie Williams