https://scan.coverity.com/ has been down for more than a few days now.
Uncategorized
8
Posts
6
Posters
0
Views
-
https://scan.coverity.com/ has been down for more than a few days now. At first it was "planned maintenance" and now it's "some upgrades" -- does anyone have any idea what's going on with Coverity these days?
Since the Black Duck acquisition a few years ago the Coverity experience has got worse and worse -- it doesn't *feel* like it has a long term future. Apart from PVS-Studio (which I also use) is there anything else people use for C-code static analysis?
-
https://scan.coverity.com/ has been down for more than a few days now. At first it was "planned maintenance" and now it's "some upgrades" -- does anyone have any idea what's going on with Coverity these days?
Since the Black Duck acquisition a few years ago the Coverity experience has got worse and worse -- it doesn't *feel* like it has a long term future. Apart from PVS-Studio (which I also use) is there anything else people use for C-code static analysis?
-
@zeenix is this is just a rewrite-it-in-rust comment please don't bother.
-
https://scan.coverity.com/ has been down for more than a few days now. At first it was "planned maintenance" and now it's "some upgrades" -- does anyone have any idea what's going on with Coverity these days?
Since the Black Duck acquisition a few years ago the Coverity experience has got worse and worse -- it doesn't *feel* like it has a long term future. Apart from PVS-Studio (which I also use) is there anything else people use for C-code static analysis?
@hughsie we use codeql in the systemd repo, here's the GHA yaml: https://github.com/systemd/systemd/blob/main/.github/workflows/codeql.yml
-
https://scan.coverity.com/ has been down for more than a few days now. At first it was "planned maintenance" and now it's "some upgrades" -- does anyone have any idea what's going on with Coverity these days?
Since the Black Duck acquisition a few years ago the Coverity experience has got worse and worse -- it doesn't *feel* like it has a long term future. Apart from PVS-Studio (which I also use) is there anything else people use for C-code static analysis?
@hughsie probably doesn't come even close but what about gcc's -fanalyzer or clang's scan-build as a stopgap? Definitely going to watch the replies to this post though to see what's out there
-
@hughsie probably doesn't come even close but what about gcc's -fanalyzer or clang's scan-build as a stopgap? Definitely going to watch the replies to this post though to see what's out there
-
@zeenix is this is just a rewrite-it-in-rust comment please don't bother.
@hughsie i didn't. 😂
-
https://scan.coverity.com/ has been down for more than a few days now. At first it was "planned maintenance" and now it's "some upgrades" -- does anyone have any idea what's going on with Coverity these days?
Since the Black Duck acquisition a few years ago the Coverity experience has got worse and worse -- it doesn't *feel* like it has a long term future. Apart from PVS-Studio (which I also use) is there anything else people use for C-code static analysis?
@hughsie In libssh we use csbuild in addition. This is from https://github.com/csutils/csmock/ and runs clang cppcheck etc. It offers plugins even to things like synk.
Setup is here:
https://gitlab.com/libssh/libssh-mirror/-/blob/master/.gitlab-ci.yml?ref_type=heads#L429 -
undefined oblomov@sociale.network shared this topic on
Gli ultimi otto messaggi ricevuti dalla Federazione
-
I SOLDATI ISRAELIANI SCOMMETTONO ONLINE SU RAID E ATTACCHI
@news
Se non conoscete Polymarket, dovete sapere che è un sito “predittivo”, ovvero un insediamento web che fa perno sulla possibilità o meno che un evento si possa verificare.
L'articolo I SOLDATI ISRAELIANI SCOMMETTONO ONLINE SU RAID E ATTACCHI proviene da GIANO NEWS.
-
Impero Israeliano e faraone Netanyahu Iº
-
@afewbugs is he maybe just hitting move to spam? There's a good chance that would block you; tho there is a block sender item in the 'more' menu.
I'd also wonder if there is a keyboard shortcut for that.
I finally managed to persuade my dad off that platform a couple of years back after he got hacked badly (a script that emailed everyone in his address book asking for help, redirecting replies to some other address, and deleting all his contacts) - so can't directly check any more. But the spam one seems most likely. He'd delete mail to keep his inbox empty, and if you select mails to delete, the spam button is the X right next to the bin; I found mails he'd moved to spam a few times
-
@fucinafibonacci @attualita
grazie del link, interessante
-
Tanto per ridere, una domanda a chi fa tornitura per mestiere.
Quanto costerebbe, indicativamente, un alberino come questo, lungo 1040 mm, diametro 30 mm, con ~650 mm di filettatura ACME da 4 TPI?
E tanti saluti a chi compera il tornietto cinese da 250W e 39 kg¹ pensando di poterci fare tutto 🤣
~~
¹ tipo questo #minilathe da 7×14 pollici, distanza tra le punte 350 mm, che al massimo va bene per farci dei dildi:
https://littlemachineshop.com/products/sieg-c2-7x14-mini-lathe
-
@Elizafox@social.treehouse.systems hell yeah
-
Karaganov, casa a Venezia e rivista con Lavrov-Ushakov: “Il nucleare soluzione al problema Europa”
[hanno dimore di lusso in Europa, ma vogliono bombardarla]v
su @LaStampa
-
@dermoth thank you
