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 ：要獲得夾板來分析，我可以傳遞給它的命令行選項。空格字符是一個問題。我如何修改上面的標誌？