Issues

• Fail to configure

  splintchecker/splint#46 · Filter by author DannyBoyKN opened on Jun 26, 2026

• Fails to build with gcc15/C23

  splintchecker/splint#41 · Filter by author heirecka opened on May 4, 2025
  5

• configure.ac: issue on configure.ac

  splintchecker/splint#39 · Filter by author vtorri opened on Nov 27, 2024

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

  splintchecker/splint#35 · Filter by author crisbon opened on May 19, 2023

• splint failed with double free

  splintchecker/splint#34 · Filter by author wlcrack opened on Aug 18, 2022

• Missing parameter name leads to endless loop

  splintchecker/splint#33 · Filter by author JoJoDeveloping opened on Jun 3, 2022

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

  splintchecker/splint#32 · Filter by author cooljeanius opened on May 27, 2022
  3

• lcllib.c:86: possible missing comma ?

  splintchecker/splint#31 · Filter by author dcb314 opened on Apr 11, 2022

• No ability to configure or make / make errors

  splintchecker/splint#24 · Filter by author zeshinsei opened on Feb 20, 2021
  6

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

  splintchecker/splint#22 · Filter by author christianhujer opened on Dec 26, 2020

• Empty field in a struct causes parse error.

  splintchecker/splint#21 · Filter by author john-carter opened on Oct 1, 2020

• compilation breaks after bison 3.7.x upgrade

  splintchecker/splint#20 · Filter by author priv-kweihmann opened on Aug 29, 2020
  1

• Enhancement: Support for C99 syntax

  splintchecker/splint#12 · Filter by author mcandre opened on Jan 11, 2019
  6

• splint package does not build reproducibly

  splintchecker/splint#8 · Filter by author bmwiedemann opened on Aug 11, 2017
  2

• Allow declaring variables in the middle of a block.

  splintchecker/splint#7 · Filter by author orenbenkiki opened on May 30, 2017
  2

• CSV output does not escape quotes

  splintchecker/splint#6 · Filter by author davidmalcolm opened on May 26, 2017
  2