Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
37dc88a3
Commit
37dc88a3
authored
Oct 19, 2020
by
Virgile Prevosto
Browse files
[MdR] fix deterministic sarif output to pass validation
parent
beb92eac
Changes
3
Hide whitespace changes
Inline
Side-by-side
src/plugins/markdown-report/sarif_gen.ml
View file @
37dc88a3
...
...
@@ -26,7 +26,7 @@ let frama_c_sarif () =
let
name
=
"frama-c"
in
let
version
,
semanticVersion
=
if
Mdr_params
.
SarifDeterministic
.
get
()
then
"omitted-for-deterministic-output"
,
""
"
0+
omitted-for-deterministic-output"
,
""
else
Fc_config
.
version_and_codename
,
Fc_config
.
version
in
...
...
@@ -234,7 +234,7 @@ let gen_run remarks =
List
.
fold_left
(
fun
acc
(
name
,
dir
)
->
let
baseUri
=
if
Mdr_params
.
SarifDeterministic
.
get
()
then
"omitted-for-deterministic-output/"
"
file:///
omitted-for-deterministic-output/"
else
"file://"
^
dir
^
"/"
in
(
name
,
`Assoc
[(
"uri"
,
`String
baseUri
)])
::
acc
...
...
src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
View file @
37dc88a3
...
...
@@ -7,8 +7,8 @@
"tool": {
"driver": {
"name": "frama-c",
"fullName": "frama-c-omitted-for-deterministic-output",
"version": "omitted-for-deterministic-output",
"fullName": "frama-c-
0+
omitted-for-deterministic-output",
"version": "
0+
omitted-for-deterministic-output",
"downloadUri": "https://frama-c.com/download.html",
"informationUri": "https://frama-c.com"
}
...
...
@@ -29,10 +29,14 @@
}
],
"originalUriBaseIds": {
"FRAMAC_SHARE": { "uri": "omitted-for-deterministic-output/" },
"FRAMAC_LIB": { "uri": "omitted-for-deterministic-output/" },
"FRAMAC_PLUGIN": { "uri": "omitted-for-deterministic-output/" },
"PWD": { "uri": "omitted-for-deterministic-output/" }
"FRAMAC_SHARE": {
"uri": "file:///omitted-for-deterministic-output/"
},
"FRAMAC_LIB": { "uri": "file:///omitted-for-deterministic-output/" },
"FRAMAC_PLUGIN": {
"uri": "file:///omitted-for-deterministic-output/"
},
"PWD": { "uri": "file:///omitted-for-deterministic-output/" }
},
"artifacts": [
{
...
...
src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif
View file @
37dc88a3
...
...
@@ -7,8 +7,8 @@
"tool": {
"driver": {
"name": "frama-c",
"fullName": "frama-c-omitted-for-deterministic-output",
"version": "omitted-for-deterministic-output",
"fullName": "frama-c-
0+
omitted-for-deterministic-output",
"version": "
0+
omitted-for-deterministic-output",
"downloadUri": "https://frama-c.com/download.html",
"informationUri": "https://frama-c.com"
}
...
...
@@ -29,10 +29,14 @@
}
],
"originalUriBaseIds": {
"FRAMAC_SHARE": { "uri": "omitted-for-deterministic-output/" },
"FRAMAC_LIB": { "uri": "omitted-for-deterministic-output/" },
"FRAMAC_PLUGIN": { "uri": "omitted-for-deterministic-output/" },
"PWD": { "uri": "omitted-for-deterministic-output/" }
"FRAMAC_SHARE": {
"uri": "file:///omitted-for-deterministic-output/"
},
"FRAMAC_LIB": { "uri": "file:///omitted-for-deterministic-output/" },
"FRAMAC_PLUGIN": {
"uri": "file:///omitted-for-deterministic-output/"
},
"PWD": { "uri": "file:///omitted-for-deterministic-output/" }
},
"artifacts": [
{
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment