descriptionPatched version for SPLint (Secure Programming Lint)
last changeMon, 27 Mar 2017 11:00:44 +0000 (27 11:00 +0000)
content tags
A collection of patches for SPLint, a project that seems to have died -- development at its official SourceForge page seems to have stopped somewhere at the end of 2010. The officially sponsored continuation as GitHub project also died out around 2012. The original code, as these patches also, are under GNU Public License version 2 (or any later version).
2017-03-27 Mihail GrozaDon't try calling lsl when file is missing.master
2017-03-27 Mihail GrozaMore refactoring of library support.
2017-03-26 Mihail GrozaRemove unused headers (for library) from repository
2017-03-26 Mihail GrozaMore refactoring and completion of library.
2017-03-26 Mihail GrozaDelete unused source file from repository.
2017-03-26 Mihail GrozaRefactoring of (mostly UNIX related) library.
2017-03-21 Mihail GrozaFix build fail.
2017-03-21 Mihail GrozaUpdate build to fix in-place builds.
2017-03-21 Mihail GrozaSplit the standard & posix specification into individua...
2017-03-17 Mihail GrozaSome file moving in repository.
2017-03-15 Mihail GrozaSome clean-up in arguments passed for self-check
2017-03-15 Mihail GrozaRemoved some useless/false comments
2017-03-15 Mihail GrozaFix self-check due to previous commit
2017-03-15 Mihail GrozaSome consistency changes to library & headers flags.
2017-03-14 Mihail GrozaFix parsing failure for self-check.
2017-03-14 Mihail GrozaAvoid implicit initialization + minor refactoring.
2 years ago master
11 years ago splint-3_1_2
16 years ago splint-3_1_1
16 years ago splint-3_1_0
16 years ago loop-anlaysis-1-0
17 years ago structDevel
17 years ago splint-3_0_1_6
17 years ago splint-3_0_1_5
17 years ago splint-3_0_1_4
17 years ago splint-3_0_1_2
17 years ago Alpha-3_0_0_19
18 years ago prewinterbreak
18 years ago oct3uglyapi
18 years ago simplyconstraintterm
18 years ago ruby-1-0
18 years ago import-1.1.1