Abstract Interpretation of LLVM with a Region-Based Memory Model.

Arie Gurfinkel Jorge A. Navas

Published in: VSTTE (2021)

Keyphrases

high level
management system
databases
query processing