splint

0热度

1回答

根据Splint FAQ：对于Win32，夹板寻找splint.rc而不是.splintrc由于 DOS文件名限制。它会先在当前目录，然后在您的主目录中查找。我已经建立了一个非常简单的测试，试图让夹板工作：步骤1：提取splint-3.1.1.win32.zip到c:\splint 第2步：在c:\test\test.c把一个简单的程序：无效的主要（无效）{ } 步骤3：茹N “CMD”

2热度

1回答

获取夹板以使用win32整数后缀

Splint遇到系统头文件的解析错误，该文件使用窗口编译器似乎使用的尺寸指定后缀。因此，夹板无法解析包含像0xffui8这样的表达式的文件（其中ui8表示无符号的8位整数）。我如何配置藤条来解决这个问题？更广阔的背景下：我试图让夹板与WinDDK 7600.16385.1一起工作。例如文件是intsafe.h。

1热度

1回答

Splint：从strcpy（）新的新存储？

我努力学习，更好地理解夹板，和我想了解一下一个错误，我从这个代码获得： #include <stddef.h> #include <stdlib.h> #include <string.h> /*@[email protected]*/ /*@[email protected]*/ char *dupStr(const char *str) { char *copy;

1热度

1回答

如何从参数返回内存指针以应用于夹板

我遇到了使用夹板的问题。下面是类似的代码 #include <stdio.h> #include <stdlib.h> static void getMem(/*@[email protected]*/void **out, size_t size) { if(out == NULL) return; *out = malloc(size); }

0热度

1回答

夹板：无法打开文件

当试图通过makefile文件我用夹板项目运行分析，我得到这个错误信息： Cannot open file: ../splint_evaluationa/my_project/source/*.c Finished checking --- no code processed 这里是我的makefile： SPLINT_FLAGS =-preproc \ -warnposi

3热度

1回答

适用于Windows的示例Splint选项文件

我正在尝试使用我正在开发的嵌入式项目进行夹板工作。我想知道是否有一个示例.splintrc选项文件，我可以添加我自己的选项/配置来简化整个过程。我正在使用IAR工作台编译和构建项目，并希望将splint与IDE集成。

0热度

1回答

夹板有趣的错误信息

我正在一块的C代码splint，它给了我下面的语句： jmptable.c:34:5: Implicitly only storage vm->jumptable (type struct jumptable_entry **) not released before assignment: vm->jumptable = (struct jumptable_entry **)

2热度

1回答

使用free（）在c中的驱逐舰功能（根据夹板）后内存泄漏

我重新学习C，并使用splint来测试我的源代码。我努力做到以下几点：创建一个结构，一个“构造”功能以“析构函数”功能，这将释放结构的内存破坏结构。但是，当我用splint测试我的代码时，它会在析构函数中发出与temp存储有关的警告，并在调用析构函数后发出内存泄漏。我想知道（一）是否夹板是正确的关于我的代码中的内存泄漏（我认为不是），和（b）我应该做什么或者修复我的代码或使夹板明白我在做什

1热度

2回答

非标准函数返回类型：修复Splint解析错误

我正在使用嵌入式系统XC8 C编译器（用于PIC微处理器）。以下是允许的： bit foo(){ //... } 但作为非标准C，夹板静态分析器提供了以下错误： Parse Error: Non-function declaration: bit : "--------------------------------------" int. 和文件/误差线是函数原型中相应的.h文件

1热度

1回答

Splint：用`unsigned char`替代非标准类型的'bit`

（这是我的previous question的扩展）。我在Windows CLI中使用Splint。 XC8嵌入式C编译器有一个自定义类型bit。不过，我需要它unsigned char更换bit -Dbit=char ：要获得夹板来分析，我可以传递给它的命令行选项。空格字符是一个问题。我如何修改上面的标志？