Skip to content

trailofbits/vast-checker

Repository files navigation

vast-checker

This is the vast-checker project.

Building on Ubuntu 22.04

sudo apt-get update && sudo apt-get install -y --no-install-recommends \
  clang-15 \
  clang-tools-15 \
  libclang-common-15-dev \
  libclang-15-dev \
  llvm-15 \
  llvm-15-dev \
  libllvm15 \
  libmlir-15-dev \
  mlir-15-tools \
  lld-15
git clone --recursive https://github.com/trailofbits/vast-checker.git
cmake -S vast-checker -B build --toolchain ./external/vast/cmake/lld.toolchain.cmake \
                      -D CMAKE_BUILD_TYPE=Release \
                      -D CMAKE_PREFIX_PATH=/usr/lib/llvm-15 \
                      -D CMAKE_C_COMPILER=clang-15 \
                      -D CMAKE_CXX_COMPILER=clang++-15
cmake --build build -j$(nproc)

Usage

./build/external/vast/tools/vast-front/vast-front \
                      -vast-emit-mlir=hl \
                      -o extract.hl.mlir \
                      vast-checker/sequoia/extract.c
./build/vast-checker -sequoia extract.hl.mlir > /dev/null

Contributing

See the CONTRIBUTING document.

Licensing

About

No description, website, or topics provided.

Resources

License

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published