#864812 Support for splint check

Package:
check-all-the-things
Source:
check-all-the-things
Submitter:
Philippe Thierry
Date:
2025-02-08 11:54:03 UTC
Severity:
wishlist
Tags:
#864812#5
Date:
2017-06-15 09:15:00 UTC
From:
To:
Package: check-all-the-things
Version: 2017.05.20
Severity: wishlist

As discussed with Pabs, Add support for splint static analysis tool for
C source files check.
The patch (debdiff) is in attachement of this mail.

splint call has been tested on sid.

Pabs: you talked of updated the README file. I didn't see what or where
to upload its content, sorry.

Cheers,

#864812#10
Date:
2017-06-15 11:53:19 UTC
From:
To:
Control: tags -1 + pending

Merged locally, made some slight whitespace adjustments
because of this message in the splint manual page:


For future reference, `git format-patch` output would be better.
working on the patch to add splint support.

BTW: splint is orphaned in Debian and upstream looks very inactive,
you may want to adopt it in Debian and try to improve the situation.

#864812#17
Date:
2017-06-15 12:26:27 UTC
From:
To:
Ok.

Using +quiet. Should make it stop printing version/message.
Ok. I hesitated before the two formats. I thought debdiff was the
required one.
Ok, sorry i misundestood. the consequence is i read it entirely :)

Well, even if i appreciate C quality and associated tools, i have to
check if i'm capable enough to maintain it. Not sure.
I haven't written flex/bison code since a long time ago and i don't
think i'm still able, for example, to update (flex?/)bison file to
support C11 :-/

#864812#22
Date:
2017-06-15 12:35:13 UTC
From:
To:
Added and pushed.

https://anonscm.debian.org/git/collab-maint/check-all-the-things.git/commit/?id=82a8f29c1534edf96e9411e694733ef35e71af7f

debdiff doesn't include git commit meta-data like author or message.

Great.

Fair enough. Patches welcome for the other C TODO items too:

https://anonscm.debian.org/git/collab-maint/check-all-the-things.git/tree/data/c.ini#n156

If you know of more tools, extra TODO items would be welcome.

#864812#33
Date:
2025-02-06 07:06:40 UTC
From:
To:
Hi Paul,

in this bug report you are refering to some commit which can't be
accessed any more since the repository inside the Alioth archive got
somehow lost and I can only find check-all-the-things-old[1].

Since check-all-the-things came up as candidate for the Bug of the Day I
had a look into it.  I even created a repository on Salsa[2] by using a
`gbp dscs` import.  Given that you seem to have some more appropriate
repository I will stop working on it and would like you to force-push
whatever you might be able to restore.

Please let me know if I could be of further help and thank you for
your QA work in Debian

    Andreas.


[1] https://alioth-archive.debian.org/git/collab-maint/check-all-the-things-old.git.tar.xz
[2] https://salsa.debian.org/debian/check-all-the-things/

#864812#38
Date:
2025-02-08 11:30:38 UTC
From:
To:
Andreas Tille <andreas@an3as.eu> wrote on Date: Thu, 6 Feb 2025 08:06:40
+0100:
now maintained at https://github.com/collab-qa/check-all-the-things ?

HTH, Bye,

Joost

PS: I am not subscribed, please Cc if you want to keep me in the loop.

#864812#43
Date:
2025-02-08 11:51:41 UTC
From:
To:
Hi Joost,

Am Sat, Feb 08, 2025 at 12:30:38PM +0100 schrieb Joost van Baal-Ilić:

Thank you for the hint which was also on Matrix and I've migrated the
repository to Salsa.  Meanwhile I informed Paul in a Github issue about
this.

Kind regards
    Andreas.