sancov

Here are 2 public repositories matching this topic...

Compile and run with LLVM Sanitizer Coverage and dump edges to CSV

llvm llvm-coverage llvm-sanitizer sancov

SanitizerInvariants - Instrumenting a program to infer invariants with Daikon, on the top of LLVM compiler infrastructure

llvm invariants daikon sanitizer sancov

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

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