ProShell v2.0
Dashboard
Server Info
Server: 127.0.0.80
PHP: 8.3.31
home
clients
08ce2314c3c7e396ea36e41d2a860c5e
sites
filmerletravail.org
wp-content
mu-plugins
2026-08-23 15:41:28
Editing: splint.vim
Cancel
Save Changes
" Vim compiler file " Compiler: splint/lclint (C source code checker) " Maintainer: Ralf Wildenhues <Ralf.Wildenhues@gmx.de> " Splint Home: http://www.splint.org/ " Last Change: 2019 Jul 23 " $Revision: 1.3 $ if exists("current_compiler") finish endif let current_compiler = "splint" if exists(":CompilerSet") != 2 " older Vim always used :setlocal command -nargs=* CompilerSet setlocal <args> endif let s:cpo_save = &cpo set cpo-=C " adapt this if you want to check more than one file at a time. " put command line options in .splintrc or ~/.splintrc CompilerSet makeprg=splint\ %:S " Note: when using the new array bounds checking flags: Each warning " usually has several lines and several references to source code mostly " within one or two lines (see sample warning below). The easiest way " not to mess up file name detection and not to jump to all positions is " to add something like " -linelen 500 +boundscompacterrormessages " to your .splintrc and 'set cmdheight=4' or more. " TODO: reliable way to distinguish file names and constraints. " " sample warning (generic): " "foo.c:1006:12: Clauses exit with var referencing local storage in one " case, fresh storage in other case " foo.c:1003:2: Fresh storage var allocated " " sample warning (bounds checking): " "bounds.c: (in function updateEnv) "bounds.c:10:5: Possible out-of-bounds store: " strcpy(str, tmp) " Unable to resolve constraint: " requires maxSet(str @ bounds.c:10:13) >= maxRead(getenv("MYENV") @ " bounds.c:6:9) " needed to satisfy precondition: " requires maxSet(str @ bounds.c:10:13) >= maxRead(tmp @ bounds.c:10:18) " derived from strcpy precondition: requires maxSet(<parameter 1>) >= " maxRead(<parameter 2>) " A memory write may write to an address beyond the allocated buffer. (Use " -boundswrite to inhibit warning) CompilerSet errorformat=%OLCLint*m, \%OSplint*m, \%f(%l\\,%c):\ %m, \%*[\ ]%f:%l:%c:\ %m, \%*[\ ]%f:%l:\ %m, \%*[^\"]\"%f\"%*\\D%l:\ %m, \\"%f\"%*\\D%l:\ %m, \%A%f:%l:%c:\ %m, \%A%f:%l:%m, \\"%f\"\\, \\ line\ %l%*\\D%c%*[^\ ]\ %m, \%D%*\\a[%*\\d]:\ Entering\ directory\ `%f', \%X%*\\a[%*\\d]:\ Leaving\ directory\ `%f', \%DMaking\ %*\\a\ in\ %f, \%C\ %#%m let &cpo = s:cpo_save unlet s:cpo_save
Upload Files
Cancel
Upload
Create New
Cancel
Create
Change Permissions
Cancel
Save
Change Date
Cancel
Save
Rename Item
Cancel
Save
Confirm Delete
Are you sure you want to delete the selected items?
Cancel
Delete