GitHub repository: stephenrkell/libcrunch
Primary language: OCaml
Description: Runtime + instrumentation adding precise, accurate and fash(-ish) dynamic checking to C (bounds errors, type confusion, ...).