Hybrid pruning: Towards precise pointer and taint analysis

D Das, P Bose, A Machiry, S Mariani… - … on Detection of …, 2022 - Springer
Pointer and taint analyses are the building blocks for several other static analysis
techniques. Unfortunately, these techniques frequently sacrifice precision in favor of …

[图书][B] Finding Attacks and Vulnerabilities in Critical Systems

D Das - 2023 - search.proquest.com
Starting from that historic moment in 1948 when the first ever piece of software was written
and successfully executed on a stored-program computer to this era of supercomputers …

Hybrid Pruning: Towards Precise Pointer and Taint Analysis

Y Shoshitaishvili, G Vigna… - … Italy, June 29–July 1, 2022 …, 2022 - books.google.com
Pointer and taint analyses are the building blocks for several other static analysis
techniques. Unfortunately, these techniques frequently sacrificeprecision in favor …