Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 07 Sep 2024 13:02:49 +0200
From:      Alexander Leidinger <Alexander@Leidinger.net>
To:        Alan Somers <asomers@freebsd.org>
Cc:        Dmitry Salychev <dsl@freebsd.org>, Jan Knepper <jan@digitaldaemon.com>, freebsd-hackers@freebsd.org
Subject:   Re: The Case for Rust (in any system)
Message-ID:  <2e88429c28993e32ccd915ec9f4f884e@Leidinger.net>
In-Reply-To: <CAOtMX2j=EA5XLQ6jG3_XRyLd7QPj4j-nKKoCMdiYA7QoMNmQZg@mail.gmail.com>
References:  <CAOtMX2iCNX5OkdeghnbmcMrO0UYWwm4zfxFSZGznOznu%2Bmh5rA@mail.gmail.com> <7d1a0ae5-b047-4b2b-894e-615af0a5093e@digitaldaemon.com> <86y1453j1k.fsf@peasant.bootbsd.com> <CAOtMX2j=EA5XLQ6jG3_XRyLd7QPj4j-nKKoCMdiYA7QoMNmQZg@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
This is an OpenPGP/MIME signed message (RFC 4880 and 3156)

--=_e021ac64dfc6524111fe34ed52e19b54
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=UTF-8;
 format=flowed

Am 2024-09-05 23:12, schrieb Alan Somers:
> On Thu, Sep 5, 2024 at 3:08 PM Dmitry Salychev <dsl@freebsd.org> wrote:
>> 
>> 
>> Jan Knepper <jan@digitaldaemon.com> writes:
>> 
>> > Is this used?
>> >
>> > Does anyone from the team monitor this?
>> >
>> > https://scan.coverity.com/projects/freebsd
> 
> I used to check it, years ago.  But I gave up.  The UI is too hard to
> use and false alarms are both too frequent and too hard to suppress.
> Plus, it's a real drag that I can't run the tool myself.  Instead, I
> need to wait for the next scheduled run.

We have a self-hosted multi-language static analysis engine in ports, 
devel/sonarqube-community (I'm the maintainer), the community edition 
had support for C, but lost it. That required a build-wrapper. The 
wrapper is linux code and I haven't tried to use this linux-make-wrapper 
on our build system back then. The paid versions of sonarqube don't 
require the build wrapper and support direct analysis of C/C++ code 
without the wrapper, but at the place where I have access to a paid 
version doesn't use FreeBSD at all, so I have no justification to spend 
time there on FreeBSD.

The cloud version also has support for direct analysis of C code instead 
of using a build wrapper (free for open source stuff, e.g. on github), 
but it seems FreeBSD is too big for my free sonarcloud 
(https://sonarcloud.io/project/configuration/AutoScan?id=netchild_freebsd) 
access (no error message, but the analysis never finishes). There's also 
the possibility to integrate sonarcloud with a CI system and have the 
code analyzed by this instead of via the automatic analysis, but I 
didn't take the time to check which CI system is supported and what it 
takes to have FreeBSD handled by it.

Anyone who is interested: feel free to ask questions (DM or different 
thread, not here).

Bye,
Alexander.

-- 
http://www.Leidinger.net Alexander@Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org    netchild@FreeBSD.org  : PGP 0x8F31830F9F2772BF

--=_e021ac64dfc6524111fe34ed52e19b54
Content-Type: application/pgp-signature;
 name=signature.asc
Content-Disposition: attachment;
 filename=signature.asc;
 size=833
Content-Description: OpenPGP digital signature

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEER9UlYXp1PSd08nWXEg2wmwP42IYFAmbcMugACgkQEg2wmwP4
2IbDtg/9FFoxhIJOtZ6KY8sQKaYJXI8GWstlBIs1VfXd52lCQvFR3+QSW5I9S9/n
74pFH/Bi3gB2RqPy4zPCxrDvY5bWTspFyZ+/z7h6vHKMeOu2QynJkP280s5vV+Hv
kFdpwSrZ86xZNVoCDulBjf4tnYfRri0rxA8pduZWalgFcl3HLNyUcQkiCvF2PLDv
Wai0ASN/8t49gDJ+78dom9NIL8LVi9GWeoeJ3ik08Yd+fbtQcypt18dN14H2t0fQ
LRUQSiD09cqA5ucY8Op5qZDN/buW3lOXTx/BGl6vcKk4YDiBDYlAA1saa1T6kOcG
REI3Okt+pjDQKSOtAJBfgjNCrZGeof9bq3useOZwiGh6wNKAuF332Tz/GjEvmp2G
xwKWrsNMGlqwvnAsRFVq8FRDasH+HmfEigfkjIkEAie2QirBaZAFltvq9SEkWzRt
Sr5NnUyuQD5nUJJqE6+5vkM/0f4NAr9t8GOhcojZxdWfQ5H9BrdkP16MbNOW8ls/
nAed6ptdUTWXgc995SKY6kLP6FnfLrN4/eUTJKRVknrfNa7SFZAhSPP+vdzlVwQx
35zhLRFu51hNaUI4NHDqFo2PWmvsV9ENLnwNmNDTbqU65eNuKupEA9oG/6wwGwNs
RJzzaYINKuOjs7bid4tnqx18m5PEeGKAa85tMGk0Qx8AFpWcSTk=
=Smbm
-----END PGP SIGNATURE-----

--=_e021ac64dfc6524111fe34ed52e19b54--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?2e88429c28993e32ccd915ec9f4f884e>