splint

4热度

1回答

我正在使用夹板作为c99代码的静态分析器。 Splint似乎不符合c99标准。因此，我已经应用这个补丁： http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080718/52cc25f6/attachment.obj 现在我没有得到任何解析错误由于申报不beeing在上面。但我仍然得到解析错误在for循环，如果我把

0热度

1回答

/usr/include/arpa/inet.h:35:27：解析Splint错误

在用夹板检查我的代码时，我遇到了一个问题。起初，我在POSIXLIB上遇到了一个错误。于是我运行夹板与+ posixlib如下， splint mss_client_main.c +posixlib -I ../include/ 但我得到了以下错误：夹板3.1.1 --- 2004年6月15日 /usr/include/arpa/inet.h:35:27: Parse Error. (For

2热度

1回答

夹板如何执行污点分析

如何使用Splint执行污渍分析？我在我的Ubuntu 12.04上安装了Splint。创建为以下一个小的测试用例： #include<stdio.h> #include<string.h> int main(int argc, char *argv[]) { char a[10]; strncpy(a,argv[1],10); printf(a);

0热度

1回答

为什么不用splint解析curl/curlbuild.h？

我写了一个使用curl库，因此包含fornol.c程序如下： #include <curl/curl.h> 我想在我的程序运行splint，但是这是我得到的错误： $ splint fornol.c Splint 3.1.2 --- 03 May 2009 /usr/include/curl/curlbuild.h:165:33: Parse Error: Suspect mi

2热度

1回答

什么是Splint中的“Fresh Storage”？

我已经搜索了“新鲜存储”的Splint文档，并且发现了它，但没有正式的定义。其他修饰符，如null或only，我理解并正在使用。我只是不确定什么是新鲜的存储空间。的情况是这样的： void output_system_information(unsigned int frequency, unsigned int duration) { unsigned int intervals

6热度

2回答

.splintrc预处理程序指令中的WhiteSpaces -D

我想在debian稳定环境中的某些源上运行splint。我需要给予预处理指令-DUINT16_T='unsigned short'，因为我经常需要它。我想将其放入我的.splintrc文件中。从命令行运行如splint -DUINT16_T='unsigned short' mysource.c它运行良好。如果移动此行到我.splintrc文件 -DUINT16_T='unsigned sho

0热度

1回答

C90角色到底层抽象类型

取决于记录相关的功能的一个联机结构看起来像这样： typedef struct { TFkt_vlogf vlogf; TFkt_outf outf; void* logData; } TLogger; 在这种记录功能有一个抽象logData分配与根据工作不同的指针，该记录器有。一个Filelogger会在一个点上访问一个存储的文件句柄。 FILE * fi

3热度

3回答

Splint警告“声明没有效果”，由于功能指针

我想用Splint（严格模式）检查一个C程序。我使用语义注释注释了源代码，以帮助Splint 了解我的程序。一切都很好，但我就是无法摆脱一个警告：声明没有效果（通过调用函数不受约束可能my_function_pointer修改undected）。声明没有明显的效果---没有值被修改。它可以通过调用一个不受约束的函数来修改某些内容。（使用-noeffectuncon来禁止警告）这是由函数指针

2热度

1回答

如何触发Splint的抽象类型检查器？

我想用夹板来检测具有相同的基础类型typedef S之间隐式转换，如下面的代码： typedef int counter; typedef int delta; static int func(int a, int b, int c) { return a + b + c; } int main(void) { int a = 5; counter b

1热度

2回答

如何使用夹板工具检查源代码时包含头文件？

我创建了2 C程序源代码文件和一个只包含函数声明的头文件。 mypattern.h #include<stdio.h> void pattern_check(char *,int,char *); pattern_main.c #include<mypattern.h> int main(int argc,char *argv[]) { int i,max,flag=1; char