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.
17 lines
364 B
YAML
17 lines
364 B
YAML
BasedOnStyle: LLVM
|
|
IndentWidth: 4
|
|
ColumnLimit: 100
|
|
PointerAlignment: Left
|
|
AlwaysBreakTemplateDeclarations: Yes
|
|
NamespaceIndentation: None
|
|
SortIncludes: CaseInsensitive
|
|
IncludeBlocks: Regroup
|
|
IncludeCategories:
|
|
- Regex: '^<.*\.h>'
|
|
Priority: 1
|
|
- Regex: '^<.*>'
|
|
Priority: 2
|
|
- Regex: '^"fold/'
|
|
Priority: 3
|
|
- Regex: '.*'
|
|
Priority: 4
|