collaborators

1 paper

cs.PL2024

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey

Bowen Zhang, Wei Chen, Hung-Chun Chiu +1

Static analysis techniques enhance the security, performance, and reliability of programs by analyzing and portraiting program behaviors without the need for actual execution. In e…