Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Gvozdev2011-04-28 23:00:09 -0400
committerAndrew Gvozdev2011-04-28 23:00:09 -0400
commitf1daf6235aa95f02713dcbd32831f171e5b0af8c (patch)
tree91e02f16ad414135a3cb20262320cb3e06ad88e1 /codan/org.eclipse.cdt.codan.checkers
parent1c43fad405160d436c65a79bb6545f2d6e4b60b0 (diff)
downloadorg.eclipse.cdt-f1daf6235aa95f02713dcbd32831f171e5b0af8c.tar.gz
org.eclipse.cdt-f1daf6235aa95f02713dcbd32831f171e5b0af8c.tar.xz
org.eclipse.cdt-f1daf6235aa95f02713dcbd32831f171e5b0af8c.zip
bug 343429: [checker] Checker to pinpoint unused static functions in a file
Diffstat (limited to 'codan/org.eclipse.cdt.codan.checkers')
-rw-r--r--codan/org.eclipse.cdt.codan.checkers/OSGI-INF/l10n/bundle.properties12
-rw-r--r--codan/org.eclipse.cdt.codan.checkers/plugin.xml655
-rw-r--r--codan/org.eclipse.cdt.codan.checkers/src/org/eclipse/cdt/codan/internal/checkers/UnusedSymbolInFileScopeChecker.java255
3 files changed, 612 insertions, 310 deletions
diff --git a/codan/org.eclipse.cdt.codan.checkers/OSGI-INF/l10n/bundle.properties b/codan/org.eclipse.cdt.codan.checkers/OSGI-INF/l10n/bundle.properties
index f94ed6f9e7..cd01cc4b34 100644
--- a/codan/org.eclipse.cdt.codan.checkers/OSGI-INF/l10n/bundle.properties
+++ b/codan/org.eclipse.cdt.codan.checkers/OSGI-INF/l10n/bundle.properties
@@ -111,3 +111,15 @@ 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.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
+
diff --git a/codan/org.eclipse.cdt.codan.checkers/plugin.xml b/codan/org.eclipse.cdt.codan.checkers/plugin.xml
index 0d09d0c656..f1afe2bd9e 100644
--- a/codan/org.eclipse.cdt.codan.checkers/plugin.xml
+++ b/codan/org.eclipse.cdt.codan.checkers/plugin.xml
@@ -9,345 +9,380 @@
class="org.eclipse.cdt.codan.internal.checkers.AssignmentInConditionChecker"
id="org.eclipse.cdt.codan.internal.checkers.AssignmentInConditionChecker"
name="%checker.name.AssignmentInCondition">
- <problem
- defaultSeverity="Warning"
- description="%problem.description.AssignmentInCondition"
- id="org.eclipse.cdt.codan.internal.checkers.AssignmentInConditionProblem"
- messagePattern="%problem.messagePattern.AssignmentInCondition"
- name="%problem.name.AssignmentInCondition">
- </problem>
+ <problem
+ defaultSeverity="Warning"
+ description="%problem.description.AssignmentInCondition"
+ id="org.eclipse.cdt.codan.internal.checkers.AssignmentInConditionProblem"
+ messagePattern="%problem.messagePattern.AssignmentInCondition"
+ name="%problem.name.AssignmentInCondition">
+ </problem>
</checker>
- <checker
+ <checker
class="org.eclipse.cdt.codan.internal.checkers.StatementHasNoEffectChecker"
id="org.eclipse.cdt.codan.internal.checkers.StatementHasNoEffectChecker"
name="%checker.name.StatementHasNoEffect">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultSeverity="Warning"
- description="%problem.description.StatementHasNoEffect"
- id="org.eclipse.cdt.codan.internal.checkers.StatementHasNoEffectProblem"
- messagePattern="%problem.messagePattern.StatementHasNoEffect"
- name="%problem.name.StatementHasNoEffect"/>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultSeverity="Warning"
+ description="%problem.description.StatementHasNoEffect"
+ id="org.eclipse.cdt.codan.internal.checkers.StatementHasNoEffectProblem"
+ messagePattern="%problem.messagePattern.StatementHasNoEffect"
+ name="%problem.name.StatementHasNoEffect"/>
</checker>
<checker
class="org.eclipse.cdt.codan.internal.checkers.NonVirtualDestructor"
id="org.eclipse.cdt.codan.internal.checkers.NonVirtualDescructor"
name="%checker.name.NonVirtualDescructor">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultSeverity="Warning"
- description="%problem.description.NonVirtualDescructor"
- id="org.eclipse.cdt.codan.internal.checkers.NonVirtualDestructorProblem"
- messagePattern="%problem.messagePattern.NonVirtualDescructor"
- name="%problem.name.NonVirtualDescructor">
- </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultSeverity="Warning"
+ description="%problem.description.NonVirtualDescructor"
+ id="org.eclipse.cdt.codan.internal.checkers.NonVirtualDestructorProblem"
+ messagePattern="%problem.messagePattern.NonVirtualDescructor"
+ name="%problem.name.NonVirtualDescructor">
+ </problem>
</checker>
<checker
class="org.eclipse.cdt.codan.internal.checkers.CatchByReference"
id="org.eclipse.cdt.codan.internal.checkers.CatchByReference"
name="%checker.name.CatchByReference">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultSeverity="Warning"
- description="%problem.description.CatchByReference"
- id="org.eclipse.cdt.codan.internal.checkers.CatchByReference"
- name="%problem.name.CatchByReference"
- messagePattern="%problem.messagePattern.CatchByReference">
- </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultSeverity="Warning"
+ description="%problem.description.CatchByReference"
+ id="org.eclipse.cdt.codan.internal.checkers.CatchByReference"
+ name="%problem.name.CatchByReference"
+ messagePattern="%problem.messagePattern.CatchByReference">
+ </problem>
</checker>
<checker
class="org.eclipse.cdt.codan.internal.checkers.SuggestedParenthesisChecker"
id="org.eclipse.cdt.codan.internal.checkers.SuggestedParenthesisChecker"
name="%checker.name.SuggestedParenthesis">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultSeverity="Warning"
- description="%problem.description.SuggestedParenthesis"
- id="org.eclipse.cdt.codan.internal.checkers.SuggestedParenthesisProblem"
- messagePattern="%problem.messagePattern.SuggestedParenthesis"
- name="%problem.name.SuggestedParenthesis">
- </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultSeverity="Warning"
+ description="%problem.description.SuggestedParenthesis"
+ id="org.eclipse.cdt.codan.internal.checkers.SuggestedParenthesisProblem"
+ messagePattern="%problem.messagePattern.SuggestedParenthesis"
+ name="%problem.name.SuggestedParenthesis">
+ </problem>
</checker>
- <checker
+ <checker
class="org.eclipse.cdt.codan.internal.checkers.NamingConventionFunctionChecker"
id="org.eclipse.cdt.codan.internal.checkers.NamingConventionFunctionChecker"
name="%checker.name.NamingConventionFunction">
- <problem
- category="org.eclipse.cdt.codan.core.categories.CodeStyle"
- defaultEnabled="false"
- defaultSeverity="Info"
- description="%problem.description.NamingConventionFunction"
- id="org.eclipse.cdt.codan.internal.checkers.NamingConventionFunctionChecker"
- messagePattern="%problem.messagePattern.NamingConventionFunction"
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CodeStyle"
+ defaultEnabled="false"
+ defaultSeverity="Info"
+ description="%problem.description.NamingConventionFunction"
+ id="org.eclipse.cdt.codan.internal.checkers.NamingConventionFunctionChecker"
+ messagePattern="%problem.messagePattern.NamingConventionFunction"
+ multiple="true"
+ name="%problem.name.NamingConventionFunction">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.ReturnChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.ReturnChecker"
+ name="%checker.name.ReturnChecker">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.NoReturnValue"
+ id="org.eclipse.cdt.codan.checkers.noreturn"
+ messagePattern="%problem.messagePattern.NoReturnValue"
+ name="%problem.name.NoReturnValue">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.UnusedReturnValue"
+ id="org.eclipse.cdt.codan.checkers.errreturnvalue"
+ messagePattern="%problem.messagePattern.UnusedReturnValue"
+ name="%problem.name.UnusedReturnValue">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Warning"
+ description="%problem.description.NoReturn"
+ id="org.eclipse.cdt.codan.checkers.errnoreturn"
+ messagePattern="%problem.messagePattern.NoReturn"
+ name="%problem.name.NoReturn">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.ProblemBindingChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.ProblemBindingChecker"
+ name="%binding.checker.name">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.G"
+ id="org.eclipse.cdt.codan.internal.checkers.VariableResolutionProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.G"
+ name="%problem.name.G">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.0"
+ id="org.eclipse.cdt.codan.internal.checkers.OverloadProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.0"
+ name="%problem.name.0">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.1"
+ id="org.eclipse.cdt.codan.internal.checkers.AmbiguousProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.1"
+ name="%problem.name.1">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.2"
+ id="org.eclipse.cdt.codan.internal.checkers.CircularReferenceProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.2"
+ name="%problem.name.2">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.3"
+ id="org.eclipse.cdt.codan.internal.checkers.RedeclarationProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.3"
+ name="%problem.name.3">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.4"
+ id="org.eclipse.cdt.codan.internal.checkers.RedefinitionProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.4"
+ name="%problem.name.4">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.5"
+ id="org.eclipse.cdt.codan.internal.checkers.MemberDeclarationNotFoundProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.5"
+ name="%problem.name.5">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.6"
+ id="org.eclipse.cdt.codan.internal.checkers.LabelStatementNotFoundProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.6"
+ name="%problem.name.6">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.7"
+ id="org.eclipse.cdt.codan.internal.checkers.InvalidTemplateArgumentsProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.7"
+ name="%problem.name.7">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.8"
+ id="org.eclipse.cdt.codan.internal.checkers.TypeResolutionProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.8"
+ name="%problem.name.8">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.9"
+ id="org.eclipse.cdt.codan.internal.checkers.FunctionResolutionProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.9"
+ name="%problem.name.9">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.10"
+ id="org.eclipse.cdt.codan.internal.checkers.InvalidArguments"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.10"
+ name="%problem.name.10">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.11"
+ id="org.eclipse.cdt.codan.internal.checkers.MethodResolutionProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.11"
+ name="%problem.name.11">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.12"
+ id="org.eclipse.cdt.codan.internal.checkers.FieldResolutionProblem"
+ markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
+ messagePattern="%problem.messagePattern.12"
+ name="%problem.name.12">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.AssignmentToItselfChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.AssignmentToItselfChecker"
+ name="%checker.name.AssignmentToItself">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.AssignmentToItself"
+ id="org.eclipse.cdt.codan.internal.checkers.AssignmentToItselfProblem"
+ messagePattern="%problem.messagePattern.AssignmentToItself"
+ name="%problem.name.AssignmentToItself">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.ReturnStyleChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.ReturnStyle"
+ name="%checker.name.ReturnStyle">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CodeStyle"
+ defaultEnabled="false"
+ defaultSeverity="Warning"
+ description="%problem.description.ReturnStyle"
+ id="org.eclipse.cdt.codan.internal.checkers.ReturnStyleProblem"
+ messagePattern="%problem.messagePattern.ReturnStyle"
+ name="%problem.name.ReturnStyle">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.SuspiciousSemicolonChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.SuspiciousSemicolon"
+ name="%checker.name.SuspiciousSemicolon">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Warning"
+ description="%problem.description.SuspiciousSemicolon"
+ id="org.eclipse.cdt.codan.internal.checkers.SuspiciousSemicolonProblem"
+ messagePattern="%problem.messagePattern.SuspiciousSemicolon"
+ name="%problem.name.SuspiciousSemicolon">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.CaseBreakChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.CaseBreak"
+ name="%checker.name.CaseBreak">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Warning"
+ description="%problem.description.CaseBreak"
+ id="org.eclipse.cdt.codan.internal.checkers.CaseBreakProblem"
+ messagePattern="%problem.messagePattern.CaseBreak"
+ name="%checker.name.CaseBreak">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.fs.ScanfFormatStringSecurityChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.ScanfFormatStringSecurityChecker"
+ name="%checker.name.FormatString">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.Security"
+ defaultEnabled="false"
+ defaultSeverity="Warning"
+ description="%problem.description.FormatString"
+ id="org.eclipse.cdt.codan.internal.checkers.ScanfFormatStringSecurityProblem"
+ messagePattern="%problem.messagePattern.FormatString"
+ name="%problem.name.FormatString">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.AbstractClassInstantiationChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.AbstractClassCreation"
+ name="%checker.name.AbstractClassCreation">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
+ defaultEnabled="true"
+ defaultSeverity="Error"
+ description="%problem.description.AbstractClassCreation"
+ id="org.eclipse.cdt.codan.internal.checkers.AbstractClassCreation"
+ messagePattern="%problem.messagePattern.AbstractClassCreation"
+ name="%problem.name.AbstractClassCreation">
+ </problem>
+ </checker>
+ <checker
+ class="org.eclipse.cdt.codan.internal.checkers.UnusedSymbolInFileScopeChecker"
+ id="org.eclipse.cdt.codan.internal.checkers.UnusedSymbolInFileScopeChecker"
+ name="%checker.name.UnusedSymbolInFileScopeChecker">
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Warning"
+ description="%problem.description.UnusedVariableDeclarationProblem"
+ id="org.eclipse.cdt.codan.internal.checkers.UnusedVariableDeclarationProblem"
+ messagePattern="%problem.messagePattern.UnusedVariableDeclarationProblem"
+ multiple="true"
+ name="%problem.name.UnusedVariableDeclarationProblem">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Warning"
+ description="%problem.description.UnusedFunctionDeclarationProblem"
+ id="org.eclipse.cdt.codan.internal.checkers.UnusedFunctionDeclarationProblem"
+ messagePattern="%problem.messagePattern.UnusedFunctionDeclarationProblem"
+ multiple="true"
+ name="%problem.name.UnusedFunctionDeclarationProblem">
+ </problem>
+ <problem
+ category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
+ defaultEnabled="true"
+ defaultSeverity="Warning"
+ description="%problem.description.UnusedStaticFunctionProblem"
+ id="org.eclipse.cdt.codan.internal.checkers.UnusedStaticFunctionProblem"
+ messagePattern="%problem.messagePattern.UnusedStaticFunctionProblem"
multiple="true"
- name="%problem.name.NamingConventionFunction">
- </problem>
+ name="%problem.name.UnusedStaticFunctionProblem">
+ </problem>
</checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.ReturnChecker"
- id="org.eclipse.cdt.codan.internal.checkers.ReturnChecker"
- name="%checker.name.ReturnChecker">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.NoReturnValue"
- id="org.eclipse.cdt.codan.checkers.noreturn"
- messagePattern="%problem.messagePattern.NoReturnValue"
- name="%problem.name.NoReturnValue">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.UnusedReturnValue"
- id="org.eclipse.cdt.codan.checkers.errreturnvalue"
- messagePattern="%problem.messagePattern.UnusedReturnValue"
- name="%problem.name.UnusedReturnValue">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultEnabled="true"
- defaultSeverity="Warning"
- description="%problem.description.NoReturn"
- id="org.eclipse.cdt.codan.checkers.errnoreturn"
- messagePattern="%problem.messagePattern.NoReturn"
- name="%problem.name.NoReturn">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.ProblemBindingChecker"
- id="org.eclipse.cdt.codan.internal.checkers.ProblemBindingChecker"
- name="%binding.checker.name">
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.G"
- id="org.eclipse.cdt.codan.internal.checkers.VariableResolutionProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.G"
- name="%problem.name.G">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.0"
- id="org.eclipse.cdt.codan.internal.checkers.OverloadProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.0"
- name="%problem.name.0">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.1"
- id="org.eclipse.cdt.codan.internal.checkers.AmbiguousProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.1"
- name="%problem.name.1">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.2"
- id="org.eclipse.cdt.codan.internal.checkers.CircularReferenceProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.2"
- name="%problem.name.2">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.3"
- id="org.eclipse.cdt.codan.internal.checkers.RedeclarationProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.3"
- name="%problem.name.3">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.4"
- id="org.eclipse.cdt.codan.internal.checkers.RedefinitionProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.4"
- name="%problem.name.4">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.5"
- id="org.eclipse.cdt.codan.internal.checkers.MemberDeclarationNotFoundProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.5"
- name="%problem.name.5">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.6"
- id="org.eclipse.cdt.codan.internal.checkers.LabelStatementNotFoundProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.6"
- name="%problem.name.6">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.7"
- id="org.eclipse.cdt.codan.internal.checkers.InvalidTemplateArgumentsProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.7"
- name="%problem.name.7">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.8"
- id="org.eclipse.cdt.codan.internal.checkers.TypeResolutionProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.8"
- name="%problem.name.8">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.9"
- id="org.eclipse.cdt.codan.internal.checkers.FunctionResolutionProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.9"
- name="%problem.name.9">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.10"
- id="org.eclipse.cdt.codan.internal.checkers.InvalidArguments"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.10"
- name="%problem.name.10">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.11"
- id="org.eclipse.cdt.codan.internal.checkers.MethodResolutionProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.11"
- name="%problem.name.11">
- </problem>
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.12"
- id="org.eclipse.cdt.codan.internal.checkers.FieldResolutionProblem"
- markerType="org.eclipse.cdt.codan.core.codanSemanticProblem"
- messagePattern="%problem.messagePattern.12"
- name="%problem.name.12">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.AssignmentToItselfChecker"
- id="org.eclipse.cdt.codan.internal.checkers.AssignmentToItselfChecker"
- name="%checker.name.AssignmentToItself">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.AssignmentToItself"
- id="org.eclipse.cdt.codan.internal.checkers.AssignmentToItselfProblem"
- messagePattern="%problem.messagePattern.AssignmentToItself"
- name="%problem.name.AssignmentToItself">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.ReturnStyleChecker"
- id="org.eclipse.cdt.codan.internal.checkers.ReturnStyle"
- name="%checker.name.ReturnStyle">
- <problem
- category="org.eclipse.cdt.codan.core.categories.CodeStyle"
- defaultEnabled="false"
- defaultSeverity="Warning"
- description="%problem.description.ReturnStyle"
- id="org.eclipse.cdt.codan.internal.checkers.ReturnStyleProblem"
- messagePattern="%problem.messagePattern.ReturnStyle"
- name="%problem.name.ReturnStyle">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.SuspiciousSemicolonChecker"
- id="org.eclipse.cdt.codan.internal.checkers.SuspiciousSemicolon"
- name="%checker.name.SuspiciousSemicolon">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultEnabled="true"
- defaultSeverity="Warning"
- description="%problem.description.SuspiciousSemicolon"
- id="org.eclipse.cdt.codan.internal.checkers.SuspiciousSemicolonProblem"
- messagePattern="%problem.messagePattern.SuspiciousSemicolon"
- name="%problem.name.SuspiciousSemicolon">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.CaseBreakChecker"
- id="org.eclipse.cdt.codan.internal.checkers.CaseBreak"
- name="%checker.name.CaseBreak">
- <problem
- category="org.eclipse.cdt.codan.core.categories.ProgrammingProblems"
- defaultEnabled="true"
- defaultSeverity="Warning"
- description="%problem.description.CaseBreak"
- id="org.eclipse.cdt.codan.internal.checkers.CaseBreakProblem"
- messagePattern="%problem.messagePattern.CaseBreak"
- name="%checker.name.CaseBreak">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.fs.ScanfFormatStringSecurityChecker"
- id="org.eclipse.cdt.codan.internal.checkers.ScanfFormatStringSecurityChecker"
- name="%checker.name.FormatString">
- <problem
- category="org.eclipse.cdt.codan.core.categories.Security"
- defaultEnabled="false"
- defaultSeverity="Warning"
- description="%problem.description.FormatString"
- id="org.eclipse.cdt.codan.internal.checkers.ScanfFormatStringSecurityProblem"
- messagePattern="%problem.messagePattern.FormatString"
- name="%problem.name.FormatString">
- </problem>
- </checker>
- <checker
- class="org.eclipse.cdt.codan.internal.checkers.AbstractClassInstantiationChecker"
- id="org.eclipse.cdt.codan.internal.checkers.AbstractClassCreation"
- name="%checker.name.AbstractClassCreation">
- <problem
- category="org.eclipse.cdt.codan.core.categories.CompilerErrors"
- defaultEnabled="true"
- defaultSeverity="Error"
- description="%problem.description.AbstractClassCreation"
- id="org.eclipse.cdt.codan.internal.checkers.AbstractClassCreation"
- messagePattern="%problem.messagePattern.AbstractClassCreation"
- name="%problem.name.AbstractClassCreation">
- </problem>
- </checker>
</extension>
</plugin>
diff --git a/codan/org.eclipse.cdt.codan.checkers/src/org/eclipse/cdt/codan/internal/checkers/UnusedSymbolInFileScopeChecker.java b/codan/org.eclipse.cdt.codan.checkers/src/org/eclipse/cdt/codan/internal/checkers/UnusedSymbolInFileScopeChecker.java
new file mode 100644
index 0000000000..841b8d45b0
--- /dev/null
+++ b/codan/org.eclipse.cdt.codan.checkers/src/org/eclipse/cdt/codan/internal/checkers/UnusedSymbolInFileScopeChecker.java
@@ -0,0 +1,255 @@
+/*******************************************************************************
+ * Copyright (c) 2011 Andrew Gvozdev 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:
+ * Andrew Gvozdev - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.cdt.codan.internal.checkers;
+
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.List;
+import java.util.Map;
+
+import org.eclipse.cdt.codan.checkers.CodanCheckersActivator;
+import org.eclipse.cdt.codan.core.cxx.model.AbstractIndexAstChecker;
+import org.eclipse.cdt.codan.core.model.IProblemWorkingCopy;
+import org.eclipse.cdt.core.dom.ast.ASTVisitor;
+import org.eclipse.cdt.core.dom.ast.IASTDeclSpecifier;
+import org.eclipse.cdt.core.dom.ast.IASTDeclaration;
+import org.eclipse.cdt.core.dom.ast.IASTDeclarator;
+import org.eclipse.cdt.core.dom.ast.IASTFunctionDeclarator;
+import org.eclipse.cdt.core.dom.ast.IASTFunctionDefinition;
+import org.eclipse.cdt.core.dom.ast.IASTName;
+import org.eclipse.cdt.core.dom.ast.IASTNode;
+import org.eclipse.cdt.core.dom.ast.IASTSimpleDeclaration;
+import org.eclipse.cdt.core.dom.ast.IASTTranslationUnit;
+import org.eclipse.cdt.core.dom.ast.IBinding;
+import org.eclipse.cdt.core.dom.ast.IFunction;
+import org.eclipse.cdt.core.dom.ast.IProblemType;
+import org.eclipse.cdt.core.dom.ast.IType;
+import org.eclipse.cdt.core.dom.ast.IVariable;
+import org.eclipse.cdt.core.dom.ast.cpp.ICPPASTQualifiedName;
+import org.eclipse.cdt.core.dom.ast.cpp.ICPPClassType;
+import org.eclipse.cdt.core.dom.ast.cpp.ICPPMethod;
+
+/**
+ * Checker looking for unused function or variable declarations.
+ */
+public class UnusedSymbolInFileScopeChecker extends AbstractIndexAstChecker {
+ public static final String ER_UNUSED_VARIABLE_DECLARATION_ID = "org.eclipse.cdt.codan.internal.checkers.UnusedVariableDeclarationProblem"; //$NON-NLS-1$
+ public static final String ER_UNUSED_FUNCTION_DECLARATION_ID = "org.eclipse.cdt.codan.internal.checkers.UnusedFunctionDeclarationProblem"; //$NON-NLS-1$
+ public static final String ER_UNUSED_STATIC_FUNCTION_ID = "org.eclipse.cdt.codan.internal.checkers.UnusedStaticFunctionProblem"; //$NON-NLS-1$
+
+ private Map<IBinding, IASTDeclarator> externFunctionDeclarations = new HashMap<IBinding, IASTDeclarator>();
+ private Map<IBinding, IASTDeclarator> staticFunctionDeclarations = new HashMap<IBinding, IASTDeclarator>();
+ private Map<IBinding, IASTDeclarator> staticFunctionDefinitions = new HashMap<IBinding, IASTDeclarator>();
+ private Map<IBinding, IASTDeclarator> externVariableDeclarations = new HashMap<IBinding, IASTDeclarator>();
+ private Map<IBinding, IASTDeclarator> staticVariableDeclarations = new HashMap<IBinding, IASTDeclarator>();
+
+ /*
+ * (non-Javadoc)
+ *
+ * @see
+ * org.eclipse.cdt.codan.core.model.ICheckerWithPreferences#initParameters
+ * (org.eclipse.cdt.codan.core.model.IProblemWorkingCopy)
+ */
+ @Override
+ public void initPreferences(IProblemWorkingCopy problem) {
+ super.initPreferences(problem);
+ }
+
+ private void clearCandidates() {
+ externFunctionDeclarations.clear();
+ staticFunctionDeclarations.clear();
+ staticFunctionDefinitions.clear();
+ externVariableDeclarations.clear();
+ staticVariableDeclarations.clear();
+ }
+
+ private boolean isAnyCandidate() {
+ return externFunctionDeclarations.size() > 0 ||
+ staticFunctionDeclarations.size() > 0 ||
+ staticFunctionDefinitions.size() > 0 ||
+ externVariableDeclarations.size() > 0 ||
+ staticVariableDeclarations.size() > 0;
+ }
+
+ public void processAst(IASTTranslationUnit ast) {
+ if (ast.isHeaderUnit())
+ return;
+
+ clearCandidates();
+ collectCandidates(ast);
+
+ if (isAnyCandidate()) {
+ filterOutUsedElements(ast);
+ reportProblems();
+ }
+ }
+
+ private void collectCandidates(IASTTranslationUnit ast) {
+ try {
+ ast.accept(new ASTVisitor() {
+ {
+ shouldVisitDeclarations = true;
+ }
+
+ @Override
+ public int visit(IASTDeclaration element) {
+ if (element instanceof IASTSimpleDeclaration) {
+ // declarations
+ IASTSimpleDeclaration simpleDeclaration = (IASTSimpleDeclaration) element;
+
+ IASTDeclarator[] declarators = simpleDeclaration.getDeclarators();
+ for (IASTDeclarator decl : declarators) {
+ IASTName astName = decl.getName();
+ if (astName != null) {
+ IBinding binding = astName.resolveBinding();
+ int storageClass = simpleDeclaration.getDeclSpecifier().getStorageClass();
+
+ if (binding instanceof IFunction) {
+ if (storageClass == IASTDeclSpecifier.sc_extern || storageClass == IASTDeclSpecifier.sc_unspecified) {
+ externFunctionDeclarations.put(binding, decl);
+ } else if (storageClass == IASTDeclSpecifier.sc_static) {
+ staticFunctionDeclarations.put(binding, decl);
+ }
+ } else if (binding instanceof IVariable) {
+ if (storageClass == IASTDeclSpecifier.sc_extern) {
+ externVariableDeclarations.put(binding, decl);
+ } else if (storageClass == IASTDeclSpecifier.sc_static) {
+ IType type = ((IVariable) binding).getType();
+ // account for class constructor and avoid possible false positive
+ if (!(type instanceof ICPPClassType) && !(type instanceof IProblemType)) {
+ staticVariableDeclarations.put(binding, decl);
+ }
+ }
+ }
+ }
+ }
+ return PROCESS_SKIP;
+ } else if (element instanceof IASTFunctionDefinition) {
+ // definitions
+ IASTFunctionDefinition definition = (IASTFunctionDefinition) element;
+
+ IASTName astName = definition.getDeclarator().getName();
+ if (astName != null) {
+ IBinding binding = astName.resolveBinding();
+
+ if (definition.getDeclSpecifier().getStorageClass() == IASTDeclSpecifier.sc_static) {
+ if (!(astName instanceof ICPPASTQualifiedName)) {
+ staticFunctionDefinitions.put(binding, definition.getDeclarator());
+ }
+ }
+
+ // externFunctionDeclarators filter out
+ externFunctionDeclarations.remove(binding);
+ // staticFunctionDeclarators filter out
+ staticFunctionDeclarations.remove(binding);
+ }
+ }
+ return PROCESS_SKIP;
+ }
+
+ });
+ } catch (Exception e) {
+ CodanCheckersActivator.log(e);
+ }
+ }
+
+ private void filterOutUsedElements(IASTTranslationUnit ast) {
+ try {
+ ast.accept(new ASTVisitor() {
+ {
+ shouldVisitNames = true;
+ }
+
+ @Override
+ public int visit(IASTName name) {
+ IBinding binding = name.resolveBinding();
+ if (binding instanceof ICPPMethod)
+ return PROCESS_CONTINUE;
+
+ IASTNode parentNode = name.getParent();
+
+ if (!(parentNode instanceof IASTFunctionDefinition || parentNode instanceof IASTFunctionDeclarator)) {
+ externFunctionDeclarations.remove(binding);
+ staticFunctionDefinitions.remove(binding);
+ }
+
+ if (!(parentNode instanceof IASTDeclarator)) {
+ externVariableDeclarations.remove(binding);
+ staticVariableDeclarations.remove(binding);
+ }
+
+ if (!isAnyCandidate())
+ return PROCESS_ABORT;
+
+ return PROCESS_CONTINUE;
+ }
+
+ });
+ } catch (Exception e) {
+ CodanCheckersActivator.log(e);
+ }
+ }
+
+ private IASTName getAstName(IASTDeclarator decl) {
+ IASTName astName = null;
+ do {
+ astName = decl.getName();
+ if (astName != null && astName.getSimpleID().length > 0)
+ return astName;
+
+ // resolve parenthesis if need to
+ decl = decl.getNestedDeclarator();
+ } while (decl != null);
+
+ return astName;
+ }
+
+ private void reportProblems() {
+ List<IASTDeclarator> funcDeclarators = new ArrayList<IASTDeclarator>();
+ funcDeclarators.addAll(externFunctionDeclarations.values());
+ funcDeclarators.addAll(staticFunctionDeclarations.values());
+ for (IASTDeclarator symbol : funcDeclarators) {
+ IASTName astName = getAstName(symbol);
+ if (astName != null) {
+ String symbolName = new String(astName.getSimpleID());
+ reportProblem(ER_UNUSED_FUNCTION_DECLARATION_ID, astName, symbolName);
+ }
+ }
+
+ List<IASTDeclarator> varDeclarators = new ArrayList<IASTDeclarator>();
+ varDeclarators.addAll(externVariableDeclarations.values());
+ varDeclarators.addAll(staticVariableDeclarations.values());
+ for (IASTDeclarator symbol : varDeclarators) {
+ IASTName astName = getAstName(symbol);
+ if (astName != null) {
+ String symbolName = new String(astName.getSimpleID());
+ reportProblem(ER_UNUSED_VARIABLE_DECLARATION_ID, astName, symbolName);
+ }
+ }
+
+ List<IASTDeclarator> staticFuncDeclarators = new ArrayList<IASTDeclarator>();
+ staticFuncDeclarators.addAll(staticFunctionDefinitions.values());
+ for (IASTDeclarator symbol : staticFuncDeclarators) {
+ IASTName astName = getAstName(symbol);
+ if (astName != null) {
+ String symbolName = new String(astName.getSimpleID());
+ reportProblem(ER_UNUSED_STATIC_FUNCTION_ID, astName, symbolName);
+ }
+ }
+
+ clearCandidates(); // release memory
+ }
+
+ @Override
+ public boolean runInEditor() {
+ return true;
+ }
+}

Back to the top