github / github/codeql

C++ extractor giving multiple compilation errors when trying to compile the linux kernel

Aperta
#16,908 17 commenti 0 reazioni 0 assegnatari Vedi su GitHub
C++ question
Lingua principale
CodeQL
Stelle
10.1k
Fork
2.1k
Merge medio
2g 15h
PR unite (30g)
141

Descrizione

**Description of the issue**

I noticed that several files of the linux kernel source were missing when creatiung a database with code ql using the kernel config attached to this issue and the following command:

```
codeql database create ~/codeql_db/linux/linux_db --language c --command "make -j`nproc`"
```

One of the missing files (kernel/bpf/verifier.c) is being correctly compiled by the kernel build system but it seems there are multiple compilation errors when the cpp extractor runs (I attached to complete log to this issue), for example:

```
E 15:08:35 2293019] Warning[extractor-c++]: In construct_text_message: "./arch/x86/include/asm/processor.h", line 525: error: expected a ")"

this_cpu_write(cpu_tss_rw.x86_tss.sp0, sp0);

```

Please note:

1. I have verified the subsystem where that this file belongs to (CONFIG_BPF) is enabled and the feature works when running the kernel
2. I have attempted to create a database in multiple computers, some of them with a fresh install of debian, and the issue always reproduces
3. verifier.c is just an example, there are many many other missing files due to similar reasons
4. The code compiles just fine for the kernel
5. I compiled an unmodified checkout of https://github.com/torvalds/linux

I believe this might be a bug in the extractor similar to https://github.com/github/codeql/issues/16901 and https://github.com/github/codeql/issues/13994. If that is so, please feel free to close this as duplicate.

Let me know if you need anything else from me to reproduce this
[extractor_log.txt](https://github.com/user-attachments/files/16101584/extractor_log.txt)
[config.txt](https://github.com/user-attachments/files/16101585/config.txt)

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Inizia con il comando per creare il database indicato nell’issue, quindi esamina extractor_log.txt insieme a config.txt. Confronta gli errori relativi a kernel/bpf/verifier.c e arch/x86/include/asm/processor.h con l’output della compilazione del kernel; il lavoro è completato quando gli errori dell’extractor segnalati sono stati risolti e i file precedentemente mancanti sono inclusi nel database.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
c, cpp, linux
Ambito
compilers, tooling
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
35/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.