facebook / facebook/infer

How to use infer to analyze some c files in RIOT:

Offen
#1,331 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
question
Vorherrschende Sprache
OCaml
Sterne
15.7k
Forks
2.1k
Ø Merge
19 Std. 36 Min.
Gemergte PRs (30 T.)
13

Beschreibung

Hi,
I clone the RIOT project from Github, try to analyze the [hdr.c](https://github.com/RIOT-OS/RIOT/tree/master/sys/riotboot) code in the infer. But it said the header file [hdr.h](https://github.com/RIOT-OS/RIOT/tree/master/sys/include/riotboot) not found.
Could you please give me some suggestions? Thanks a lot!

ps: I found my issue is similar to #580, also including many header files. But I don't find a solution.
Other information:

- "Infer version v1.0.0"
- Operating System: "Ubuntu" "20.04.1 LTS (Focal Fossa)"
- Kernel: Linux 5.4.0-52-generic x86_64 x86_64

``
shyuan@shyuan:\~$ cd GitHub/RIOT/sys/riotboot/

shyuan@shyuan:\~/GitHub/RIOT/sys/riotboot$ infer run -- gcc -c hdr.c
Capturing in make/cc mode...
hdr.c:34:10: fatal error: 'riotboot/hdr.h' file not found
#include "riotboot/hdr.h"
^~~~~~~~~~~~~~~~
1 error generated.
``

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.