#

delayering

Here is 1 public repository matching this topic...

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

llvm static-analysis abstract-interpretation pointer-analysis partial-evaluators debloating delayering

Updated Jun 22, 2023
C++

Improve this page

Add a description, image, and links to the delayering topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the delayering topic, visit your repo's landing page and select "manage topics."