* static analysis in GCC (starting from Bismon plugin)
@ 2023-03-01 8:16 Basile Starynkevitch
0 siblings, 0 replies; only message in thread
From: Basile Starynkevitch @ 2023-03-01 8:16 UTC (permalink / raw)
To: gcc
[-- Attachment #1: Type: text/plain, Size: 742 bytes --]
Hello all
I don't have much time to actively contribute to GCC, but those
interested in static analysis with it might start (or reuse some code)
from the Bismon <https://github.com/bstarynk/bismon> plugin
(or consider also using the Frama-C <https://frama-c.com/> framework)
Cheers
PS. My pet open source project is the RefPerSys <http://refpersys.org/>
open source inference engine with some code on
https://github.com/RefPerSys/RefPerSys (if interested contact me by
email to basile@starynkevitch.net or basile.starynkevitch@cea.fr ...)
--
Basile Starynkevitch<basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/ & refpersys.org
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-03-01 8:16 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-01 8:16 static analysis in GCC (starting from Bismon plugin) Basile Starynkevitch
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).