splint

splint

文章 2 浏览 59

为什么夹板不解析curl/curlbuild.h?

我编写了一个使用curl库的fornol.c程序,因此包含以下内容: #include 我想在我的程序上运行splint,但这是我得到的错误: $ splint fornol.c Splint …

你好,陌生人 2024-12-11 06:44:29 0 0

如何为 Splint 注释 BoehmGC 收集的代码?

Splint 可以很好地追踪 C 代码中的内存泄漏。每个malloc() 都应该有一个匹配的free()。但 BoehmGC 收集的代码使用 GC_MALLOC() 且没有匹配的 GC_FREE(…

り繁华旳梦境 2024-11-27 18:16:11 3 0

PTHREAD_COND_INITIALIZER 与 Splint

我有以下代码 static pthread_mutex_t watchdogMutex = PTHREAD_MUTEX_INITIALIZER; static pthread_cond_t watchdogCond = PTHREAD_COND_INITIALIZER…

说不完的你爱 2024-11-05 23:40:22 5 0

夹板警告“声明无效”由于函数指针

我正在尝试使用 Splint 检查 C 程序(在严格模式下)。我用语义注释对源代码进行了注释,以帮助 Splint 理解我的程序。一切都很好,但我无法摆脱警告…

情仇皆在手 2024-11-02 14:04:57 6 0

夹板调试解析错误

这是我第一次使用 splint(来自 Ubuntu 存储库),我立刻就被 WTF 击中了。错误消息: nightcracker@nightcracker-pc:~/c/brainfuck$ splint brainfuc…

一个人的夜不怕黑 2024-10-27 03:15:49 5 0

这个夹板警告的含义是什么?我可能做错了什么?

这是代码行: bool cpfs_utimens(struct Cpfs *, char const *path, struct timespec const[2]); 运行 splint 3.1.2 会生成此警告: cpfs.h:21:74: Fu…

愁以何悠 2024-09-18 11:34:15 13 0

__thread 上的夹板 barfs,它是 C99 的一部分

运行 matt@stanley:~/cpfs$ splint -paramuse +gnuextensions cpfs.c 夹板在这一行停止: __thread int cpfs_errno; 出现解析错误: cpfs.c:127:13: P…

南街九尾狐 2024-09-17 22:41:18 7 0

如何解决 Splint 中的解析错误

Splint 在发现解析错误后不会继续检查。我也尝试过 +trytorecover 选项,但没有改变。 请让我知道如何使用 +trytorecover 使 Splint 在解析错误后尝试…

太阳公公是暖光 2024-09-15 17:54:26 8 0

将整个程序与复杂的构建过程结合起来

我想在我的系统上运行夹板整个程序分析。然而,系统非常大,不同的部分是使用不同的编译器定义和包含路径进行编译的。我可以看到如何将这些信息传递给…

活雷疯 2024-08-18 08:47:01 9 0

删除 Splint 中的空警告

我一直在用我最近编写的 C 程序尝试 Splint 并尝试理解并删除它给出的警告。一个我理解但无法理解如何删除它的代码片段来自以下代码片段: static MyT…

阳光下的泡沫是彩色的 2024-08-11 11:25:32 9 0

有没有办法让 Splint 或类似的静态检查器与 Linux 内核模块一起工作?

我从“hello-5.c示例nofollow noreferrer">Linux 内核模块编程指南”,当我尝试 insmod 它时,我收到以下错误: insmod: error inserting 'hello-5.ko…

记忆消瘦 2024-08-08 09:42:07 8 0

夹板的示例 rc 文件

我正在使用夹板进行代码检查,它会抛出大量警告。 我想其中一些可以忽略不计。 我正在通过反复试验来创建 .splintrc 。 我的问题是, 是否有一些可以…

-小熊_ 2024-07-23 12:13:52 8 0

splint 如何知道我的函数没有在另一个文件中使用?

Splint 给了我以下警告: encrypt.c:4:8: Function exported but not used outside encrypt: flip A declaration is exported, but not used outside …

相守太难 2024-07-17 08:49:49 13 0

夹板和测试覆盖率分析?

我正在寻找一种具有成熟的夹板的静态分析工具,它还可以对代码进行测试覆盖率分析。 例如,libfoo.c 中的所有非静态函数都应该出现在 libfoo.h 中,因…

一个人的旅程 2024-07-15 18:55:15 12 0

C99 和 ANSI-C 中的 struct 有什么区别?

这段代码在 ANSI-C 中似乎不正确,但在 C99 中没问题: struct a { int x; int y; } z; What are the Differences about struct in C99 and ANSI-C ? …

夏有森光若流苏 2024-07-12 05:58:38 11 0
更多

推荐作者

Gabu-gabumon

文章 0 评论 0

qq_CgiN62

文章 0 评论 0

荔枝明

文章 0 评论 0

¤→小豸慧

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文