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
A new coverity scan would probaby be a good idea #6992
Comments
|
Wouldn't work due to rate limiting. But running it every other day would be a start.
Currently you need to register to get access. If possible, the results could be public. That could get some drive-by pull-request. I personally would not worry too much. And if one is looking for a bug looking at the list of potential issues is often a good Idea. OT: Receiving PRs isn't enough. They need to be merged, too. Having looked through the PRs (that's often the first thing I do when finding a bug) I found that there are many open PRs that are pretty old (up to 5 years). I'm not sure whether they merge at all or whether there will ever be someone to rebase them. Maybe adding something like https://probot.github.io/apps/stale/ could help sort out the PRs (and issues) that are still relevant. IM(!)O doxygen is loosing quite a bit o developer power by not merging or rejecting those PRs. |
A bit off topic but I did register and after login I can see the "View Defects" button but clicking on it results in a 503 error:
|
I thought that it really was a temporary thing. Maybe @doxygen or Martin Ettl can have a look at it. They are the project admins |
@cmorty I was under the impression that you were able to access the defects, but apparently you couldn't either. I took some actions (maybe they will bring something):
|
I just got from synopsys an email back that they have resolved the problem and I can see the defects again. I now looked quickly at the results, would be good to have a new run. |
Still not working for me. :( ... It's not a 503 any more but:
|
I can see you in the list of members and when I understand it well you can login. |
We do a regular run of coverity. I think this problem has been solved in the mean time. |
Having Coverity automatically run.
Having Coverity automatically run. Strange error: You have an error in your yaml syntax on line 105 Checking if everything before is correct.
Having Coverity automatically run. Test on getting wget
Having Coverity automatically run. What is wrong with wget ...
Having Coverity automatically run. Added on github repository secret Check version of curl
Having Coverity automatically run. Correction token part (%% instead of %)
Having Coverity automatically run.
Having Coverity automatically run. Do we need to use `%...%` on windows instead of `$...`?
Having Coverity automatically run. Replaced token with a Test_value to see what is happening.
Having Coverity automatically run. Added token to env
Having Coverity automatically run. Now also a test with another env name
Having Coverity automatically run. Coverity was not allowed
Having Coverity automatically run. Checking all programs present ... Looks like secrets won't work in a fork :-(
Having Coverity automatically run. Bison should be a bit earlier ..
Having Coverity automatically run.
An automatic github actions procedure has how been installed to run on a regular base. |
It's probably I good Idea to run a new coverity scan (The last one was run mid last year). Maybe even set up a travis job (https://scan.coverity.com/travis_ci).
Also there are some old patches (#5627, #5637, #5616 and #5617) that might apply or can be closed. Not sure about their state.
The text was updated successfully, but these errors were encountered: