Adds a Polytracker File Detail View Plugin by ESultanik · Pull Request #35 · Gal...
source link: https://github.com/GaloisInc/FAW/pull/35
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
polytracker: {
label: 'PolyTracker',
type: 'program_to_html',
exec: ['python3', 'main.py', '<inputFile>'],
Need to add a '<tempFile .db>'
which gets used as the polytracker db, rather than a hard-coded relative path in the script.
Oh I actually have a local fix for that that I forgot to git push
. Standby…
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK