splint

splint

文章 2 浏览 58

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 1 0

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

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

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

夹板调试解析错误

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

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

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

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

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

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

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

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

如何解决 Splint 中的解析错误

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

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

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

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

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

删除 Splint 中的空警告

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

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

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

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

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

夹板的示例 rc 文件

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

-小熊_ 2024-07-23 12:13:52 5 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 9 0

夹板和测试覆盖率分析?

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

一个人的旅程 2024-07-15 18:55:15 8 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 8 0

解决有关“未使用”功能的夹板警告 当它们作为参数传递时

在我的程序中,splint 检查器警告: expat-test.c:23:1: Function exported but not used outside expat-test: start A declaration is exported, but…

微凉徒眸意 2024-07-11 18:18:53 8 0

C语言变量定义 splint

按照 [C语言入门经典(第四版)][(美)霍顿] 书里写练习了一段代码.用splint检查了一下.出下面的问.说是未定义的变量错误. 不明白怎么写才算了定义了变…

流心雨 2021-11-16 08:33:44 754 0
更多

推荐作者

1CH1MKgiKxn9p

文章 0 评论 0

ゞ记忆︶ㄣ

文章 0 评论 0

JackDx

文章 0 评论 0

信远

文章 0 评论 0

yaoduoduo1995

文章 0 评论 0

霞映澄塘

文章 0 评论 0

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