Skip to content
New issue

Prototype

Past due by about 1 year 100% complete
  • Command line interface (CLI) for the tool.
  • Ability to generate output formatted as text, JSON, HTML and SARIF.
  • A VSCode extension that integrates the tool with the ability to list security issues, highlight issues with squiggles and hover-over descriptions.
  • New detectors: including more vulnerability classes than those included in Milestone 1.
  • Integratio…
  • Command line interface (CLI) for the tool.
  • Ability to generate output formatted as text, JSON, HTML and SARIF.
  • A VSCode extension that integrates the tool with the ability to list security issues, highlight issues with squiggles and hover-over descriptions.
  • New detectors: including more vulnerability classes than those included in Milestone 1.
  • Integration tests for all detectors. Improving detectors, if needed, to precisely detect vulnerabilities listed in Milestone 1.
  • Public project repo and website.
  • Tool Documentation.
  • Article on detection of vulnerabilities in Soroban smart contracts, to be published in CoinFabrik blog.

There are no open issues in this milestone.

Add issues to milestones to help organize your work for a particular release or project.

Create new issue

Or find and add issues with no milestone in this repo.