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

Question

부목을 사용하는 데 문제가 발생했습니다. 여기에 기능 GetMem으로의 인수 밖으로 들어

#include <stdio.h> 
#include <stdlib.h> 

static void getMem(/*@null@*/void **out, size_t size) 
{ 

    if(out == NULL) 
     return; 

    *out = malloc(size); 
} 

int main(/*@unused@*/int argc, /*@unused@*/char *argv[]) 
{ 
    char *str = NULL; 

    getMem((void **)&str, 1); 
    if(str != NULL) 
    { 
     *str = 'a'; 
     (void)putchar(*str); 
     free(str); 
    } 

    return 0; 
} 

부목이 같은 경고 메시지를 제공하는 비슷한 코드,

main.c: (in function getMem) 
main.c:11:2: Function returns with possibly null storage derivable from 
       parameter *out 
    A possibly null pointer is reachable from a parameter or global variable that 
    is not declared using a /*@null@*/ annotation. (Use -nullstate to inhibit 
    warning) 
    main.c:10:12: Storage *out may become null 
main.c:11:2: Function returns storage out reachable from parameter not 
       completely defined (**out is undefined) 
    Storage derivable from a parameter, return value or global is not defined. 
    Use /*@out@*/ to denote passed or returned storage which need not be defined. 
    (Use -compdef to inhibit warning) 
    main.c:10:12: Storage **out allocated 

, 내가 사용하기 전에 NULL 포인터를 확인해야합니다. 그런 다음 메모리 주소를 반환합니다. 어노테이션 "/ @ out @ /"은 함수에서 사용되었으므로 첫 번째 인수 앞에 넣을 수 없습니다. "/ @ null @ /"은 null이 될 수 있지만 out이 아님을 나타냅니다. 나는 그것을 어떻게 다룰 지 모른다. 아무도 조언을 줄 수 있습니까? 미리 감사드립니다.

Answer 1

궁극적으로 부목을 사용하여 표현하고자하는 것을 표현할 수 없습니다. 주어진 프로토 타입으로는 불가능합니다. 주된 이유는 부목에게 *out이 /*@out@*/이고 /*@only@*/이라는 것을 말해야한다는 것입니다. splint에는 매개 변수를 통해 /*@only@*/ 저장소를 반환한다는 개념이 없습니다. splender 매개 변수에 /*@only@*/을 배치 할 때마다 질문에있는 함수 free()이 메모리를 할당하지만 여기에 할당하려고합니다. 기본적으로 두 가지 옵션이 있습니다.

• 부목장이 처리 할 수있는 방식으로 함수 프로토 타입을 변경하십시오. 특히 매개 변수를 통해 할당 된 메모리를 반환하지 마십시오.
• 이 기능을 (예 : 검사되지 않은 별도의 파일에 넣음으로써) 편안하게 확인하고 부목장이 처리 할 수있는 프로토 타입이있는 래퍼 기능을 작성하십시오.