OCCAM: Object Culling and Concretization for Assurance Maximization
llvm
static-analysis
abstract-interpretation
pointer-analysis
partial-evaluators
debloating
delayering
-
Updated
Dec 6, 2021 - C++