回答情况：
提问时间：
问题标签：
1回答
我在一段C代码上运行splint，它给了我以下语句： jumptable_entry(Use -mustfreeonly to inhibit我知道splint希望我在使用calloc分配内存之前先free它，但既然这是在应用程序的初始化阶段，我应该担心它吗？
浏览 2修改于2013-11-05得票数 0
我正在尝试学习和更好地理解splint，我想知道我从这段代码中得到的一个错误：#include <stdlib.h> return NULL; (void) strncpy(copy, str, len);}Splint
浏览 5提问于2013-10-19得票数 1
为了让夹板正常工作，我做了一个非常简单的测试：
空主(空){}
步骤5:输入命令`c:\splint\bin\splint.exe步骤5:输入命令`c:\splint\bin\sp
浏览 0提问于2014-02-23得票数 0
这让Splint疯狂地收到了大量关于内存泄漏的消息，而这些消息实际上并不存在。
有没有人知道这类代码的正确注释，以便Splint不再显示虚假的内存泄漏消息？
浏览 6修改于2013-09-04得票数 3
回答已采纳
我想使用Splint来检测具有相同底层类型的typedef之间的隐式强制转换，如以下代码所示：typedef int delta;
static int func如何让Splint像这样进行“强”类型检查？
浏览 3提问于2013-05-10得票数 2
在使用splint检查代码时，我遇到了一个问题。起初，我在POSIXLIB上得到一个错误。所以我用+posixlib运行splint，如下所示， splint -help parseerrors.)
*** Cannot continue.
浏览 5提问于2012-01-14得票数 0
回答已采纳
如下所示：connection = mysql_init(NULL);mysql_close(connection);
但是Splint
浏览 1修改于2014-08-07得票数 3
回答已采纳
是否可以使用拼板设置标志来检测此逻辑故障？ if((a > 0) && (a == 0)){...} 第二个变量a是一个拼写错误。应该是b。 我试过+ifempty和+ifblock，结果发现它们是用来做别的事情的。有什么建议吗？还是说它超越了夹板？
浏览 25修改于2020-06-24得票数 2
Splint给了我以下警告： A declaration is(Use -exportlocal to inhibit warning)因为我只在这个文件上调用了splint，它是怎么知道的
浏览 11提问于2009-04-12得票数 0
回答已采纳
我试图用一个简短的CGI脚本来使用夹板，但是得到这个错误：如果mysql_init是NULL，则定义它返回一个新值，如果不是，则将结果存储在param中。但是，如果我试着mysql_init(connection);Variable connection used before definition
浏览 5修改于2014-08-07得票数 0
回答已采纳
在这样的代码库上运行像splint这样的linting工具当然不是不可能的1，但微不足道的努力并不足以让事情继续下去。
在我投入更多时间之前，我希望在这个问题上获得一些反馈和意见。
浏览 9提问于2011-11-22得票数 5
回答已采纳
anon@anon:~/kernel-source/lkmpg$ splint -I/lib/modules/$(uname -r)/build/include hello-5.c parseerrors.)
*** Cannot continue.
浏览 4提问于2009-10-25得票数 3
回答已采纳
这两个都是数学值，但是浮点数确实有更高的精度。这是导致误差的唯一原因吗--精度的差异？或者还有另一个潜在的(更严重的)问题？
浏览 0提问于2008-09-01得票数 4
回答已采纳
1回答
/splint_evaluationa/my_project/source/*.c
这是我的makefile： -warnposixheaders \INC_
浏览 5提问于2015-04-28得票数 0
回答已采纳
1回答
我试着遵循这里的指令：git clone https://github.com/splintchecker/splint../src/splint -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
Splint 3
浏览 0修改于2022-03-05得票数 0
回答已采纳
对于使用windows编译器似乎使用的指定大小后缀的系统头文件，Splint遇到分析错误。因此，splint无法解析包含0xffui8 (其中ui8表示8位无符号整数)这样的表达式的文件。我如何配置splint来解决这个问题？
更广泛的背景:我正在尝试让splint与WinDDK 7600.16385.1一起工作。带有示例的文件是intsafe.h。
浏览 6提问于2017-09-20得票数 2
我编写了一个使用curl库的fornol.c程序，因此包括以下内容：我想在我的程序上运行splint，但这是我得到的错误： Suspect missing(For help on parse errors, see spli
浏览 1提问于2011-10-19得票数 0
回答已采纳
这是我的代码：import subprocessimport os
def splint(bot, trigger):在这里使用我的小测试代码，我已经确定它适用于print：
output = subpr
浏览 0提问于2015-02-01得票数 0
回答已采纳
1回答
char *argv[]) { strncpy(a,argv[1],10); return 0;还创建了具有以下内容的splint.xhchar *s2, size_t num) /*@ensures s1:taintedness = s1:taintedness | s2:taintedness @*/ ; literal ==> untainted
浏览 0修改于2012-11-05得票数 2
回答已采纳
我试图在一个C源代码上运行splint，其中包括标准C库中的complex.h，以支持复杂的算术。Splint 3.1.2 --- 03 May 2009
parse errors, see splint -help*** Cann
浏览 7修改于2010-06-30得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号