OCCAM: Object Culling and Concretization for Assurance Maximization
llvm
static-analysis
abstract-interpretation
pointer-analysis
partial-evaluators
debloating
delayering
-
Updated
Jun 22, 2023 - C++
OCCAM: Object Culling and Concretization for Assurance Maximization
Add a description, image, and links to the delayering topic page so that developers can more easily learn about it.
To associate your repository with the delayering topic, visit your repo's landing page and select "manage topics."