# false positives
libcoq-hammer: ocaml-dangling-cmi [*]
libcoq-hammer: ocaml-dangling-cmx [*]
libcoq-hammer: ocaml-dangling-cmxa [*]
libcoq-hammer: ocaml-dangling-cmxs [*]
# not a security issue
libcoq-hammer: hardening-no-bindnow [*]
libcoq-hammer: hardening-no-fortify-functions [*]
