Up
–
frama-c-markdown-report
»
Markdown_report
» Sarif_gen
Module
Markdown_report.Sarif_gen
val
generate :
unit
->
unit
generate a sarif json object.