You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I first use bear -- make to compile the Linux kernel and get compile_commands.json.
And then run goblint compile_commands.json to analyze the kernel.
However, I got the following error:
REDOREDOREDOREDOlinux-6.2/arch/x86/include/asm/jump_label.h[27:0-0] : syntax error
Parsing errorFatal error: exception Goblint_lib__Maingoblint.FrontendError("Frontc.ParseError: Parse error")
Command exited with non-zero status 2
Any feedback will be appreciate!
The text was updated successfully, but these errors were encountered:
I first use
bear -- make
to compile the Linux kernel and get compile_commands.json.And then run
goblint compile_commands.json
to analyze the kernel.However, I got the following error:
Any feedback will be appreciate!
The text was updated successfully, but these errors were encountered: