vast
latest
Vast는 C/C ++ 및 관련 언어의 프로그램 분석 및 계측을위한 라이브러리입니다. Vast는 광범위한 분석을위한 맞춤형 프로그램 표현을위한 기반을 제공합니다. Vast는 MLIR 인프라를 사용하여 컴파일의 다양한 단계에서 C/C ++ 프로그램을 나타내는 툴셋을 제공하고 표현을 가장 적합한 프로그램 추상화로 변환합니다.
자세한 내용은 TRAILOFBITS.github.io/vast/를 확인하십시오.
컴파일러 탐색기에 대한 방대한 실험을 할 수 있습니다. 방대한 사용하고 mlir 방언을 생산하십시오. 원하는 mlir 출력을 지정하려면 -vast-emit-mlir=<dialect> 옵션을 사용하십시오. 현재 지원되는 옵션은 다음과 같습니다.
-vast-emit-mlir=hl 고급 방언을 생성합니다.-vast-emit-mlir=llvm llvm mlir 방언을 생성합니다.자세한 내용은 광대 한 최대 문서를 참조하십시오.
Vast는 Apache 2.0 라이센스에 따라 라이센스가 부여됩니다. Clang 및 LLVM API에 대한 방대한 링크 및 사용. Clang은 또한 Apache 2.0에 따라 라이센스가 부여되며 LLVM 예외가 있습니다.
이 연구는 DERPA (Defense Advanced Research Projects Agency)의 자금으로 개발되었습니다. 표현 된 견해, 의견 및/또는 조사 결과는 저자의 견해 및 결과이며 국방부 또는 미국 정부의 공식 견해 또는 정책을 나타내는 것으로 해석되어서는 안됩니다.
배포 명세서 A - 공개 릴리스 승인, 배포 무제한
