| 1 | ---
|
|---|
| 2 | - description: EDK2 (C++) queries
|
|---|
| 3 |
|
|---|
| 4 | # Bring in all queries from the official cpp-queries suite so individual queries can be explicitly enabled.
|
|---|
| 5 |
|
|---|
| 6 | - queries: '.'
|
|---|
| 7 | from: codeql/cpp-queries
|
|---|
| 8 |
|
|---|
| 9 | # Enable individual queries below.
|
|---|
| 10 |
|
|---|
| 11 | - include:
|
|---|
| 12 | id: cpp/conditionallyuninitializedvariable
|
|---|
| 13 | - include:
|
|---|
| 14 | id: cpp/infinite-loop-with-unsatisfiable-exit-condition
|
|---|
| 15 | - include:
|
|---|
| 16 | id: cpp/overflow-buffer
|
|---|
| 17 | - include:
|
|---|
| 18 | id: cpp/overrunning-write
|
|---|
| 19 | - include:
|
|---|
| 20 | id: cpp/overrunning-write-with-float
|
|---|
| 21 | - include:
|
|---|
| 22 | id: cpp/pointer-overflow-check
|
|---|
| 23 | - include:
|
|---|
| 24 | id: cpp/very-likely-overrunning-write
|
|---|
