{"id":18894171,"url":"https://github.com/trailofbits/vast","last_synced_at":"2025-04-05T17:08:42.933Z","repository":{"id":61302809,"uuid":"383850623","full_name":"trailofbits/vast","owner":"trailofbits","description":"VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.","archived":false,"fork":false,"pushed_at":"2024-04-26T15:27:47.000Z","size":4404,"stargazers_count":335,"open_issues_count":156,"forks_count":24,"subscribers_count":25,"default_branch":"master","last_synced_at":"2024-04-27T16:52:34.162Z","etag":null,"topics":["c","clang","compiler-frontend","compilers","cpp","intermediate-representation","mlir","program-analysis"],"latest_commit_sha":null,"homepage":"https://trailofbits.github.io/vast/","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/trailofbits.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":"CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-07-07T15:49:47.000Z","updated_at":"2024-04-29T15:35:51.141Z","dependencies_parsed_at":"2023-09-23T09:52:54.223Z","dependency_job_id":"ac5c6b5f-803f-4202-84a9-c7c9607fa151","html_url":"https://github.com/trailofbits/vast","commit_stats":null,"previous_names":[],"tags_count":78,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fvast","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fvast/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fvast/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fvast/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits","download_url":"https://codeload.github.com/trailofbits/vast/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247369952,"owners_count":20927928,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["c","clang","compiler-frontend","compilers","cpp","intermediate-representation","mlir","program-analysis"],"created_at":"2024-11-08T08:19:12.621Z","updated_at":"2025-04-05T17:08:42.889Z","avatar_url":"https://github.com/trailofbits.png","language":"C++","readme":"[![Build \u0026 Test](https://github.com/trailofbits/vast/actions/workflows/build.yml/badge.svg)](https://github.com/trailofbits/vast/actions/workflows/build.yml)\n[![C++ Linter](https://github.com/trailofbits/vast/actions/workflows/linter.yml/badge.svg)](https://github.com/trailofbits/vast/actions/workflows/linter.yml)\n[![License](https://img.shields.io/badge/License-Apache_2.0-blue.svg)](https://opensource.org/licenses/Apache-2.0)\n\n# VAST: MLIR for Program Analysis\n\nVAST is a library for program analysis and instrumentation of C/C++ and related\nlanguages. VAST provides a foundation for customizable program representation\nfor a broad spectrum of analyses. Using the MLIR infrastructure, VAST provides\na toolset to represent C/C++ program at various stages of the compilation and\nto transform the representation to the best-fit program abstraction.\n\nFor further information check [trailofbits.github.io/vast/](https://trailofbits.github.io/vast/).\n\n## Try VAST\n\nYou can experiment with VAST on [compiler explorer](https://godbolt.org/z/3se3q9Tja). Feel free to use VAST and produce MLIR dialects. To specify the desired MLIR output, utilize the `-vast-emit-mlir=\u003cdialect\u003e` option. Currently, the supported options are:\n\n- `-vast-emit-mlir=hl` to generate [high-level](https://trailofbits.github.io/vast/dialects/HighLevel/HighLevel/) dialect.\n- `-vast-emit-mlir=llvm` to generate LLVM MLIR dialect.\n\nRefer to the [vast-front documentation](https://trailofbits.github.io/vast/Tools/vast-front/) for additional details.\n\n## License\n\nVAST is licensed according to the [Apache 2.0](LICENSE) license. VAST links against and uses Clang and LLVM APIs. Clang is also licensed under Apache 2.0, with [LLVM exceptions](https://github.com/llvm/llvm-project/blob/main/clang/LICENSE.TXT).\n\nThis research was developed with funding from the Defense Advanced Research Projects Agency (DARPA). The views, opinions and/or findings expressed are those of the author and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.\n\nDistribution Statement A – Approved for Public Release, Distribution Unlimited\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftrailofbits%2Fvast","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftrailofbits%2Fvast","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftrailofbits%2Fvast/lists"}