-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathreport-alias.txt
89 lines (50 loc) · 1.54 KB
/
report-alias.txt
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
-----
Proprietary Tool Suite
(Nothing to report)
-----
$ scan-build clang alias.c
No bugs found.
-----
$ cppcheck alias.c
(Nothing to report)
-----
Splint 3.1.2 --- 03 May 2009
alias.c:26:9: Function main declared to return SINT_32, should return int
The function main does not match the expected type. (Use -maintype to inhibit
warning)
Finished checking --- 1 code warning
-----
$ flawfinder alias.c
FINAL RESULTS:
ANALYSIS SUMMARY:
No hits found.
-----
$ flint++ alias.c
===============================================================================
File alias.c:
Errors: 0
Warnings: 0
Advice: 2
===============================================================================
Line 19: Advice
Prefer `nullptr' to `NULL' in new C++ code.
Unlike `NULL', `nullptr' can't accidentally be used in arithmetic or as an integer. See http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2431.pdf for details.
Line 41: Advice
Prefer `nullptr' to `NULL' in new C++ code.
Unlike `NULL', `nullptr' can't accidentally be used in arithmetic or as an integer. See http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2431.pdf for details.
===============================================================================
Lint Summary: 1 files
Errors: 0
Warnings: 0
Advice: 2
===============================================================================
-----
$ frama-c alias.c
(Nothing to report)
-----
$ vera++ alias.c
(Nothing to report)
-----
$ oclint alias.c
OCLint Report
Summary: TotalFiles=1 FilesWithViolations=0 P1=0 P2=0 P3=0