Up
Index of values
_
[
Sarif.Schema
]
_
[
Sarif.Run
]
_
[
Sarif.VersionControlDetails
]
_
[
Sarif.Sarif_result
]
_
[
Sarif.Resources
]
_
[
Sarif.Rule
]
_
[
Sarif.RuleConfiguration
]
_
[
Sarif.LogicalLocation
]
_
[
Sarif.ExternalFiles
]
_
[
Sarif.Fix
]
_
[
Sarif.FileChange
]
_
[
Sarif.File
]
_
[
Sarif.Replacement
]
_
[
Sarif.GraphTraversal
]
_
[
Sarif.Graph
]
_
[
Sarif.Hash
]
_
[
Sarif.Edge_traversal
]
_
[
Sarif.Node
]
_
[
Sarif.Edge
]
_
[
Sarif.Conversion
]
_
[
Sarif.Invocation
]
_
[
Sarif.Tool
]
_
[
Sarif.Notification
]
_
[
Sarif.Sarif_exception
]
_
[
Sarif.CodeFlow
]
_
[
Sarif.Attachment
]
_
[
Sarif.ThreadFlow
]
_
[
Sarif.ThreadFlowLocation
]
_
[
Sarif.Stack
]
_
[
Sarif.StackFrame
]
_
[
Sarif.Location
]
_
[
Sarif.PhysicalLocation
]
_
[
Sarif.Properties
]
_
[
Sarif.Rectangle
]
_
[
Sarif.Region
]
_
[
Sarif.FileContent
]
_
[
Sarif.FileLocation
]
_
[
Sarif.Message
]
A
addedFile
[
Sarif.Role
]
analysisTarget
[
Sarif.Role
]
append_after
[
Parameter_sig.List
]
append a list at the end of the current state
append_before
[
Parameter_sig.List
]
append a list in front of the current state
attachment
[
Sarif.Role
]
B
bs_absent
[
Sarif.Result_baselineState
]
bs_existing
[
Sarif.Result_baselineState
]
bs_new
[
Sarif.Result_baselineState
]
C
cl_error
[
Sarif.RuleConfigLevel
]
cl_note
[
Sarif.RuleConfigLevel
]
cl_open
[
Sarif.RuleConfigLevel
]
cl_warning
[
Sarif.RuleConfigLevel
]
create
[
Sarif.Schema
]
create
[
Sarif.Run
]
create
[
Sarif.Sarif_result
]
create
[
Sarif.Resources
]
create
[
Sarif.Rule
]
create
[
Sarif.File
]
create
[
Sarif.Invocation
]
create
[
Sarif.Tool
]
create
[
Sarif.Location
]
create
[
Sarif.PhysicalLocation
]
create
[
Sarif.Properties
]
create
[
Sarif.Region
]
create
[
Sarif.FileLocation
]
create
[
Sarif.Message
]
D
default
[
Sarif.Resources
]
default
[
Sarif.Rule
]
default
[
Sarif.RuleConfiguration
]
default
[
Sarif.Conversion
]
default
[
Sarif.Invocation
]
default
[
Sarif.Tool
]
default
[
Sarif.Sarif_exception
]
default
[
Sarif.Additional_properties
]
default
[
Sarif.Stack
]
default
[
Sarif.Location
]
default
[
Sarif.PhysicalLocation
]
default
[
Sarif.Properties
]
default
[
Sarif.Region
]
default
[
Sarif.FileContent
]
default
[
Sarif.FileLocation
]
default
[
Sarif.Message
]
deletedFile
[
Sarif.Role
]
E
error
[
Sarif.Result_level
]
error
[
Sarif.Notification_kind
]
essential
[
Sarif.Stl_importance
]
G
gen_report
[
Md_gen
]
gen_report
[
Markdown_report.Md_gen
]
generates the report (either final or
draft
according to the flag)
generate
[
Sarif_gen
]
get_function_name
[
Parameter_sig.String
]
returns the given argument only if it is a valid function name (see
Parameter_customize
.get_c_ified_functions
for more information), and abort otherwise.
get_plain_string
[
Parameter_sig.String
]
always return the argument, even if the argument is not a function name.
get_possible_values
[
Parameter_sig.String
]
What are the acceptable values for this parameter.
get_remarks
[
Parse_remarks
]
get_remarks f
retrieves the elements associated to various sections of the report, referenced by their anchor.
I
important
[
Sarif.Stl_importance
]
M
markdown
[
Sarif.Message
]
md_gen
[
Eva_coverage
]
modifiedFile
[
Sarif.Role
]
N
notApplicable
[
Sarif.Result_level
]
note
[
Sarif.Result_level
]
note
[
Sarif.Notification_kind
]
O
of_loc
[
Sarif.Location
]
of_loc
[
Sarif.PhysicalLocation
]
of_loc
[
Sarif.Region
]
of_loc
[
Sarif.FileLocation
]
of_yojson
[
Sarif.Json_type
]
of_yojson
[
Sarif.Schema
]
of_yojson
[
Sarif.Run
]
of_yojson
[
Sarif.ColumnKind
]
of_yojson
[
Sarif.VersionControlDetails
]
of_yojson
[
Sarif.Sarif_result
]
of_yojson
[
Sarif.Result_baselineState
]
of_yojson
[
Sarif.Result_suppressionState
]
of_yojson
[
Sarif.Result_level
]
of_yojson
[
Sarif.Resources
]
of_yojson
[
Sarif.Rule
]
of_yojson
[
Sarif.RuleConfiguration
]
of_yojson
[
Sarif.RuleConfigLevel
]
of_yojson
[
Sarif.LogicalLocation
]
of_yojson
[
Sarif.ExternalFiles
]
of_yojson
[
Sarif.Fix
]
of_yojson
[
Sarif.FileChange
]
of_yojson
[
Sarif.File
]
of_yojson
[
Sarif.Replacement
]
of_yojson
[
Sarif.GraphTraversal
]
of_yojson
[
Sarif.Graph
]
of_yojson
[
Sarif.Hash
]
of_yojson
[
Sarif.Role
]
of_yojson
[
Sarif.Edge_traversal
]
of_yojson
[
Sarif.Node
]
of_yojson
[
Sarif.Edge
]
of_yojson
[
Sarif.Conversion
]
of_yojson
[
Sarif.Invocation
]
of_yojson
[
Sarif.Tool
]
of_yojson
[
Sarif.Notification
]
of_yojson
[
Sarif.Notification_kind
]
of_yojson
[
Sarif.Sarif_exception
]
of_yojson
[
Sarif.CodeFlow
]
of_yojson
[
Sarif.Attachment
]
of_yojson
[
Sarif.ThreadFlow
]
of_yojson
[
Sarif.ThreadFlowLocation
]
of_yojson
[
Sarif.Stl_importance
]
of_yojson
[
Sarif.Stack
]
of_yojson
[
Sarif.StackFrame
]
of_yojson
[
Sarif.Location
]
of_yojson
[
Sarif.PhysicalLocation
]
of_yojson
[
Sarif.Properties
]
of_yojson
[
Sarif.Rectangle
]
of_yojson
[
Sarif.Region
]
of_yojson
[
Sarif.FileContent
]
of_yojson
[
Sarif.FileLocation
]
of_yojson
[
Sarif.Message
]
of_yojson
[
Sarif.Version
]
of_yojson
[
Sarif.Uri
]
of_yojson
[
Sarif.Json_dictionary
]
P
pass
[
Sarif.Result_level
]
plain_text
[
Sarif.Message
]
R
renamedFile
[
Sarif.Role
]
responseFile
[
Sarif.Role
]
resultFile
[
Sarif.Role
]
S
sarif_github
[
Sarif.Uri
]
set_possible_values
[
Parameter_sig.String
]
Set what are the acceptable values for this parameter.
standardStream
[
Sarif.Role
]
suppressedExternally
[
Sarif.Result_suppressionState
]
suppressedInSource
[
Sarif.Result_suppressionState
]
T
tags_of_yojson
[
Sarif.Properties
]
tags_to_yojson
[
Sarif.Properties
]
to_yojson
[
Sarif.Json_type
]
to_yojson
[
Sarif.Schema
]
to_yojson
[
Sarif.Run
]
to_yojson
[
Sarif.ColumnKind
]
to_yojson
[
Sarif.VersionControlDetails
]
to_yojson
[
Sarif.Sarif_result
]
to_yojson
[
Sarif.Result_baselineState
]
to_yojson
[
Sarif.Result_suppressionState
]
to_yojson
[
Sarif.Result_level
]
to_yojson
[
Sarif.Resources
]
to_yojson
[
Sarif.Rule
]
to_yojson
[
Sarif.RuleConfiguration
]
to_yojson
[
Sarif.RuleConfigLevel
]
to_yojson
[
Sarif.LogicalLocation
]
to_yojson
[
Sarif.ExternalFiles
]
to_yojson
[
Sarif.Fix
]
to_yojson
[
Sarif.FileChange
]
to_yojson
[
Sarif.File
]
to_yojson
[
Sarif.Replacement
]
to_yojson
[
Sarif.GraphTraversal
]
to_yojson
[
Sarif.Graph
]
to_yojson
[
Sarif.Hash
]
to_yojson
[
Sarif.Role
]
to_yojson
[
Sarif.Edge_traversal
]
to_yojson
[
Sarif.Node
]
to_yojson
[
Sarif.Edge
]
to_yojson
[
Sarif.Conversion
]
to_yojson
[
Sarif.Invocation
]
to_yojson
[
Sarif.Tool
]
to_yojson
[
Sarif.Notification
]
to_yojson
[
Sarif.Notification_kind
]
to_yojson
[
Sarif.Sarif_exception
]
to_yojson
[
Sarif.CodeFlow
]
to_yojson
[
Sarif.Attachment
]
to_yojson
[
Sarif.ThreadFlow
]
to_yojson
[
Sarif.ThreadFlowLocation
]
to_yojson
[
Sarif.Stl_importance
]
to_yojson
[
Sarif.Stack
]
to_yojson
[
Sarif.StackFrame
]
to_yojson
[
Sarif.Location
]
to_yojson
[
Sarif.PhysicalLocation
]
to_yojson
[
Sarif.Properties
]
to_yojson
[
Sarif.Rectangle
]
to_yojson
[
Sarif.Region
]
to_yojson
[
Sarif.FileContent
]
to_yojson
[
Sarif.FileLocation
]
to_yojson
[
Sarif.Message
]
to_yojson
[
Sarif.Version
]
to_yojson
[
Sarif.Uri
]
to_yojson
[
Sarif.Json_dictionary
]
traceFile
[
Sarif.Role
]
U
uncontrolledFile
[
Sarif.Role
]
unicodeCodePoints
[
Sarif.ColumnKind
]
unimportant
[
Sarif.Stl_importance
]
unmodifiedFile
[
Sarif.Role
]
utf16CodeUnits
[
Sarif.ColumnKind
]
V
v2_0_0
[
Sarif.Version
]
W
warning
[
Sarif.Result_level
]
warning
[
Sarif.Notification_kind
]