Merge branch 'for-gitlab-ci' into 'master'

Add Docker-based CI integration

See merge request pub/open-source-case-studies!4

.gitignore

@@ -16,3 +16,7 @@ flamegraph.txt
 
 benchs-value.csv
 bench_clone
+
+# .sarif reports are produced as CI artifacts, but we do not want to version
+# them, due to their size and the redundancy w.r.t. Eva logs.
+*.sarif

.gitlab-ci.yml

+default:
+  image: framac/frama-c:dev
+
+build:
+  tags:
+    - docker
+  script:
+    - make -B all >/dev/null
+    - git diff --exit-code
+    - make sarif
+  artifacts:
+    paths:
+    - "*/.frama-c/*.sarif"

Makefile

@@ -111,6 +111,11 @@ parse: $(addsuffix .parse,$(TARGETS))
 
 stats: $(addsuffix .stats,$(TARGETS))
 
+%.sarif:
+	$(MAKE) -C $*/.frama-c sarif
+
+sarif: $(addsuffix .sarif,$(TARGETS))
+
 display-targets:
 	@echo $(foreach target,$(TARGETS),\
 	        $(addprefix $(target)/,\

Makefile.common

 # Makefile optionally included by each GNUmakefile in the target directories.
 # Note: it must be included at the end of the makefiles,
 # to ensure e.g. TARGETS and other variables are properly defined.
+
+### Extra targets for SARIF report
+# '-noautoload-plugins -load-module eva,markdown_report' minimize loading time
+# of several dozens of calls to Frama-C
+%.sarif: %.eva
+	$(FRAMAC) -no-autoload-plugins -load-module eva,markdown_report -load $^/framac.sav -mdr-gen sarif -mdr-no-print-libc -mdr-sarif-deterministic -mdr-out $@
+
+sarif: $(TARGETS:%.eva=%.sarif)

frama-c @ 18624738

-Subproject commit 292964f3767f94f2e4a45e347aa33fde15a225d1
+Subproject commit 186247381f19703b1572dba997865645cd80d5e9