vast

Огромный: Mlir для анализа программы

Обшивлена ​​библиотека для анализа программ и инструментов C/C ++ и связанных с ними языков. Abst обеспечивает основу для настраиваемого представления программы для широкого спектра анализов. Используя инфраструктуру MLIR, обширно предоставляет набор инструментов для представления программы C/C ++ на различных этапах компиляции и для преобразования представления в абстракцию программы с наилучшей подходящей программой.

Для получения дополнительной информации проверить railofbits.github.io/vast/.

Попробуйте огромный

Вы можете экспериментировать с обширным на компиляторе. Не стесняйтесь использовать обширные и производить диалекты Mlir. Чтобы указать желаемый выход MLIR, используйте опцию -vast-emit-mlir=<dialect> . В настоящее время поддерживаемые варианты:

• -vast-emit-mlir=hl для генерации диалекта высокого уровня.
• -vast-emit-mlir=llvm для генерации диалекта LLVM MLIR.

Обратитесь к документации с огромным фронтом для получения дополнительной информации.

Лицензия

Огромный лицензирован в соответствии с лицензией Apache 2.0. Огромные ссылки против и используют API Clang и LLVM. Clang также лицензирован в Apache 2.0, за исключением LLVM.

Это исследование было разработано с финансированием Агентства по продвинутым исследовательским проектам обороны (DARPA). Взгляд, мнения и/или выводы, относящиеся к автору и не должны интерпретироваться как представляющие официальные взгляды или политику Министерства обороны или правительства США.

Заявление о распределении A - утверждено для публичного освобождения, дистрибуция неограниченное