On 2/15/24 11:19, Stephen Smoogen wrote:
On Thu, 15 Feb 2024 at 10:15, David Cantrell <dcantrell@xxxxxxxxxx <mailto:dcantrell@xxxxxxxxxx>> wrote:On 2/14/24 13:32, Stephen Smoogen wrote: > > > On Fri, 9 Feb 2024 at 17:17, Ian Laurie <nixuser@xxxxxxxx <mailto:nixuser@xxxxxxxx> > <mailto:nixuser@xxxxxxxx <mailto:nixuser@xxxxxxxx>>> wrote: > > On 2/10/24 05:06, Stephen Smoogen wrote: > > > > I was trying out the splint program on some code and found that it > > doesn't seem to work on any recent release due to changes in various > > header files > I tried using splint many years ago in connection with embedded > programming, and even though the GCC based embedded compiler I was using > was several major version numbers behind what was natively in Fedora, I > found splint to be hopelessly behind the times and utterly unusable. I > don't know why it is even packaged in Fedora. > > I wish I had the skills necessary to bring it up to date but I don't. > > > Me too. I saw it is FTBFS in F40 and added my data > to https://bugzilla.redhat.com/show_bug.cgi?id=2261709 <https://bugzilla.redhat.com/show_bug.cgi?id=2261709> > <https://bugzilla.redhat.com/show_bug.cgi?id=2261709 <https://bugzilla.redhat.com/show_bug.cgi?id=2261709>> I got it building and posted a PR: https://src.fedoraproject.org/rpms/splint/pull-request/1 <https://src.fedoraproject.org/rpms/splint/pull-request/1> The upstream project went dormant in 2010, but there are some other semi-active forks. I don't think that really matters. The program itself could be useful for research and just as another tool in the toolbox for development. Does it "work?" however. ``` [ssmoogen@toolbox phytool (fix_asprintf)]$ splint +posixlib phytool.c Splint 3.1.2 --- 22 Jul 2023 /usr/include/asm-generic/int-ll64.h:20:24: Parse Error: Suspect missing struct or union keyword: __signed__ : int. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue. ```Trying different flags, just got it to find even more 'parseerrors' on more and more layers of header files. I could not find any combination of flags which didn't result in the program not working with how our headers are done in post Fedora 38 (my oldest system).
It depends on what you mean by "work". It's definitely clear there is a lot of syntax it does not understand.
There is at least one fork I found on github that has continued work on splint, but its most recent commit is from 3 years ago and it has open issues like "support C99 syntax".
splint's days may be over. -- David Cantrell <dcantrell@xxxxxxxxxx> Red Hat, Inc. | Boston, MA | EST5EDT -- _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
