C 언어에 대한 전방 자르기 도구

Question

C 언어에 대한 순방향 자르기 도구를 찾고 있습니다. Google에서 검색 할 때 어떤 결과도 찾지 못했습니다.

위스콘신 프로그램 슬라이싱 도구 버전 1.1에 액세스하고 싶지만이 도구는 배포되지 않았을 것입니다. 다른 도구가 C 프로그램의 슬라이스 기능을 제공 할 수 있습니까?

Answer 1

오픈 소스 정적 분석 플랫폼 Frama-C는 impact analysis 기능을 가진 slicing 플러그인을 가지고 있습니다.

OP는 초기화의 영향이 계산되는 예제를 제안합니다. sum = 0;. 이 예는 다음과 같습니다

는

void main() { 
    int i = 1;  int sum = 0; 
    while (i<11) { 
     sum = add(sum, i); 
     i = add(i, 1); 
    } 
    printf("sum = %d\n", sum); 
    printf("i = %d\n", i); 
} 

static int add(int a, int b) 
{ 
    return(a+b); 
} 

사용할 명령 라인은 :

가

frama-c-gui -val t.c 

좌측 열에있는 체크 표시가 있다는 것을 사용자에게 알려 기능이 add 인 선택된 명령. 분석기는 오른쪽 하단에 학술지에서이 예제를 사용하여 몇 가지 사소한 문제를 지적합니다.