set(EXCLUDE_FROM_ALL ON)
endif()
+if(CLANG_ENABLE_STATIC_ANALYZER)
+add_subdirectory(analyzer-plugin)
+endif()
add_subdirectory(clang-interpreter)
add_subdirectory(PrintFunctionNames)
add_subdirectory(AnnotateFunctions)
-#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
-#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
+#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
using namespace clang;
using namespace ento;
namespace {
-class MainCallChecker : public Checker<check::PreStmt<CallExpr>> {
+class MainCallChecker : public Checker < check::PreStmt<CallExpr> > {
mutable std::unique_ptr<BugType> BT;
public:
};
} // end anonymous namespace
-void MainCallChecker::checkPreStmt(const CallExpr *CE,
- CheckerContext &C) const {
+void MainCallChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
const Expr *Callee = CE->getCallee();
const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl();
// Get the name of the callee.
IdentifierInfo *II = FD->getIdentifier();
- if (!II) // if no identifier, not a simple C function
+ if (!II) // if no identifier, not a simple C function
return;
if (II->isStr("main")) {
}
// Register plugin!
-extern "C" void clang_registerCheckers(CheckerRegistry ®istry) {
+extern "C"
+void clang_registerCheckers (CheckerRegistry ®istry) {
registry.addChecker<MainCallChecker>(
"example.MainCallChecker", "Disallows calls to functions called main",
"");
}
-extern "C" const char clang_analyzerAPIVersionString[] =
- CLANG_ANALYZER_API_VERSION_STRING;
+extern "C"
+const char clang_analyzerAPIVersionString[] = CLANG_ANALYZER_API_VERSION_STRING;
-// RUN: %clang_analyze_cc1 -verify %s \
-// RUN: -load %llvmshlibdir/SampleAnalyzerPlugin%pluginext \
-// RUN: -analyzer-checker='example.MainCallChecker'
-
-// REQUIRES: plugins
+// RUN: %clang_analyze_cc1 -load %llvmshlibdir/SampleAnalyzerPlugin%pluginext -analyzer-checker='example.MainCallChecker' -verify %s
+// REQUIRES: plugins, examples
// Test that the MainCallChecker example analyzer plugin loads and runs.
void caller() {
main(); // expected-warning {{call to main}}
}
-
-// RUN: %clang_analyze_cc1 %s \
-// RUN: -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
-// RUN: -analyzer-checker=example.DependendentChecker \
-// RUN: -analyzer-list-enabled-checkers \
-// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-ENABLED
-
-// CHECK-IMPLICITLY-ENABLED: example.Dependency
-// CHECK-IMPLICITLY-ENABLED: example.DependendentChecker
-
-// RUN: %clang_analyze_cc1 %s \
-// RUN: -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
-// RUN: -analyzer-checker=example.DependendentChecker \
-// RUN: -analyzer-disable-checker=example.Dependency \
-// RUN: -analyzer-list-enabled-checkers \
-// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-DISABLED
-
-// CHECK-IMPLICITLY-DISABLED-NOT: example.Dependency
-// CHECK-IMPLICITLY-DISABLED-NOT: example.DependendentChecker
config.substitutions.append(('%diff_sarif',
'''diff -U1 -w -I ".*file:.*%basename_t" -I '"version":' -I "2\.0\.0\-csd\.[0-9]*\.beta\."'''))
-config.excludes.add('plugins')
-
if not config.root.clang_staticanalyzer:
config.unsupported = True
+++ /dev/null
-add_subdirectory(SampleAnalyzer)
-add_subdirectory(CheckerDependencyHandling)
-
-set(CLANG_ANALYZER_PLUGIN_DEPS
- SampleAnalyzerPlugin
- CheckerDependencyHandlingAnalyzerPlugin
- )
-
-add_custom_target(clang-analyzer-plugin
- DEPENDS ${CLANG_ANALYZER_PLUGIN_DEPS})
+++ /dev/null
-set(LLVM_EXPORTED_SYMBOL_FILE ${CMAKE_CURRENT_SOURCE_DIR}/CheckerDependencyHandlingAnalyzerPlugin.exports)
-add_llvm_library(CheckerDependencyHandlingAnalyzerPlugin MODULE CheckerDependencyHandling.cpp PLUGIN_TOOL clang)
-
-if(LLVM_ENABLE_PLUGINS AND (WIN32 OR CYGWIN))
- target_link_libraries(CheckerDependencyHandlingAnalyzerPlugin PRIVATE
- clangAnalysis
- clangAST
- clangStaticAnalyzerCore
- LLVMSupport
- )
-endif()
+++ /dev/null
-#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
-#include "clang/StaticAnalyzer/Core/Checker.h"
-#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
-#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
-
-using namespace clang;
-using namespace ento;
-
-namespace {
-struct Dependency : public Checker<check::BeginFunction> {
- void checkBeginFunction(CheckerContext &Ctx) const {}
-};
-struct DependendentChecker : public Checker<check::BeginFunction> {
- void checkBeginFunction(CheckerContext &Ctx) const {}
-};
-} // end anonymous namespace
-
-// Register plugin!
-extern "C" void clang_registerCheckers(CheckerRegistry ®istry) {
- registry.addChecker<Dependency>("example.Dependency", "", "");
- registry.addChecker<DependendentChecker>("example.DependendentChecker", "",
- "");
-
- registry.addDependency("example.DependendentChecker", "example.Dependency");
-}
-
-extern "C" const char clang_analyzerAPIVersionString[] =
- CLANG_ANALYZER_API_VERSION_STRING;
+++ /dev/null
-clang_registerCheckers
-clang_analyzerAPIVersionString
# check-all would launch those tests via check-clang.
set(EXCLUDE_FROM_ALL ON)
- add_subdirectory(Analysis/plugins)
- list(APPEND CLANG_TEST_DEPS clang-analyzer-plugin)
-
add_lit_testsuite(check-clang-analyzer "Running the Clang analyzer tests"
${CMAKE_CURRENT_BINARY_DIR}/Analysis
PARAMS ${ANALYZER_TEST_PARAMS}
DEPENDS ${CLANG_TEST_DEPS})
set_target_properties(check-clang-analyzer PROPERTIES FOLDER "Clang tests")
+
if (LLVM_WITH_Z3)
add_lit_testsuite(check-clang-analyzer-z3 "Running the Clang analyzer tests, using Z3 as a solver"
${CMAKE_CURRENT_BINARY_DIR}/Analysis