samth
2020-6-30 16:11:46

We now have access to the GitHub code-scanning beta, so we can upload a SARIF file from the LLVM analysis



samth
2020-6-30 16:12:05

cc @pocmatos


pocmatos
2020-6-30 18:21:09

@samth interesting - i am currently on holidays for a couple of days camping. I will look at it as soon as i am back. Possibly Thursday given the weather… :)


samth
2020-6-30 18:21:30

ah, have fun! where are you camping?


pocmatos
2020-6-30 18:24:36

South Germany - Bavaria. Near the Austrian border. Only about 3 hours from home but I love the Alps so it’s always a good break for me.


pocmatos
2020-6-30 18:26:30

We are also mid-year and I want to return to do some more CI work. Unless there are any suggestions I will start with adding CI pipelines for arm32 and aarch64 devices before looking into benchmarking.


pocmatos
2020-6-30 19:47:53

@samth was quickly looking at the link you sent. Have you registered the racket org for https://github.com/features/security/advanced-security/signup ?


pocmatos
2020-6-30 19:58:32

It’s tricky to edit this at the moment but here:



pocmatos
2020-6-30 19:58:56

the sarif file is being output in ../.., so it won’t be I think in the expected place.


pocmatos
2020-6-30 19:59:10

you mgiht want to name it racketcgc-report.sarif


pocmatos
2020-6-30 20:04:38

just started the laptop to look at this quickly…


pocmatos
2020-6-30 20:04:48

i had never tried the -sarif option to scan-build.


pocmatos
2020-6-30 20:04:56

when you do, the output is in subfolder.


pocmatos
2020-6-30 20:04:59

so:


pocmatos
2020-6-30 20:05:18

if you do scan-build -sarif -o report.sarif


pocmatos
2020-6-30 20:05:38

you get the real sarif file in a subfolder: report.sarif/2020-06-30-200249-1884-1/report-b2oQHB.sarif


pocmatos
2020-6-30 20:06:50

we need after the scan-build to do something like cp $(find racketcgc-report -name '*.sarif') /tmp/report.sarif and then use the absolute path /tmp/report.sarif in the sarif file keyword.


pocmatos
2020-6-30 20:06:53

that should work.


pocmatos
2020-6-30 20:07:14

Tomorrow I might have more time to prepare a patch if you haven’t done so already.


pocmatos
2020-6-30 20:12:27

We might still have a problem. The scan-build I just used says its using the 2.0.0 schema. Github says it requires 2.1.0 https://help.github.com/en/github/finding-security-vulnerabilities-and-errors-in-your-code/sarif-support-for-code-scanning#supported-sarif-output-file-properties


pocmatos
2020-6-30 20:12:59

# cat report.sarif/2020-06-30-200249-1884-1/report-b2oQHB.sarif{ "$schema": "<http://json.schemastore.org/sarif-2.0.0-csd.2.beta.2018-11-28>",


pocmatos
2020-6-30 20:13:08

unsure if this is going to be a problem.


pocmatos
2020-6-30 20:16:41

Upstream supports 2.1.0. So updating scan-build image to use llvm10, instead of llvm9.