Code Review
/
apps
/
agl-service-can-low-level.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
history
|
raw
|
HEAD
Include HVAC and meld with Toyota examples one.
[apps/agl-service-can-low-level.git]
/
libs
/
nanopb
/
tests
/
splint
/
splint.rc
1
+checks
2
+partial
3
+matchanyintegral
4
+strictlib
5
-nullassign
6
-predboolint
7
-predboolptr
8
+ptrnegate
9
-switchloopbreak
10
+ignoresigns
11
-infloopsuncon
12
-type
13
14
# splint's memory checks don't quite work without annotations
15
-mustfreeonly
16
-compmempass
17
-nullret
18
-observertrans
19
-statictrans
20
-compdestroy
21
-nullpass
22
-nullstate
23
-compdef
24
-usereleased
25
-temptrans
26
-dependenttrans
27
-kepttrans
28
-branchstate
29
-immediatetrans
30
-mustfreefresh
31
32
# These tests give false positives, compiler typically has
33
# better warnings for these.
34
-noret
35
-noeffect
36
-usedef
37