Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

submit a repo to scan Nim csource #712

Closed
ringabout opened this issue Apr 29, 2021 · 7 comments
Closed

submit a repo to scan Nim csource #712

ringabout opened this issue Apr 29, 2021 · 7 comments
Labels

Comments

@ringabout
Copy link
Collaborator

ringabout commented Apr 29, 2021

A repo to generate Nim source automatically based on every commits

then use Coverity Scan(which is free for open source) to scan Nim source

see https://scan.coverity.com/projects

@timotheecour
Copy link
Owner

timotheecour commented Apr 29, 2021

is there a proof of concept to show that this can potentially be useful for nim sources?

@ringabout
Copy link
Collaborator Author

well.I mean C source

@ringabout ringabout changed the title scan Nim source scan Nim csource Apr 29, 2021
@timotheecour
Copy link
Owner

can you show (or show a link) examples where it gives useful feedback on C sources?

@ringabout
Copy link
Collaborator Author

ringabout commented Apr 29, 2021

https://scan.coverity.com/projects/01org-libyami
?

image

well, it needs access.

@ringabout
Copy link
Collaborator Author

ringabout commented Apr 29, 2021

Oh, you can see from successful stores.

https://scan.coverity.com/o/oss_success_stories

@timotheecour
Copy link
Owner

thanks, that makes things more concrete. Some of the diagnostics are indeed useful.

Curious:

  • how it compares to what valgrind would show
  • whether it'd have utility on C sources generated from nim sources
  • what's the signal to noise ratio (ie whether it generates lots of not so useful diagnostics)

note also that we ignore warnings (-w) which has caused bugs in the past (refs nim-lang#11591)

@ringabout ringabout changed the title scan Nim csource submit a repo to scan Nim csource Apr 29, 2021
@ringabout
Copy link
Collaborator Author

ringabout commented Apr 29, 2021

Well it works like CI, submit a link to scan it automatically, free for open source.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants