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 …

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 …

随着**年来开源软件的蓬勃发展, 现代化软件的开发和供应模式极大地促进开源软件自身的快速
迭代和演进, 也提高了社会效益. 新兴的开源协作的软件开发模式使得软件开发供应流程由较为 …

The diversity of web configuration interfaces for IoT devices has exacerbated issues such as
inadequate permission controls and insecure interfaces, resulting in various vulnerabilities …

With the rapid development of modern information technology, web applications have
gradually become important service providers in people's daily work and life. However …

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 …

Program analysis plays an important role in ensuring the safety and correctness of
Programs. Based on the cloud native security system and from the perspective of building a …

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 …