VAST é uma biblioteca para análise e instrumentação do programa de C/C ++ e idiomas relacionados. A VAST fornece uma base para a representação personalizável do programa para um amplo espectro de análises. Usando a infraestrutura MLIR, o VAST fornece um conjunto de ferramentas para representar o programa C/C ++ em vários estágios da compilação e transformar a representação na abstração do programa de melhor ajuste.
Para obter mais informações, verifique o trackofbits.github.io/vast/.
Você pode experimentar vasto no Compiler Explorer. Sinta -se à vontade para usar vastos e produzir dialetos MLIR. Para especificar a saída MLIR desejada, utilize a opção -vast-emit-mlir=<dialect> . Atualmente, as opções suportadas são:
-vast-emit-mlir=hl para gerar dialeto de alto nível.-vast-emit-mlir=llvm para gerar dialeto llvm mlir.Consulte a vasta documentação para detalhes adicionais.
O VAST é licenciado de acordo com a licença Apache 2.0. Vastos links contra e usa as APIs CLANG e LLVM. O CLANG também é licenciado no Apache 2.0, com exceções de LLVM.
Esta pesquisa foi desenvolvida com financiamento da Agência de Projetos de Pesquisa Avançada de Defesa (DARPA). As opiniões, opiniões e/ou descobertas expressas são as do autor e não devem ser interpretadas como representando as opiniões ou políticas oficiais do Departamento de Defesa ou do governo dos EUA.
Declaração de distribuição A - aprovada para liberação pública, distribuição ilimitada