razor (pypi): The OCCAM saga
Keywords: abstract-interpretation|debloating|delayering|llvm|partial-evaluators|pointer-analysis|static-analysis