Context: Security testing is a challenging and effort-demanding task in IoT scenarios. The
heterogeneous devices expose different vulnerabilities that can influence the methods and …

Backdoor attacks for neural code models have gained considerable attention due to the
advancement of code intelligence. However, most existing works insert triggers into task …

To model the data and functions in various computer science applications, the researcher
uses a Data Flow Diagram (DFD). DFD has been constructed using [open-source software …

Static analysis has been successfully employed in software verification, however the number
of generated warnings and cost incurred in their manual review is a major concern. In this …

Operating system kernels are appealing attack targets: compromising the kernel usually
allows attackers to bypass all deployed security mechanisms and take control over the entire …

Static code analysis tools such as FindBugs and SonarQube are widely used on open-
source and industrial projects to detect a variety of issues that may negatively affect the …

When users deploy or invoke smart contracts on Ethereum, a fee is charged for avoiding
resource abuse. Metered in gas, the fee is the product of the amount of gas used and the …

Node. js executes server-side JavaScript-based code. By design Node. js and JavaScript
support global variables, monkey-patching, and shared cache of loaded modules. This …

Pathwidth and treewidth are standard and well-studied graph sparsity parameters which
intuitively model the degree to which a given graph resembles a path or a tree, respectively …

Binary analysis is useful in many practical applications, such as the detection of malware or
vulnerable software components. However, our survey of the literature shows that most …