From nobody Sat Sep 7 11:02:49 2024 X-Original-To: freebsd-hackers@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4X19G34HdMz5VSjQ for <freebsd-hackers@mlmmj.nyi.freebsd.org>; Sat, 07 Sep 2024 11:04:11 +0000 (UTC) (envelope-from Alexander@Leidinger.net) Received: from mailgate.Leidinger.net (bastille.leidinger.net [89.238.82.207]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature ECDSA (P-256) client-digest SHA256) (Client CN "mailgate.leidinger.net", Issuer "E5" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4X19G16xdTz4fWy; Sat, 7 Sep 2024 11:04:09 +0000 (UTC) (envelope-from Alexander@Leidinger.net) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=leidinger.net header.s=outgoing-alex header.b=oxAjBvnI; dmarc=pass (policy=quarantine) header.from=leidinger.net; spf=pass (mx1.freebsd.org: domain of Alexander@Leidinger.net designates 89.238.82.207 as permitted sender) smtp.mailfrom=Alexander@Leidinger.net List-Id: Technical discussions relating to FreeBSD <freebsd-hackers.freebsd.org> List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: <mailto:freebsd-hackers+help@freebsd.org> List-Post: <mailto:freebsd-hackers@freebsd.org> List-Subscribe: <mailto:freebsd-hackers+subscribe@freebsd.org> List-Unsubscribe: <mailto:freebsd-hackers+unsubscribe@freebsd.org> Sender: owner-freebsd-hackers@FreeBSD.org MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=leidinger.net; s=outgoing-alex; t=1725707025; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=moWVi0bvneR2LqpFMppvgNedJeqXiuLKA51o3QNaVNc=; b=oxAjBvnIVW9OgU8dF/r3xHUAB71w++7GHcsbmvtnEHH8YHJUtvk9W6S5KrefL8Kkvm44zm B6I1sSwzNsuKXzpCgwaKO5VwQ5tZVaWsa1BG7c+5PQMYTT34MV3wx1Z6oiQQwYO1ukPrRq GfQLEsh+rjHK1wpb/aA5ACax0fh1k/PYpHf4J1VxWKmeGE3Pd9jo/nVIPXKD26ry5xrV5T V7ZeZVsSlsQU0HVN7JzO49tX7S6Sa5rnRt5Sh89oSwthzq9oLNttTXkZiDqg8u9TLc3Gmc xjtNraRXU/GdEem9vmIrxIMxk3L/81OP2dyZJH1l46hyaHqDzI8Nqn/M4exB7A== 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) In-Reply-To: <CAOtMX2j=EA5XLQ6jG3_XRyLd7QPj4j-nKKoCMdiYA7QoMNmQZg@mail.gmail.com> References: <CAOtMX2iCNX5OkdeghnbmcMrO0UYWwm4zfxFSZGznOznu+mh5rA@mail.gmail.com> <7d1a0ae5-b047-4b2b-894e-615af0a5093e@digitaldaemon.com> <86y1453j1k.fsf@peasant.bootbsd.com> <CAOtMX2j=EA5XLQ6jG3_XRyLd7QPj4j-nKKoCMdiYA7QoMNmQZg@mail.gmail.com> Message-ID: <2e88429c28993e32ccd915ec9f4f884e@Leidinger.net> Organization: No organization, this is a private message. Content-Type: multipart/signed; protocol="application/pgp-signature"; boundary="=_e021ac64dfc6524111fe34ed52e19b54"; micalg=pgp-sha256 X-Spamd-Bar: ----- X-Spamd-Result: default: False [-5.97 / 15.00]; SIGNED_PGP(-2.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_SHORT(-0.87)[-0.866]; DMARC_POLICY_ALLOW(-0.50)[leidinger.net,quarantine]; R_SPF_ALLOW(-0.20)[+mx]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; R_DKIM_ALLOW(-0.20)[leidinger.net:s=outgoing-alex]; ASN(0.00)[asn:34240, ipnet:89.238.64.0/18, country:DE]; HAS_ORG_HEADER(0.00)[]; DKIM_TRACE(0.00)[leidinger.net:+]; TO_DN_SOME(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; MISSING_XM_UA(0.00)[]; ARC_NA(0.00)[]; RCVD_COUNT_ZERO(0.00)[0]; MID_RHS_MATCH_FROM(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; FROM_EQ_ENVFROM(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; TO_MATCH_ENVRCPT_SOME(0.00)[]; HAS_ATTACHMENT(0.00)[] X-Rspamd-Queue-Id: 4X19G16xdTz4fWy 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--