splint 与 gcc：外部静态代码分析工具值得为 C 代码库付出努力吗？
我正在开发一个相当复杂的项目，而且它是一个内核内的 Linux 模块，这让事情变得更加复杂。在这样的代码库上运行像 splint 这样的 linting 工具当然不…
为什么夹板不解析curl/curlbuild.h？
我编写了一个使用curl库的fornol.c程序，因此包含以下内容： #include 我想在我的程序上运行splint，但这是我得到的错误： $ splint fornol.c Splint …
如何为 Splint 注释 BoehmGC 收集的代码？
Splint 可以很好地追踪 C 代码中的内存泄漏。每个malloc() 都应该有一个匹配的free()。但 BoehmGC 收集的代码使用 GC_MALLOC() 且没有匹配的 GC_FREE(…
PTHREAD_COND_INITIALIZER 与 Splint
我有以下代码 static pthread_mutex_t watchdogMutex = PTHREAD_MUTEX_INITIALIZER; static pthread_cond_t watchdogCond = PTHREAD_COND_INITIALIZER…
这个夹板警告的含义是什么？我可能做错了什么？
这是代码行： bool cpfs_utimens(struct Cpfs *, char const *path, struct timespec const[2]); 运行 splint 3.1.2 会生成此警告： cpfs.h:21:74: Fu…
__thread 上的夹板 barfs，它是 C99 的一部分
运行 matt@stanley:~/cpfs$ splint -paramuse +gnuextensions cpfs.c 夹板在这一行停止： __thread int cpfs_errno; 出现解析错误： cpfs.c:127:13: P…
如何解决 Splint 中的解析错误
Splint 在发现解析错误后不会继续检查。我也尝试过 +trytorecover 选项，但没有改变。 请让我知道如何使用 +trytorecover 使 Splint 在解析错误后尝试…
有没有办法让 Splint 或类似的静态检查器与 Linux 内核模块一起工作？
我从“hello-5.c示例nofollow noreferrer">Linux 内核模块编程指南”，当我尝试 insmod 它时，我收到以下错误： insmod: error inserting 'hello-5.ko…
splint 如何知道我的函数没有在另一个文件中使用？
Splint 给了我以下警告： encrypt.c:4:8: Function exported but not used outside encrypt: flip A declaration is exported, but not used outside …
