腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
4
回答
有没有像PPI或Perl::Critic这样的C语言?
、
、
、
、
和允许程序员检测他们的Perl程序语法中的某些东西。
浏览 8
提问于2009-12-18
得票数 9
1
回答
夹板静态分析器:找不到
splint
.rc配置文件
、
、
、
为了让夹板正常工作,我做了一个非常简单的测试: 空主(空){} 步骤5:输入命令`c:\
splint
\bin\
splint
.exe步骤5:输入命令`c:\
splint
\bin\
sp
浏览 0
提问于2014-02-23
得票数 0
1
回答
夹板:无法打开文件
、
/
splint
_evaluationa/my_project/source/*.c 这是我的makefile: -warnposixheaders \INC_
浏览 5
提问于2015-04-28
得票数 0
回答已采纳
1
回答
如何在Ubuntu20.04VM上安装夹板?
、
、
我试图按照网站(http://
splint
.org/
linux
.html)上的说明在这个VM上安装夹板。/home/user/Downloads/
splint
浏览 0
提问于2020-11-04
得票数 0
回答已采纳
2
回答
如何在使用夹板工具检查源代码时包含头文件?
、
、
i],strlen(pat[i])); free(output);在
linux
上用夹板工具检查代码时,我得到了以下错误: pattern_main.c:1:22: Cannot find include file mypattern.h
浏览 3
提问于2011-11-15
得票数 4
回答已采纳
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
回答已采纳
1
回答
获取与win32整数后缀一起工作的拼板
、
、
、
对于使用windows编译器似乎使用的指定大小后缀的系统头文件,
Splint
遇到分析错误。因此,
splint
无法解析包含0xffui8 (其中ui8表示8位无符号整数)这样的表达式的文件。我如何配置
splint
来解决这个问题? 更广泛的背景:我正在尝试让
splint
与WinDDK 7600.16385.1一起工作。带有示例的文件是intsafe.h。
浏览 6
提问于2017-09-20
得票数 2
1
回答
为什么夹板不解析curl/curlbuild.h?
、
、
我编写了一个使用curl库的fornol.c程序,因此包括以下内容:我想在我的程序上运行
splint
,但这是我得到的错误: Suspect missing(For help on parse errors, see
spli
浏览 1
提问于2011-10-19
得票数 0
回答已采纳
2
回答
拼接调试解析错误
、
这是我第一次使用
splint
(来自Ubuntu存储库),我马上就被WTF击中了。错误消息:
Splint
3.1.2 --- 03 May 2009 parseerrors.) *** Cannot continue.
浏览 4
提问于2011-03-27
得票数 6
回答已采纳
1
回答
C中的System()函数显示有错误的输出
、
在使用system()时,我使用的命令是:但是,此命令的输出未正确发送到txt文件。
浏览 1
提问于2011-03-31
得票数 0
回答已采纳
1
回答
如何生成夹板日志
、
、
我希望在
Linux
下生成一个完整的夹板报告文件,包括日期和拆分工具版本。我尝试使用">“将stdio拆分输出重定向到一个文件,但在文件中,我发现只有拆分的消息才能更好地解释,我在main.c上运行
splint
,在stdio上运行以下消息: **
Splint
3.1.2 --
浏览 3
提问于2021-11-23
得票数 0
回答已采纳
1
回答
如何将夹板插入Makefile?
、
我想配置我的项目,以便使用夹板分析不同的组成部分。
浏览 3
提问于2015-04-27
得票数 0
回答已采纳
1
回答
/usr/include/arpa/inet.h:35:27:
Splint
中出现解析错误
、
在使用
splint
检查代码时,我遇到了一个问题。起初,我在POSIXLIB上得到一个错误。所以我用+posixlib运行
splint
,如下所示,
splint
-help parseerrors.) *** Cannot continue.
浏览 5
提问于2012-01-14
得票数 0
回答已采纳
2
回答
在包含comp.h的代码上夹板失败
、
、
、
我试图在一个C源代码上运行
splint
,其中包括标准C库中的complex.h,以支持复杂的算术。
Splint
3.1.2 --- 03 May 2009 parse errors, see
splint
-help*** Cann
浏览 7
提问于2010-06-29
得票数 1
回答已采纳
1
回答
与威利机器人输出不起作用,但打印
、
、
这是我的代码:import subprocessimport os def
splint
(bot, trigger):在这里使用我的小测试代码,我已经确定它适用于print: output = subpr
浏览 0
提问于2015-02-01
得票数 0
回答已采纳
1
回答
使用cygwin,lint位于哪个包中?我找不到它,导致代码失败,因为它需要lint
他们的API,脚本只能在
Linux
上运行,我用的是cygwin。 它依赖于lint.exe,我在任何cygwin包中都找不到它(当我在安装程序和网站上搜索时)。
浏览 1
提问于2019-01-12
得票数 1
3
回答
XCode构建阶段:在后台运行脚本(不阻止构建)
当我在模拟器中构建和运行iOS应用程序时,我希望能够在后台运行脚本(即不会阻塞构建过程)。我尝试过osascript /path/to/script &,也尝试了一个单独的shell脚本来做同样的事情,但这两个脚本都不起作用;构建停止,我不得不强制退出XCode。
浏览 0
提问于2013-04-16
得票数 7
回答已采纳
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-09-29
得票数 2
回答已采纳
2
回答
C语言中的C++名称损坏
、
、
、
C语言不像C++那样使用名称损坏。当函数原型在不同的文件中以不同的方式声明时,这可能会导致细微的错误。简单的例子:int test(int x, int y) return y;#include <stdio.h> { printf("n = %d\n", n);} 当使用C编译器(我的例子是gcc)编译这类代码时,没有报告任何错误。切换
浏览 3
提问于2014-07-31
得票数 4
1
回答
make[n]中的n是什么意思?
、
、
/
splint
-3.1.2'makemake[3]: Entering directory `.
splint
浏览 5
提问于2013-12-22
得票数 3
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Linux DNS 查询剖析 Linux 中国
Manjaro Linux 22.0 发布|Linux 中国
Alpine Linux 3.18 发布|Linux 中国
Linux基础(3)linux命令3
linux高级课程-在Linux中编程
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券