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