Excuse the ads! We need some help to keep our site up.
#include <stdio.h> void main(){ if(1){ printf("Nice!\n"); }else{ printf("Wrong!\n"); } } |
#include <stdio.h> void main(){ int x,y,z; scanf("%d",&x); scanf("%d",&y); z = x * 2; if(z == 1000){ if(y > z){ printf("Nice!\n"); }else{ printf("Wrong!\n"); } } } |
Symbolic execution은 다른 테스팅 패러다임들이 사용하는 입력별 프로그램 분석(추론)보다 이점이 있는 경로별 프로그램 분석(추론)에 사용됩니다.
하지만 만약 적은 입력이 프로그램의 같은 경로를 사용한다면, 각각의 입력별로 테스트하는 것이 비용을 절약 할 수 있습니다.
Name | architecture | Url |
---|---|---|
Triton | x86 and x86-64 | http://triton.quarkslab.com |
angr | libVEX based (supporting x86, x86-64, ARM, AARCH64, MIPS, MIPS64, PPC, and PPC64) | http://angr.io/ |