OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.

Jorge A. Navas Ashish Gehani

Published in: Commun. ACM (2023)

Keyphrases

dynamic analysis
static analysis
reverse engineering
cost effective
model checking
malicious behavior
high quality
computationally expensive
highly efficient
source code
lightweight
data sets
databases
real world
software engineering
computationally efficient