ci: Check that vast-front can produce SARIF files.

.github/workflows/build.yml

@@ -57,3 +57,4 @@ jobs:
 
       - name: Test ${{ matrix.build-type }} with sanitizers set ${{ matrix.sanitizers }}
         run: ctest --preset ci-${{ matrix.features }} --build-config ${{ matrix.build-type }}
+

test/lit.cfg.py

@@ -156,6 +156,9 @@
 if stdbit_test.returncode == 0:
     config.available_features.add("stdbit")
 
+if config.enable_sarif:
+    config.available_features.add("sarif")
+
 uchar_input = b'''
 #include <uchar.h>
 

test/lit.site.cfg.py.in

@@ -2,6 +2,9 @@
 
 import sys
 
+def to_bool(value):
+    return value in [True, 'TRUE', 'ON', 1, '1']
+
 config.host_triple = "@LLVM_HOST_TRIPLE@"
 config.target_triple = "@TARGET_TRIPLE@"
 config.llvm_src_root = "@LLVM_SOURCE_DIR@"
@@ -31,6 +34,7 @@ config.llvm_host_triple = '@LLVM_HOST_TRIPLE@'
 config.host_arch = "@HOST_ARCH@"
 config.vast_src_root = "@CMAKE_SOURCE_DIR@"
 config.vast_obj_root = "@CMAKE_BINARY_DIR@"
+config.enable_sarif = to_bool("@VAST_ENABLE_SARIF@")
 
 # Support substitution of the tools_dir with user parameters. This is
 # used when we can't determine the tool dir at configuration time.

test/vast/Compile/Sarif/argc.c

@@ -0,0 +1,12 @@
+// RUN: %vast-front -o %t -vast-output-sarif=%t.sarif %s && test -f %t.sarif && cat %t.sarif | %file-check %s
+// REQUIRES: sarif
+
+// CHECK: "informationUri": "https://github.com/trailofbits/vast.git",
+// CHECK: "name": "vast-front",
+// CHECK: "organization": "Trail of Bits, inc.",
+// CHECK: "product": "VAST",
+
+int main(int argc, char **argv)
+{
+    return argc;
+}