splint

1열

1답변

(내 previous question의 확장입니다.) Windows CLI에서 부목을 사용하고 있습니다. XC8 임베디드 C 컴파일러에는 사용자 정의 유형 bit이 있습니다. 내가 unsigned char으로 bit를 대체하기 위해 필요하지만 -Dbit=char : 구문 분석 부목을 얻으려면, 나는 그것에 CLI 옵션을 전달할 수 있습니다. 공백 문자가

0열

1답변

방법은 내가 현재 Visual Studio에서 외부 도구로 사용할 수 부목을 만들려고 노력하고있어 외부 도구

사용할 수 IncludeDirs를 만들기 위해 2010 년 는이 포함하는 것이 보이기 때문에 그것은 모든 파일에 대해이 포함되어 찾는 문제가 변수는 빌드시에만 설정되며 어떤 식 으로든 include 파일을 추출 할 다른 가능성을 찾지 못했습니다. 내 질문 : IncludeDir 필드를 현재 파일의 프로젝트 속성 페이지에서 이상적으로 VC++의 Additio

2열

1답변

어떻게 부목의 추상 형식 검사기를 트리거합니까?

이 나는 그런 다음 코드에서와 동일한 기본 유형 typedef들 사이의 암시 적 캐스트를 감지하기 위해 부목을 사용하려면 : 나는 이것에 대한 Splint 사용할 수 있지만이 생성하지 않습니다처럼 typedef int counter; typedef int delta; static int func(int a, int b, int c) {

2열

1답변

win32 정수 접미어로 작업 할 부목 가져 오기

Windows 컴파일러에서 사용하는 것으로 보이는 크기 지정 접미사를 사용하는 시스템 헤더 파일에 대해 부 합성 오류가 발생합니다. 따라서 부목은 0xffui8 (여기서 ui8은 8 비트의 부호없는 정수를 의미)과 같은 표현식을 포함하는 파일을 구문 분석 할 수 없습니다. 이 문제를 해결하기 위해 부목을 어떻게 구성 할 수 있습니까? 더 넓은 컨텍스트 :

1열

1답변

부목 : strcpy()의 새로운 새로운 저장소?

내가 부목을 배우고 더 잘 이해하기 위해 노력하고있어, 나는이 코드에서 얻을 오류에 대해 궁금 해요 : #include <stddef.h> #include <stdlib.h> #include <string.h> /*@[email protected]*/ /*@[email protected]*/ char *dupStr(const char *str) {

1열

1답변

부목에 적용 할 인수에서 메모리 포인터를 반환하는 방법

부목을 사용하는 데 문제가 발생했습니다. 여기에 기능 GetMem으로의 인수 밖으로 들어 #include <stdio.h> #include <stdlib.h> static void getMem(/*@[email protected]*/void **out, size_t size) { if(out == NULL) return;

0열

1답변

/usr/include/arpa/inet.h:35:27 : 부울의 구문 분석 오류

부목을 사용하여 코드를 검사하는 동안 한 가지 문제가 있습니다. 처음에는 POSIXLIB에 오류가 발생했습니다. 그래서 다음과 같이 나는 splint mss_client_main.c +posixlib -I ../include/ , + posixlib에 부목을 실행하지만 난 다음 오류 가지고 : 부목 3.1.1 --- 6월 15일이 오류를 해결하는 방법

1열

2답변

C 리터럴의 문자 부적합 유형에 대한 경고

부호가없는 문자를 사용하여 작은 범위의 정수를 나타내는 프로그램이 있습니다. 접미사가 없기 때문에 Variable c initialized to type int, expects unsigned char: 0 Types are incompatible. : unsigned char c = 0; 경고를 제공합니다 : 나 자신이 프로그램의 여러 다

2열

1답변

부목 taint 분석을 수행하는 방법

부목을 사용하여 Taint 분석을 수행하는 방법? 내 우분투 12.04에 부목을 설치했습니다. 다음 내용을 #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를 구문 분석하지 않습니까?

나는 컬 라이브러리를 사용하므로 포함하는 fornol.c 프로그램을 쓴 다음 #include <curl/curl.h> 내가 내 프로그램에 splint을 실행하려면, 그러나 이것은 내가 오류입니다 : $ splint fornol.c Splint 3.1.2 --- 03 May 2009 /usr/include/curl/curlbuild.h:165:33: