FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
cppcheck/lib/check.cpp at main · codingman/cppcheck · GitHub
codingman
/
cppcheck
Public
forked from
cppcheck-opensource/cppcheck
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
cppcheck
/
lib
/
check.cpp
Copy path
More file actions
More file actions
Latest commit
History
History
History
113 lines (99 loc) · 3.94 KB
Breadcrumbs
cppcheck
/
lib
/
check.cpp
Copy path
File metadata and controls
113 lines (99 loc) · 3.94 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
/*
* Cppcheck - A tool for static C/C++ code analysis
* Copyright (C) 2007-2021 Cppcheck team.
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
//
---------------------------------------------------------------------------
#
include
"
check.h
"
#
include
"
errorlogger.h
"
#
include
"
settings.h
"
#
include
"
tokenize.h
"
#
include
<
cctype
>
#
include
<
iostream
>
//
---------------------------------------------------------------------------
Check::Check
(
const
std::string &aname)
: mTokenizer(
nullptr
), mSettings(
nullptr
), mErrorLogger(
nullptr
), mName(aname)
{
for
(std::list<Check*>::iterator i =
instances
().
begin
(); i !=
instances
().
end
(); ++i) {
if
((*i)->
name
() > aname) {
instances
().
insert
(i,
this
);
return
;
}
}
instances
().
push_back
(
this
);
}
void
Check::reportError
(
const
ErrorMessage &errmsg)
{
std::cout << errmsg.
toXML
() << std::endl;
}
void
Check::reportError
(
const
std::list<
const
Token *> &callstack, Severity::SeverityType severity,
const
std::string &id,
const
std::string &msg,
const
CWE
&cwe, Certainty::CertaintyLevel certainty)
{
const
ErrorMessage
errmsg
(callstack,
mTokenizer
? &
mTokenizer
->
list
:
nullptr
, severity, id, msg, cwe, certainty,
mSettings
?
mSettings
->
bugHunting
:
false
);
if
(
mErrorLogger
)
mErrorLogger
->
reportErr
(errmsg);
else
reportError
(errmsg);
}
void
Check::reportError
(
const
ErrorPath &errorPath, Severity::SeverityType severity,
const
char
id[],
const
std::string &msg,
const
CWE
&cwe, Certainty::CertaintyLevel certainty)
{
const
ErrorMessage
errmsg
(errorPath,
mTokenizer
? &
mTokenizer
->
list
:
nullptr
, severity, id, msg, cwe, certainty,
mSettings
?
mSettings
->
bugHunting
:
false
);
if
(
mErrorLogger
)
mErrorLogger
->
reportErr
(errmsg);
else
reportError
(errmsg);
}
bool
Check::wrongData
(
const
Token *tok,
const
char
*str)
{
if
(
mSettings
->
daca
)
reportError
(tok, Severity::debug,
"
DacaWrongData
"
,
"
Wrong data detected by condition
"
+
std::string
(str));
return
true
;
}
std::list<Check *> &
Check::instances
()
{
#
ifdef
__SVR4
//
Under Solaris, destructors are called in wrong order which causes a segmentation fault.
//
This fix ensures pointer remains valid and reachable until program terminates.
static
std::list<Check *> *_instances=
new
std::list<Check *>;
return
*_instances;
#
else
static
std::list<Check *> _instances;
return
_instances;
#
endif
}
std::string
Check::getMessageId
(
const
ValueFlow::Value &value,
const
char
id[])
{
if
(value.
condition
!=
nullptr
)
return
id +
std::string
(
"
Cond
"
);
if
(value.
safe
)
return
std::string
(
"
safe
"
) + (
char
)
std::toupper
(id[
0
]) + (id +
1
);
return
id;
}
ErrorPath
Check::getErrorPath
(
const
Token* errtok,
const
ValueFlow::Value* value,
const
std::string& bug)
const
{
ErrorPath errorPath;
if
(!value) {
errorPath.
emplace_back
(errtok, bug);
}
else
if
(
mSettings
->
verbose
||
mSettings
->
xml
|| !
mSettings
->
templateLocation
.
empty
()) {
errorPath = value->
errorPath
;
errorPath.
emplace_back
(errtok, bug);
}
else
{
if
(value->
condition
)
errorPath.
emplace_back
(value->
condition
,
"
condition '
"
+ value->
condition
->
expressionString
() +
"
'
"
);
//
else if (!value->isKnown() || value->defaultArg)
//
errorPath = value->callstack;
errorPath.
emplace_back
(errtok, bug);
}
return
errorPath;
}
Back
|
FazBrowse Home
|
New Git URL