Feature/scarf exporter - Githubissues

kestreltechnology / ktadvance

KT Advance Memory Safety Analyzer for C

6 stars 3 forks source link

Closed jschroeder-avi closed 6 years ago

jschroeder-avi commented 6 years ago

Added script to export project findings to the SCARF format.

jschroeder-avi commented 6 years ago

Making a new pull request. I don't think this one is correct.