SRI-CSL / OCCAM Star 27 Code Issues Pull requests OCCAM: Object Culling and Concretization for Assurance Maximization llvm static-analysis abstract-interpretation pointer-analysis partial-evaluators debloating delayering Updated Jun 22, 2023 C++