Closed sim642 closed 2 years ago
The following JSON fields are parsed https://github.com/goblint/MagpieBridge-Goblint/blob/5df41b6821e9b44d9f0f49dd6bd6c59e8b0eb456/src/main/java/GoblintResult.java#L13-L16 but tags is not.
tags
Given no other possibility, they should be presented like in Goblint's terminal output: as prefix for the message text, each in [].
[]
Maybe it would be useful, if Goblint also returned them as ["Race", "CWE-123"], not
["Race", "CWE-123"]
[ { "Category": ["Race"] }, { "CWE": 123 } ]
?
The following JSON fields are parsed https://github.com/goblint/MagpieBridge-Goblint/blob/5df41b6821e9b44d9f0f49dd6bd6c59e8b0eb456/src/main/java/GoblintResult.java#L13-L16 but
tags
is not.Given no other possibility, they should be presented like in Goblint's terminal output: as prefix for the message text, each in
[]
.Maybe it would be useful, if Goblint also returned them as
["Race", "CWE-123"]
, not?