lannotate

LAnnotate Frama-C plugin for annotating source code with (hyper)labels corresponding to various test coverage criteria