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
122
123
124
125
126
127
128
129
130
131
132
133
|
###############################################################################
# Copyright (c) 2010, 2011 Alena Laskavaia and others.
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
#
# Contributors:
# Alena Laskavaia - initial API and implementation
###############################################################################
#Properties file for org.eclipse.cdt.codan.checkers
Bundle-Vendor = Eclipse CDT
Bundle-Name = Codan Checkers
checker.name.AssignmentInCondition = Assignment in condition
problem.description.AssignmentInCondition = Finds statements like 'if (a=b)'
problem.messagePattern.AssignmentInCondition = Possible assignment in condition ''{0}''
problem.name.AssignmentInCondition = Assignment in condition
checker.name.StatementHasNoEffect = StatementHasNoEffectChecker
problem.description.StatementHasNoEffect = Finds statements like 'a;' or '-a;' or 'a-b;' which do no seems to have any side effect therefore suspicious
problem.messagePattern.StatementHasNoEffect = Statement has no effect ''{0}''
problem.name.StatementHasNoEffect = Statement has no effect
checker.name.NonVirtualDestructor = NonVirtualDestructorChecker
problem.description.NonVirtualDestructor = If destructor is not declared virtual - destructor of derived class would not be called.
problem.messagePattern.NonVirtualDestructor = Class ''{0}'' has virtual method ''{1}'' but non-virtual destructor
problem.name.NonVirtualDestructor = Class has a virtual method and non-virtual destructor
checker.name.CatchByReference = CatchByReferenceChecker
problem.description.CatchByReference = Catching by reference is recommended by C++ experts, "Throw by value, catch by reference". For one thing, this avoids copying and potentially slicing the exception.
problem.messagePattern.CatchByReference = Catching by reference is recommended ''{0}''
problem.name.CatchByReference = Catching by reference is recommended
checker.name.SuggestedParenthesis = SuggestedParenthesisChecker
problem.description.SuggestedParenthesis = This checker finds problems related to either lack of understanding precedence of operators or misspelling of operators in expression. For example (!a<10) or (a && b & c)
problem.messagePattern.SuggestedParenthesis = Suggested parenthesis around expression ''{0}''
problem.name.SuggestedParenthesis = Suggested parenthesis around expression
checker.name.NamingConventionFunction = NamingConventionFunctionChecker
problem.description.NamingConventionFunction = Finds and reports functions name of which does not match pattern parameter
problem.messagePattern.NamingConventionFunction = Bad function name "{0}" (pattern /{1}/)
problem.name.NamingConventionFunction = Name convention for function
checker.name.ReturnChecker = Return inconsistencies
problem.description.NoReturnValue = Return statement has no return value, if somebody would use return value from this function it would be random
problem.messagePattern.NoReturnValue = Return without value, in function returning non-void
problem.name.NoReturnValue = No return value
problem.description.UnusedReturnValue = Return statement has a value, but function is declared to return void. Did you mean to declare function with return value?
problem.messagePattern.UnusedReturnValue = Return has value, in function returning void
problem.name.UnusedReturnValue = Unused return value
problem.description.NoReturn = No return statement in a function which is declared to return value
problem.messagePattern.NoReturn = No return, in function returning non-void
problem.name.NoReturn = No return
checker.name.FormatString = Format String
problem.description.FormatString = Finds statements lead to format string vulnerability (e.g. 'char[5] str; scanf("%10s", str);'
problem.messagePattern.FormatString = Format string vulnerability in ''{0}''
problem.name.FormatString = Format String Vulnerability
checker.name.AssignmentToItself = Assignment to itself
problem.messagePattern.AssignmentToItself = Assignment to itself ''{0}''
problem.name.AssignmentToItself = Assignment to itself
problem.description.AssignmentToItself = Finds expression where left and right sides of the assignment are the same, i.e. 'var = var'
checker.name.ReturnStyle = Return with parenthesis
problem.name.ReturnStyle = Return with parenthesis
problem.messagePattern.ReturnStyle = Return statement has invalid style. Return value should be surrounded by parenthesis
problem.description.ReturnStyle = Checks for return statements that do no return the value in parenthesis. For example 'return 0;'
checker.name.SuspiciousSemicolon = Suspicious semicolon
problem.name.SuspiciousSemicolon = Suspicious semicolon
problem.messagePattern.SuspiciousSemicolon = Suspicious semicolon
problem.description.SuspiciousSemicolon = A semicolon is used as a null statement in a condition. For example, 'if (expression);'
checker.name.CaseBreak = No break at end of case
problem.description.CaseBreak = Looks for "case" statements which end without a "break" statement
problem.messagePattern.CaseBreak = No break at the end of case
binding.checker.name = Problem Binding Checker
problem.description.G = Name resolution problem found by the indexer
problem.messagePattern.G = Symbol ''{0}'' could not be resolved
problem.name.G = Symbol is not resolved
problem.description.0 = Name resolution problem found by the indexer
problem.messagePattern.0 = Invalid overload of ''{0}''
problem.name.0 = Invalid overload
problem.description.1 = Name resolution problem found by the indexer
problem.messagePattern.1 = ''{0}'' is ambiguous ''{1}''
problem.name.1 = Ambiguous problem
problem.description.2 = Name resolution problem found by the indexer
problem.messagePattern.2 = Circular inheritance encountered in ''{0}''
problem.name.2 = Circular inheritance
problem.description.3 = Name resolution problem found by the indexer
problem.messagePattern.3 = Invalid redeclaration of ''{0}''
problem.name.3 = Invalid redeclaration
problem.description.4 = Name resolution problem found by the indexer
problem.messagePattern.4 = Invalid redefinition of ''{0}''
problem.name.4 = Invalid redefinition
problem.description.5 = Name resolution problem found by the indexer
problem.messagePattern.5 = Member declaration not found
problem.name.5 = Member declaration not found
problem.description.6 = Name resolution problem found by the indexer
problem.messagePattern.6 = Label ''{0}'' not found
problem.name.6 = Label statement not found
problem.description.7 = Name resolution problem found by the indexer
problem.messagePattern.7 = Invalid template arguments
problem.name.7 = Invalid template argument
problem.description.8 = Name resolution problem found by the indexer
problem.messagePattern.8 = Type ''{0}'' could not be resolved
problem.name.8 = Type cannot be resolved
problem.description.9 = Name resolution problem found by the indexer
problem.messagePattern.9 = Function ''{0}'' could not be resolved
problem.name.9 = Function cannot be resolved
problem.description.10 = Name resolution problem found by the indexer
problem.messagePattern.10 = Invalid arguments ''{0}''
problem.name.10 = Invalid arguments
problem.description.11 = Name resolution problem found by the indexer
problem.messagePattern.11 = Method ''{0}'' could not be resolved
problem.name.11 = Method cannot be resolved
problem.description.12 = Name resolution problem found by the indexer
problem.messagePattern.12 = Field ''{0}'' could not be resolved
problem.name.12 = Field cannot be resolved
checker.name.AbstractClassCreation = Abstract class cannot be instantiated
problem.name.AbstractClassCreation = Abstract class cannot be instantiated
problem.messagePattern.AbstractClassCreation = The type ''{0}'' must implement the inherited pure virtual method ''{1}''
problem.description.AbstractClassCreation = All inherited pure virtual methods must be implemented to allow instantiation of the class
checker.name.ClassMembersInitialization = Class members should be properly initialized
problem.name.ClassMembersInitialization = Class members should be properly initialized
problem.messagePattern.ClassMembersInitialization = Member ''{0}'' was not initialized in this constructor
problem.description.ClassMembersInitialization = Class members should be properly initialized to avoid random behavior
checker.name.UnusedSymbolInFileScopeChecker = Unused symbols and declarations in file scope
problem.description.UnusedVariableDeclarationProblem = Finds unused global variable declarations in file scope
problem.messagePattern.UnusedVariableDeclarationProblem = Unused declaration of variable ''{0}''
problem.name.UnusedVariableDeclarationProblem = Unused variable declaration in file scope
problem.description.UnusedFunctionDeclarationProblem = Finds unused function declarations
problem.messagePattern.UnusedFunctionDeclarationProblem = Unused declaration of function ''{0}''
problem.name.UnusedFunctionDeclarationProblem = Unused function declaration
problem.description.UnusedStaticFunctionProblem = Finds static functions which cannot be possible used not being referenced inside the file
problem.messagePattern.UnusedStaticFunctionProblem = Unused static function ''{0}''
problem.name.UnusedStaticFunctionProblem = Unused static function
checker.name.DecltypeAutoChecker = Invalid 'decltype(auto)' specifier checker
problem.name.DecltypeAutoProblem = Invalid 'decltype(auto)' specifier
problem.messagePattern.DecltypeAutoProblem = Combining 'decltype(auto)' with other type specifiers is not allowed
problem.description.DecltypeAutoProblem = This rule will flag 'decltype(auto)' if combined with other type specifiers
|
