DeFi protocols are programs that manage high-value digital assets on blockchain. The price
manipulation vulnerability is one of the common vulnerabilities in DeFi protocols, which …

Context: Smart contracts are computer programs that run on a blockchain. As the functions
implemented by smart contracts become increasingly complex, the number of cross-contract …

IoT devices are often found vulnerable, ie, untrusted inputs may trigger potential
vulnerabilities and flow to sensitive operations in the firmware, which could cause severe …

Today, as PHP application technology is becoming increasingly mature, the functions of
modern multi-layer web applications are becoming more and more complete, and the …

Taint analysis is a method used to detect system security problems by tracking the flow of
user input or information leakage through the system. In the taint analysis for Android …

Software security analysts typically only have access to the executable program and cannot
directly access the source code of the program. This poses significant challenges to security …

With the development of the Internet of Things, the security of embedded device has
received extensive attention. Taint analysis technology can improve the understanding of …

IoT devices are currently facing continuous malicious attacks due to their widespread use.
Among these IoT devices, web vulnerabilities are also widely exploited because of their …

In order to solve the problem of under-tainting caused by insufficient coverage in dynamic
taint analysis and the inability to perform fine-grained level analysis, a dynamic taint analysis …

软件静态漏洞检测依据分析对象主要分为二进制漏洞检测和源代码漏洞检测.
由于源代码含有更为丰富的语义信息而备受代码审查人员的青睐. 针对现有的源代码漏洞检测 …