]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9a2876) | patch
Added a patch so that buffer overflow checking is not performed if errors would surpr...
authordrl7x <drl7x>
Fri, 6 Jul 2001 13:54:34 +0000 (13:54 +0000)
committerdrl7x <drl7x>
Fri, 6 Jul 2001 13:54:34 +0000 (13:54 +0000)
commit4c02d8be0c3e6e2b30b3848f44e734351d260460
tree742c8348b58eeeded6006147740f4a32af6d152ftree
parentd9a287624434f456bc3b1d8d8edf602ad5945cf9commit | diff
Added a patch so that buffer overflow checking is not performed if errors would surpressed.

Added debugfcnconstraint flag to make lclint do checking anyway.
src/Headers/herald.h diff | blob | blame | history
src/Headers/herald.last diff | blob | blame | history
src/Headers/local_constants.h diff | blob | blame | history
src/Headers/local_constants.last diff | blob | blame | history
src/constraintGeneration.c diff | blob | blame | history
src/exprChecks.c diff | blob | blame | history
src/flags.def diff | blob | blame | history
git-cvsimport mirror of splint
This page took 1.128818 seconds and 5 git commands to generate.