Search results

Fails to build with gcc15/C23

Status: Open.

#41 In splintchecker/splint;

· heirecka opened on May 4, 2025

configure.ac: issue on configure.ac

Status: Open.

#39 In splintchecker/splint;

· vtorri opened on Nov 27, 2024

unable to /*@modifies @*/ function prototype without parameter name

Status: Open.

#35 In splintchecker/splint;

· crisbon opened on May 19, 2023

splint failed with double free

Status: Open.

#34 In splintchecker/splint;

· wlcrack opened on Aug 18, 2022

Missing parameter name leads to endless loop

Status: Open.

#33 In splintchecker/splint;

· JoJoDeveloping opened on Jun 3, 2022

5 internal splint bugs found when running splint on my fork of gdb

Status: Open.

#32 In splintchecker/splint;

· cooljeanius opened on May 27, 2022

lcllib.c:86: possible missing comma ?

Status: Open.

#31 In splintchecker/splint;

· dcb314 opened on Apr 11, 2022

No ability to configure or make / make errors

Status: Open.

#24 In splintchecker/splint;

· zeshinsei opened on Feb 20, 2021

False positive "Path with no return in function declared to return int" on main()

Status: Open.

#22 In splintchecker/splint;

· christianhujer opened on Dec 26, 2020

Empty field in a struct causes parse error.

Status: Open.

#21 In splintchecker/splint;

· john-carter opened on Oct 1, 2020

compilation breaks after bison 3.7.x upgrade

Status: Open.

#20 In splintchecker/splint;

· priv-kweihmann opened on Aug 29, 2020

Enhancement: Support for C99 syntax

Status: Open.

#12 In splintchecker/splint;

· mcandre opened on Jan 11, 2019