The InvsCov prototype will be made public after the USENIX Security '21 conference.
Paper: http://s3.eurecom.fr/docs/usenixsec21_fioraldi.pdf
Bibtex:
@inproceedings {usenixsec21fioraldi,
author = {Andrea Fioraldi and Daniele Cono D'Elia and Davide Balzarotti},
title = {The Use of Likely Invariants as Feedback for Fuzzers},
affiliations = {EURECOM, {Sapienza University of Rome}},
booktitle = {30th {USENIX} Security Symposium ({USENIX} Security 21)},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/fioraldi},
publisher = {{USENIX} Association},
month = aug,
}