Practical Static Binary Analysis with Block Memory Model

open_access
Open Access