|
gptkbp:instance_of
|
gptkb:software
|
|
gptkbp:analyzes
|
large codebases
complex code structures
|
|
gptkbp:can_be_extended_by
|
plugins
|
|
gptkbp:can_be_used_with
|
gptkb:language
gptkb:software_framework
Makefiles
|
|
gptkbp:developed_by
|
gptkb:LLVM_Project
|
|
gptkbp:enhances
|
code quality
|
|
gptkbp:first_released
|
gptkb:2009
|
|
gptkbp:has_documentation
|
available online
|
|
gptkbp:has_feature
|
configuration options
reporting capabilities
custom checkers
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
LLVM Static Analyzer
|
|
gptkbp:input_output
|
HTML reports
XML reports
|
|
gptkbp:integrates_with
|
gptkb:faction
|
|
gptkbp:is_available_on
|
gptkb:smartphone
gptkb:operating_system
|
|
gptkbp:is_compatible_with
|
gptkb:C++20
gptkb:C++14
gptkb:C++17
C++11
C11
|
|
gptkbp:is_designed_for
|
gptkb:software
|
|
gptkbp:is_open_source
|
gptkb:theorem
|
|
gptkbp:is_part_of
|
gptkb:LLVM_Compiler_Infrastructure
LLVM ecosystem
LLVM Toolchain
static analysis tools category
|
|
gptkbp:is_supported_by
|
gptkb:LLVM_community
|
|
gptkbp:is_used_by
|
gptkb:software
open source projects
software engineers
QA teams
commercial software companies
|
|
gptkbp:is_used_for
|
finding bugs in C and C++ programs
|
|
gptkbp:passes_through
|
from command line
as part of CI/ CD pipelines
|
|
gptkbp:provides
|
path-sensitive analysis
|
|
gptkbp:recognizes
|
memory leaks
dead code
data races
null pointer dereferences
uninitialized variables
|
|
gptkbp:reduces
|
software bugs
|
|
gptkbp:supports
|
gptkb:multiple_platforms
|
|
gptkbp:tutorials
|
available online
|
|
gptkbp:updates
|
gptkb:theorem
|
|
gptkbp:written_in
|
gptkb:C++
|
|
gptkbp:bfsParent
|
gptkb:LLVM_14
|
|
gptkbp:bfsLayer
|
5
|