Home
last modified time | relevance | path

Searched +full:clang +full:- +full:analyzer (Results 1 – 25 of 120) sorted by relevance

12345

/freebsd/share/mk/
H A Dbsd.clang-analyze.mk2 # Support Clang static analyzer on SRCS.
12 # text - don't generate extra files.
13 # html - generate html in obj.plist/ directories.
14 # plist - generate xml obj.plist files.
16 # contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/Analyses.def
24 # Run the Clang static analyzer against all sources and present
27 .if !target(__<bsd.clang-analyze.mk>__)
28 __<bsd.clang-analyze.mk>__:
32 .if ${COMPILER_TYPE} != "clang" && (make(analyze) || make(*.clang-analyzer))
33 .error Clang static analyzer requires clang but found that compiler '${CC}' is ${COMPILER_TYPE}
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyzerOptions.h1 //===- AnalyzerOptions.h - Analysis Engine Options --------------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This header defines various options for the static analyzer that are set
10 // by the frontend and are consulted throughout the analyzer.
12 //===----------------------------------------------------------------------===//
17 #include "clang/Analysis/PathDiagnostic.h"
18 #include "clang/Basic/LLVM.h"
26 namespace clang {
34 /// AnalysisConstraints - Set of available constraint models.
[all …]
H A DCheckerManager.h1 //===- CheckerManager.h - Static Analyzer Checker Manager -------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // Defines the Static Analyzer Checker Manager.
11 //===----------------------------------------------------------------------===//
16 #include "clang/Analysis/ProgramPoint.h"
17 #include "clang/Basic/Diagnostic.h"
18 #include "clang/Basic/LangOptions.h"
19 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
20 #include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
[all …]
H A DAnalyzerOptions.def1 //===-- AnalyzerOptions.def - Metadata about Static Analyses ----*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file defines the analyzer options avaible with -analyzer-config.
11 //===----------------------------------------------------------------------===//
33 /// Create a new analyzer option, but dont generate a method for it in
36 /// TYPE - The type of the option object that will be stored in
40 /// NAME - The name of the option object.
41 /// CMDFLAG - The command line flag for the option.
42 /// (-analyzer-config CMDFLAG=VALUE)
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Frontend/
H A DCheckerRegistry.h1 //===- CheckerRegistry.h - Maintains all available checkers -----*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
10 // specific invocation of the analyzer (which checker/package is enabled, values
16 //===----------------------------------------------------------------------===//
21 #include "clang/Basic/LLVM.h"
22 #include "clang/StaticAnalyzer/Core/CheckerRegistryData.h"
33 // This is used to check whether the current version of the analyzer is known to
37 // To add a custom checker to the analyzer, the plugin must also define the
49 // The second method argument is a short human-readable description of the
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp1 //===- CheckerDocumentation.cpp - Documentation checker ---------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
14 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
15 #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
16 #include "clang/StaticAnalyzer/Core/Checker.h"
17 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
19 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
[all …]
H A DAnalyzerStatsChecker.cpp1 //==--AnalyzerStatsChecker.cpp - Analyzer visitation statistics --*- C++ -*-==//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
8 // This file reports various statistics about analyzer visitation.
9 //===----------------------------------------------------------------------===//
10 #include "clang/AST/DeclObjC.h"
11 #include "clang/Basic/SourceManager.h"
12 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
13 #include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
14 #include "clang/StaticAnalyzer/Core/Checker.h"
[all …]
H A DTraversalChecker.cpp1 //== TraversalChecker.cpp -------------------------------------- -*- C++ -*--=//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
13 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
14 #include "clang/AST/ParentMap.h"
15 #include "clang/AST/StmtObjC.h"
16 #include "clang/StaticAnalyzer/Core/Checker.h"
17 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
[all …]
H A DReturnValueChecker.cpp1 //===- ReturnValueChecker - Check methods always returning true -*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
10 // convention within the LLVM/Clang codebase: there several classes that have
13 // peculiar "always returns true" invariant. (Normally, the analyzer assumes
17 //===----------------------------------------------------------------------===//
19 #include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
20 #include "clang/StaticAnalyzer/Core/Checker.h"
21 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
22 #include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DExprMutationAnalyzer.cpp1 //===---------- ExprMutationAnalyzer.cpp ----------------------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
8 #include "clang/Analysis/Analyses/ExprMutationAnalyzer.h"
9 #include "clang/AST/Expr.h"
10 #include "clang/AST/OperationKinds.h"
11 #include "clang/ASTMatchers/ASTMatchFinder.h"
12 #include "clang/ASTMatchers/ASTMatchers.h"
15 namespace clang { namespace
20 // - Implicit Casts
[all …]
/freebsd/contrib/llvm-project/clang/lib/FrontendTool/
H A DExecuteCompilerInvocation.cpp1 //===--- ExecuteCompilerInvocation.cpp ------------------------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
10 // minimize the impact of pulling in essentially everything else in Clang.
12 //===----------------------------------------------------------------------===//
14 #include "clang/ARCMigrate/ARCMTActions.h"
15 #include "clang/CodeGen/CodeGenAction.h"
16 #include "clang/Config/config.h"
17 #include "clang/Driver/Options.h"
18 #include "clang/ExtractAPI/FrontendActions.h"
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DExprMutationAnalyzer.h1 //===---------- ExprMutationAnalyzer.h ------------------------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
11 #include "clang/ASTMatchers/ASTMatchers.h"
15 namespace clang {
41 struct Analyzer { struct
42 Analyzer(const Stmt &Stm, ASTContext &Context, Memoized &Memorized) in Analyzer() argument
54 using MutationFinder = const Stmt *(Analyzer::*)(const Expr *);
106 return Analyzer::isUnevaluated(Smt, Stm, Context); in isUnevaluated()
111 Analyzer A;
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/Sema/
H A DSemaOpenCL.h1 //===----- SemaOpenCL.h --- Semantic Analysis for OpenCL constructs -------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
11 //===----------------------------------------------------------------------===//
16 #include "clang/Sema/SemaBase.h"
18 namespace clang {
33 // \param S Reference to the semantic analyzer.
40 // \param S Reference to the semantic analyzer.
49 // \param S Reference to the semantic analyzer.
54 // Performs a semantic analysis on the call to built-in Pipe
[all …]
/freebsd/usr.bin/clang/clang/
H A Dclang.14 .nr rst2man-indent-level 0
7 \\$1 \\n[an-margin]
8 level \\n[rst2man-indent-level]
9 level margin: \\n[rst2man-indent\\n[rst2man-indent-level]]
10 -
11 \\n[rst2man-indent0]
12 \\n[rst2man-indent1]
13 \\n[rst2man-indent2]
18 . nr rst2man-indent\\n[rst2man-indent-level] \\n[an-margin]
19 . nr rst2man-indent-level +1
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
H A DCreateCheckerManager.cpp1 //===- CheckerManager.h - Static Analyzer Checker Manager -------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // Defines the Static Analyzer Checker Manager.
11 //===----------------------------------------------------------------------===//
13 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
14 #include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
17 namespace clang { namespace
50 } // namespace clang
H A DModelInjector.h1 //===-- ModelInjector.h -----------------------------------------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
10 /// This file defines the clang::ento::ModelInjector class which implements the
11 /// clang::CodeInjector interface. This class is responsible for injecting
15 /// which lack bodies in the original source code. This allows the analyzer
19 /// reconstituted lazily, on-demand, by the static analyzer engine.
21 //===----------------------------------------------------------------------===//
26 #include "clang/Analysis/CodeInjector.h"
29 namespace clang {
[all …]
H A DAnalysisConsumer.cpp1 //===--- AnalysisConsumer.cpp - ASTConsumer for running Analyses ----------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
11 //===----------------------------------------------------------------------===//
13 #include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h"
15 #include "clang/AST/Decl.h"
16 #include "clang/AST/DeclCXX.h"
17 #include "clang/AST/DeclObjC.h"
18 #include "clang/AST/RecursiveASTVisitor.h"
19 #include "clang/Analysis/Analyses/LiveVariables.h"
[all …]
/freebsd/contrib/llvm-project/clang/utils/TableGen/
H A DClangSACheckersEmitter.cpp1 //=- ClangSACheckersEmitter.cpp - Generate Clang SA checkers tables -*- C++ -*-
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This tablegen backend emits Clang Static Analyzer checkers tables.
11 //===----------------------------------------------------------------------===//
23 //===----------------------------------------------------------------------===//
24 // Static Analyzer Checkers Tables generation
25 //===----------------------------------------------------------------------===//
32 if (DefInit *DI = dyn_cast<DefInit>(R->getValueInit("ParentPackage"))) in getParentPackageFullName()
33 name = getPackageFullName(DI->getDef(), Sep); in getParentPackageFullName()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DZ3CrosscheckVisitor.h1 //===- Z3CrosscheckVisitor.h - Crosscheck reports with Z3 -------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 //===----------------------------------------------------------------------===//
17 #include "clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h"
19 namespace clang::ento {
68 /// - Accept the report if the Z3Result was SAT.
69 /// - Suggest dropping the report equvalence class based on the accumulated
71 /// - Otherwise, reject the report if the Z3Result was UNSAT or UNDEF.
74 /// - Accumulative time spent in Z3 checks is more than 700ms in the eqclass.
[all …]
/freebsd/contrib/libfido2/fuzz/
H A DDockerfile1 # Copyright (c) 2019-2023 Yubico AB. All rights reserved.
2 # Use of this source code is governed by a BSD-style
4 # SPDX-License-Identifier: BSD-2-Clause
7 ENV CC=clang
8 ENV CXX=clang++
9 RUN apk -q update
10 RUN apk add build-bas
[all...]
/freebsd/contrib/llvm-project/clang/lib/Analysis/plugins/SampleAnalyzer/
H A DMainCallChecker.cpp1 #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
2 #include "clang/StaticAnalyzer/Core/Checker.h"
3 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
4 #include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
6 using namespace clang;
20 const Expr *Callee = CE->getCallee(); in checkPreStmt()
27 IdentifierInfo *II = FD->getIdentifier(); in checkPreStmt()
31 if (II->isStr("main")) { in checkPreStmt()
37 BT.reset(new BugType(this, "call to main", "example analyzer plugin")); in checkPreStmt()
40 std::make_unique<PathSensitiveBugReport>(*BT, BT->getDescription(), N); in checkPreStmt()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/Basic/
H A DDiagnosticDriverKinds.td1 //==--- DiagnosticDriverKinds.td - libdriver diagnostics ------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
26 "-E or -x required when input is from standard input">;
37 "ignoring invalid /arch: argument '%0'; for %select{64|32}1-bit expected one of %2">,
41 "link standard libraries, please pass -mmcu=<mcu name>">,
44 "no avr-libc installation can be found on the system, "
63 "cannot find CUDA installation; provide its path via '--cuda-path', or pass "
64 "'-nocudainc' to build without CUDA includes">;
67 "via '--cuda-path', or pass '-nocudalib' to build without linking with "
[all …]
H A DDiagnosticCommonKinds.td1 //==--- DiagnosticCommonKinds.td - common diagnostics ---------------------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 //===----------------------------------------------------------------------===//
11 //===----------------------------------------------------------------------===//
28 InGroup<DiagGroup<"stack-exhausted">>, NoSFINAE;
40 /// note_matching - this is used as a continuation of a previous diagnostic,
49 "higher precision floating-point type size has the same size than "
50 "floating-point type size">,
51 InGroup<DiagGroup<"higher-precision-fp">>;
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/
H A DASTUtils.h1 //=======- ASTUtis.h ---------------------------------------------*- C++ -*-==//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
12 #include "clang/AST/Decl.h"
20 namespace clang {
23 /// This function de-facto defines a set of transformations that we consider
28 /// For more context see Static Analyzer checkers documentation - specifically
30 /// - constructors of ref-counted types (including factory methods)
31 /// - getters of ref-counted types
32 /// - member overloaded operators
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DCodeInjector.h1 //===-- CodeInjector.h ------------------------------------------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
10 /// Defines the clang::CodeInjector interface which is responsible for
14 //===----------------------------------------------------------------------===//
19 namespace clang {
28 /// The getBody function will be called each time the static analyzer examines a

12345