gnolang / gno

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + Gno.land: a blockchain for timeless code and fair open-source.
https://gno.land/
Other
894 stars 372 forks source link

Open Discussion on Static Code Analysis #579

Closed zivkovicmilos closed 5 months ago

zivkovicmilos commented 1 year ago

Description

Currently, the gno repo does not feature any advanced static code analysis workflows. This issue is meant to start a discussion on utilizing different tools, and their effectiveness in identifying vulnerabilities before they are exploited.

Code Analysis Tooling

Relevant Snyk comparison article

Setting up a vulnerability reporting workflow

Code analysis tools are far from perfect - and they don't catch everything, especially when the problem is located on a protocol level.

Bounties for issues

cc @anarcher @ltzmaxwell @piux2 et al.

zivkovicmilos commented 7 months ago

@kristovatlas Pinging here to revive this ancient issue

kristovatlas commented 6 months ago

The GitHub scanner is delightfully easy to get going, so we'll start there.

I'd like to trial some of the paid stuff as well, but whether it sticks around depends on how the trial goes. I'll post in this issue as we gather more info.

zivkovicmilos commented 5 months ago

This has been resolved with #1915