3f1234f7bb
Clang LibTooling + Z3 BV-64 encoding. 11 detectors: clone, equiv, class-dup, dead, null-deref, div-by-zero, int-overflow, oob, int-truncation, sign-conversion, taint-track. Interfaces: CLI, MCP (JSON-RPC 2.0), LSP. Output: SARIF 2.1.0, JSON, Markdown.
76 lines
1.4 KiB
YAML
76 lines
1.4 KiB
YAML
CompileFlags:
|
|
CompilationDatabase: build/release
|
|
Remove:
|
|
- -fsanitize=*
|
|
- -fno-sanitize-recover=*
|
|
- -fprofile-*
|
|
- -fcoverage-*
|
|
- -g*
|
|
- -flto*
|
|
- -Werror
|
|
- -fplugin=*
|
|
|
|
Index:
|
|
Background: Build
|
|
StandardLibrary: Yes
|
|
|
|
Diagnostics:
|
|
UnusedIncludes: Strict
|
|
MissingIncludes: None
|
|
ClangTidy:
|
|
FastCheckFilter: Strict
|
|
Add:
|
|
- bugprone-*
|
|
- modernize-*
|
|
- performance-*
|
|
- readability-identifier-naming
|
|
- readability-function-size
|
|
- readability-function-cognitive-complexity
|
|
- readability-redundant-*
|
|
- misc-redundant-expression
|
|
Remove:
|
|
- bugprone-easily-swappable-parameters
|
|
- modernize-use-trailing-return-type
|
|
- modernize-avoid-c-arrays
|
|
CheckOptions:
|
|
readability-function-size.LineThreshold: 100
|
|
readability-function-size.StatementThreshold: 100
|
|
readability-function-cognitive-complexity.Threshold: 25
|
|
|
|
Completion:
|
|
AllScopes: Yes
|
|
ArgumentLists: Delimiters
|
|
|
|
InlayHints:
|
|
Enabled: true
|
|
ParameterNames: true
|
|
DeducedTypes: true
|
|
Designators: true
|
|
TypeNameLimit: 32
|
|
|
|
Hover:
|
|
ShowAKA: true
|
|
MacroContentsLimit: 1024
|
|
|
|
---
|
|
If:
|
|
PathMatch: third_party/.*
|
|
Index:
|
|
Background: Skip
|
|
Diagnostics:
|
|
Suppress: '*'
|
|
UnusedIncludes: None
|
|
|
|
---
|
|
If:
|
|
PathMatch: build.*/.*
|
|
Index:
|
|
Background: Skip
|
|
|
|
---
|
|
If:
|
|
PathMatch: tests/.*
|
|
Diagnostics:
|
|
ClangTidy:
|
|
Add:
|
|
- cert-*
|