clang static analyzer

E292721
free and open-source software software analysis tool static code analysis tool

Clang Static Analyzer is a source code analysis tool built on the Clang/LLVM framework that automatically detects bugs and potential security vulnerabilities in C, C++, and Objective-C programs.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
clang static analyzer canonical 1
clang-analyzer 1

Statements (51)

Predicate Object
instanceOf free and open-source software ⓘ
software analysis tool ⓘ
static code analysis tool ⓘ
analysisType static analysis ⓘ
basedOn Clang ⓘ
LLVM ⓘ
category software quality assurance tool ⓘ
detects API misuse ⓘ
dead stores ⓘ
memory leaks ⓘ
null pointer dereferences ⓘ
resource leaks ⓘ
uninitialized values ⓘ
use-after-free errors ⓘ
developedBy LLVM ⓘ
surface form: LLVM Project
distribution Clang ⓘ
surface form: Clang toolchain

LLVM releases ⓘ
documentation https://clang-analyzer.llvm.org/manual.html ⓘ
integratedWith CMake ⓘ
surface form: CMake build systems

Visual Studio via LLVM/Clang toolchain ⓘ
Xcode ⓘ
invokedBy Clang ⓘ
surface form: clang

scan-build ⓘ
scan-view ⓘ
license Apache License 2.0 with LLVM exceptions ⓘ
maintainedBy LLVM ⓘ
surface form: LLVM community
operatesOn source code ⓘ
outputFormat HTML reports ⓘ
plist reports ⓘ
text diagnostics ⓘ
partOf Clang ⓘ
LLVM ⓘ
platform cross-platform ⓘ
primaryFunction detect bugs in source code ⓘ
detect potential security vulnerabilities ⓘ
programmingLanguage C++ ⓘ
provides interprocedural analysis ⓘ
path-sensitive analysis ⓘ
symbolic execution ⓘ
repository https://github.com/llvm/llvm-project ⓘ
runsOn Linux ⓘ
Windows ⓘ
macOS ⓘ
supportsLanguage C ⓘ
C++ ⓘ
Objective-C ⓘ
Objective-C++ ⓘ
useCase continuous integration code analysis ⓘ
finding bugs early in development ⓘ
security auditing of C and C++ codebases ⓘ
website https://clang-analyzer.llvm.org ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

LLVM → hasComponent → clang static analyzer ⓘ
Clang-Tidy linter → hasCheckCategory → clang static analyzer ⓘ
subject surface form: Clang-Tidy
this entity surface form: clang-analyzer