Projects / Splint / Releases

All releases of Splint

  •  02 Jun 2003 09:10
Avatar

    Release Notes: Numerous enhancements were made, including improved accuracy of the bounds checking code, HTML and CSV output, and support for numabstract types. Numerous bugfixes and house-keeping updates were also made. Additional security checks were introduced, including the addition of messagestream, warningstream, and errorstream control flags, and support for +longint and +shortint flags. The type checking was also changed accordingly.

    •  28 Mar 2003 03:07
    Avatar

      Release Notes: This release adds support for detection of security vulnerabilities (including buffer overflows) and extensible checks and annotations, support for ISO C99, and bugfixes.

      •  25 May 2000 22:46
      Avatar

        Release Notes: Bug fixes and minor enhancements.

        Screenshot

        Project Spotlight

        episoder

        A tool to tell you about new episodes of your favourite TV shows.

        Screenshot

        Project Spotlight

        BalanceNG

        A modern software IP load balancer.