씨스미스
Csmith| 원저작자 | 양쉐쥔, 양첸, 에릭 에이드, 존 레게르 |
|---|---|
| 초기 릴리즈 | 전( |
| 안정된 릴리스 | 2.3.0 / 2017년 6월 , 전( |
| 저장소 | github |
| 기입처 | C++, Perl |
| 유형 | 컴파일러 퍼저 |
| 면허증. | BSD 라이선스 |
| 웹 사이트 | embed |
Csmith는 테스트 사례 생성 도구입니다.C99 표준에 준거한 랜덤 C 프로그램을 스태틱 및 다이내믹하게 생성할 수 있습니다.C 코드를 처리하는 컴파일러, 정적 분석기 및 기타 도구에 사용됩니다.이것은 유타 대학의 연구진이 개발한 무료 오픈 소스이며 허가된 C 컴파일러 퍼저입니다.그것은 이전에 [1]랜드프로그라고 불렸다.
외부 링크
- 유타 대학교 Csmith 웹 페이지
- yarpgen:또 다른 랜덤 프로그램 생성기, yarpgen은 랜덤 C/C++ 프로그램 생성기입니다.
레퍼런스
- ^ Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John (2011). "Finding and understanding bugs in C compilers". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11. p. 283. CiteSeerX 10.1.1.225.1281. doi:10.1145/1993498.1993532. ISBN 9781450306638.
