After decades of research, constructing call graphs for modern C-based software remains
either imprecise or inefficient when scaling up to the ever-growing complexity. The main …

With the widespread use of container technology, attackers may invade the kernel by
maliciously executing certain system calls, causing damage to the host and other containers …

Increasing studies have shown bugs in multi-language software as a critical loophole in
modern software quality assurance, especially those induced by language interactions (ie …

Static analysis has been widely used in large-scale software defect detection. Despite recent
advances, it is still not practical enough because it requires compilation interference to …

WebAssembly (abbreviated Wasm) has emerged as a cornerstone of web development,
offering a compact binary format that allows high-performance applications to run at near …

Malware continues to plague all organizations causing data loss and reputational damage.
Malware forensics helps protect companies from such attacks. The data is going to be …

With the prosperity of Android app research in the last decade, many static analysis
techniques have been proposed. They generally aim to tackle DEX bytecode in Android …

Decompilation is a process of converting a low-level machine code snippet back into a high-
level programming language such as C. It serves as a basis to aid reverse engineers in …

WebAssembly (abbreviated Wasm) has emerged as a cornerstone of web development,
offering a compact binary format that allows high-performance applications to run at near …

在构建国产软件生态系统中, 解决程序的兼容性问题至关重要. 随着计算机架构的多样化发展,
确保软件能够在不同平台和硬件环境中顺畅运行, 已经成为当下软件开发过程中的一项紧迫任务 …