|
Last change
on this file since 101291 was 101291, checked in by vboxsync, 14 months ago |
|
EFI/FirmwareNew: Make edk2-stable202308 build on all supported platforms (using gcc at least, msvc not tested yet), bugref:4643
|
-
Property svn:eol-style
set to
native
|
|
File size:
587 bytes
|
| Line | |
|---|
| 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
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
