/usr/share/splint/imports/assert.lcs is in splint-data 3.1.2.dfsg1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 | %PASSED Output from LCLint 2.0
%LCLimports
%LCLSortTable
%LCLsort bool immutable nil nil
%LCLsort Bool synonym bool nil
%LCLsort int primitive nil nil
%LCLsort char primitive nil nil
%LCLsort void primitive nil nil
%LCLsort _char_Obj obj char nil
%LCLsort __char_Obj_Ptr ptr _char_Obj nil
%LCLsort __char_Obj_Arr arr _char_Obj nil
%LCLsort _char_Vec vec char __char_Obj_Arr
%LCLsort float primitive nil nil
%LCLsort double primitive nil nil
%LCLSortTableEnd
%LCLSymbolTable
%LCLop mod :int, int -> int
%LCLop min :int, int -> int
%LCLop max :int, int -> int
%LCLop 0 : -> int
%LCLop 0 : -> double
%LCLop 1 : -> int
%LCLop 1 : -> double
%LCLop if __ then __ else __ :bool, bool, bool -> bool
%LCLop if __ then __ else __ :bool, int, int -> int
%LCLop if __ then __ else __ :bool, double, double -> double
%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
%LCLop if __ then __ else __ :bool, char, char -> char
%LCLop __ < __ :int, int -> bool
%LCLop __ < __ :double, double -> bool
%LCLop empty : -> _char_Vec
%LCLop __ > __ :int, int -> bool
%LCLop __ > __ :double, double -> bool
%LCLop count :char, _char_Vec -> int
%LCLop head :_char_Vec -> char
%LCLop __ \inv :double -> double
%LCLop init :_char_Vec -> _char_Vec
%LCLop isEmpty :_char_Vec -> bool
%LCLop last :_char_Vec -> char
%LCLop len :_char_Vec -> int
%LCLop __ \implies __ :bool, bool -> bool
%LCLop prefix :_char_Vec, int -> _char_Vec
%LCLop __ / __ :double, double -> double
%LCLop removePrefix :_char_Vec, int -> _char_Vec
%LCLop substring :_char_Vec, int, int -> _char_Vec
%LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
%LCLop tail :_char_Vec -> _char_Vec
%LCLop __ \in __ :char, _char_Vec -> bool
%LCLop nullTerminated :_char_Vec -> bool
%LCLop throughNull :_char_Vec -> _char_Vec
%LCLop sameStr :_char_Vec, _char_Vec -> bool
%LCLop lenStr :_char_Vec -> int
%LCLop times10plus :int, int -> int
%LCLop plus1 :int -> int
%LCLop 2 : -> int
%LCLop 3 : -> int
%LCLop 4 : -> int
%LCLop 5 : -> int
%LCLop 6 : -> int
%LCLop 7 : -> int
%LCLop 8 : -> int
%LCLop 9 : -> int
%LCLop __ * __ :int, int -> int
%LCLop __ * __ :double, double -> double
%LCLop true : -> bool
%LCLop false : -> bool
%LCLop __ \and __ :bool, bool -> bool
%LCLop __ \or __ :bool, bool -> bool
%LCLop __ \eq __ :bool, bool -> bool
%LCLop __ \eq __ :int, int -> bool
%LCLop __ \eq __ :double, double -> bool
%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
%LCLop __ \eq __ :char, char -> bool
%LCLop \not __ :bool -> bool
%LCLop __ \neq __ :bool, bool -> bool
%LCLop __ \neq __ :int, int -> bool
%LCLop __ \neq __ :double, double -> bool
%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
%LCLop __ \neq __ :char, char -> bool
%LCLop { __ } :char -> _char_Vec
%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
%LCLop __ [__] :_char_Vec, int -> char
%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
%LCLop __ |- __ :_char_Vec, char -> _char_Vec
%LCLop __ -| __ :char, _char_Vec -> _char_Vec
%LCLop __ \leq __ :int, int -> bool
%LCLop __ \leq __ :double, double -> bool
%LCLop __ \geq __ :int, int -> bool
%LCLop __ \geq __ :double, double -> bool
%LCLop null : -> char
%LCLop NIL : -> __char_Obj_Ptr
%LCLop - __ :int -> int
%LCLop - __ :double -> double
%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
%LCLop __ + __ :int, int -> int
%LCLop __ + __ :double, double -> double
%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
%LCLop __ - __ :int, int -> int
%LCLop __ - __ :double, double -> double
%LCLop sizeof :bool -> int
%LCLop sizeof :int -> int
%LCLop sizeof :char -> int
%LCLop sizeof :void -> int
%LCLop sizeof :float -> int
%LCLop sizeof :double -> int
%LCLop isSub :_char_Vec, int -> bool
%LCLop isSub :__char_Obj_Arr, int -> bool
%LCLop succ :int -> int
%LCLop pred :int -> int
%LCLop abs :int -> int
%LCLop abs :double -> double
%LCLop div :int, int -> int
%LCLtype float float exposed
%LCLtype bool bool immutable
%LCLconst FALSE bool
%LCLconst TRUE bool
%LCLfcn assert : -> void
%LCLfcnGlobals
%LCLSymbolTableEnd
|