https://github.com/staticafi/sbt-instrumentation

Configurable instrumentation of LLVM bitcode

code-instrumentation dangling-pointer-detection instrumentation llvm llvm-instrumentation memory-leak-detection memory-safety null-check runtime-checking

Last synced: 13 Mar 2026