[System]
You are a helpful assistant that answers strictly in JSON. Here's the JSON schema you must adhere to:
<schema>
{"$schema":"http://json-schema.org/draft-07/schema#","$id":"https://json.schemastore.org/samt.json","additionalProperties":false,"properties":{"source":{"description":"Path to the source directory, defaults to ./src","type":"string","format":"uri-reference"},"repositories":{"description":"The default repositories to use if no repository is specified for a plugin","type":"object","properties":{"maven":{"description":"The url to the maven repository to use, defaults to https://repo.maven.apache.org/maven2","type":"string","format":"uri"}},"additionalProperties":false},"plugins":{"type":"array","items":{"oneOf":[{"description":"A local plugin, should most likely not be used in production","type":"object","required":["type","path"],"properties":{"type":{"const":"local"},"path":{"type":"string","format":"uri-reference"}},"additionalProperties":false},{"description":"A maven plugin in POM-like notation, will be downloaded from the provided repository","type":"object","required":["type","groupId","artifactId","version"],"properties":{"type":{"const":"maven"},"groupId":{"type":"string"},"artifactId":{"type":"string"},"version":{"type":"string"},"repository":{"type":"string","format":"uri"}},"additionalProperties":false},{"description":"A maven plugin in gradle-like notation, will be downloaded from the provided repository","type":"object","required":["type","dependency"],"properties":{"type":{"const":"gradle"},"dependency":{"type":"string"},"repository":{"type":"string","format":"uri"}},"additionalProperties":false}]}},"generators":{"description":"Which SAMT generators to use","type":"array","items":{"type":"object","required":["name"],"properties":{"name":{"type":"string"},"output":{"type":"string","format":"uri-reference"},"options":{"type":"object","additionalProperties":{"type":"string"}}},"additionalProperties":false}}},"type":"object"}
</schema>

[User] Provide a JSON object that satisfies the schema "samt". Here are the required top‑level fields: none (all optional). Return only the valid JSON object.

Path to the source directory, defaults to ./src

The default repositories to use if no repository is specified for a plugin

The url to the maven repository to use, defaults to https://repo.maven.apache.org/maven2

A local plugin, should most likely not be used in production

A maven plugin in POM-like notation, will be downloaded from the provided repository

A maven plugin in gradle-like notation, will be downloaded from the provided repository

Which SAMT generators to use

Provide a JSON object that satisfies the schema "samt". Here are the required top‑level fields: none (all optional). Return only the valid JSON object.


[System]
You are a helpful assistant that answers strictly in JSON. Here's the JSON schema you must adhere to:
<schema>
{"$schema":"http://json-schema.org/draft-07/schema#","$id":"https://json.schemastore.org/samtrc.json","additionalProperties":false,"definitions":{"level_type":{"enum":["error","warn","info","off"]},"naming_type":{"enum":["PascalCase","camelCase","kebab-case","snake_case","SCREAMING_SNAKE_CASE"]}},"properties":{"extends":{"description":"The name of the configuration file to extend from, used to determine the default rules to apply","anyOf":[{"type":"string"},{"enum":["recommended","strict"]}]},"rules":{"description":"Configuration for linter rules for the current project","type":"array","items":{"oneOf":[{"description":"Configure whether model types (e.g. record and service) must be in a separate file from their providers and consumers","type":"object","required":["type"],"properties":{"type":{"const":"split-model-and-providers"},"level":{"$ref":"#/definitions/level_type"}},"additionalProperties":false},{"description":"Configure naming rules which apply to all types in the project","type":"object","required":["type"],"properties":{"type":{"const":"naming-conventions"},"level":{"$ref":"#/definitions/level_type"},"record":{"$ref":"#/definitions/naming_type"},"recordField":{"$ref":"#/definitions/naming_type"},"enum":{"$ref":"#/definitions/naming_type"},"enumValue":{"$ref":"#/definitions/naming_type"},"typeAlias":{"$ref":"#/definitions/naming_type"},"service":{"$ref":"#/definitions/naming_type"},"serviceOperation":{"$ref":"#/definitions/naming_type"},"serviceOperationParameter":{"$ref":"#/definitions/naming_type"},"provider":{"$ref":"#/definitions/naming_type"},"package":{"$ref":"#/definitions/naming_type"},"fileName":{"$ref":"#/definitions/naming_type"}},"additionalProperties":false}]}}},"required":["extends"],"type":"object"}
</schema>

[User] Provide a JSON object that satisfies the schema "samtrc". Here are the required top‑level fields: extends. Return only the valid JSON object.

The name of the configuration file to extend from, used to determine the default rules to apply

Configuration for linter rules for the current project

Configure whether model types (e.g. record and service) must be in a separate file from their providers and consumers

Configure naming rules which apply to all types in the project

Provide a JSON object that satisfies the schema "samtrc". Here are the required top‑level fields: extends. Return only the valid JSON object.


[System]
You are a helpful assistant that answers strictly in JSON. Here's the JSON schema you must adhere to:
<schema>
{"$schema":"http://json-schema.org/draft-04/schema#","additionalProperties":false,"definitions":{"annotatedCodeLocation":{"description":"An annotation used to express code flows through a method or other locations that are related to a result.","additionalProperties":false,"type":"object","properties":{"id":{"description":"OBSOLETE (use \"step\" instead): An identifier for the location, unique within the scope of the code flow within which it occurs.","type":["integer","string"],"pattern":"^[1-9][0-9]*$","minimum":1},"step":{"description":"The 0-based sequence number of the location in the code flow within which it occurs.","type":"integer","minimum":0},"physicalLocation":{"$ref":"#/definitions/physicalLocation","description":"A file location to which this annotation refers."},"fullyQualifiedLogicalName":{"description":"The fully qualified name of the method or function that is executing.","type":"string"},"logicalLocationKey":{"description":"A key used to retrieve the annotation's logicalLocation from the logicalLocations dictionary.","type":"string"},"module":{"description":"The name of the module that contains the code that is executing.","type":"string"},"threadId":{"description":"The thread identifier of the code that is executing.","type":"integer"},"message":{"description":"A message relevant to this annotation.","type":"string"},"kind":{"description":"Categorizes the location.","enum":["alias","assignment","branch","call","callReturn","continuation","declaration","functionEnter","functionExit","functionReturn","usage"]},"taintKind":{"description":"Classifies state transitions in code locations relevant to a taint analysis.","enum":["source","sink","sanitizer"]},"target":{"description":"The fully qualified name of the target on which this location operates. For an annotation of kind 'call', for example, the target refers to the fully qualified logical name of the function called from this location.","type":"string"},"values":{"description":"An ordered set of strings that comprise input or return values for the current operation. For an annotation of kind 'call', for example, this property may hold the ordered list of arguments passed to the callee.","type":"array","default":[],"items":{"type":"string"}},"state":{"description":"A dictionary, each of whose keys specifies a variable or expression, the associated value of which represents the variable or expression value. For an annotation of kind 'continuation', for example, this dictionary might hold the current assumed values of a set of global variables.","type":"object"},"targetKey":{"description":"A key used to retrieve the target's logicalLocation from the logicalLocations dictionary.","type":"string"},"essential":{"description":"OBSOLETE (use \"importance\" instead): True if this location is essential to understanding the code flow in which it occurs.","type":"boolean"},"importance":{"description":"Specifies the importance of this location in understanding the code flow in which it occurs. The order from most to least important is \"essential\", \"important\", \"unimportant\". Default: \"important\".","enum":["important","essential","unimportant"]},"snippet":{"description":"The source code at the specified location.","type":"string"},"annotations":{"description":"A set of messages relevant to the current annotated code location.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/annotation"}},"properties":{"description":"Key/value pairs that provide additional information about the code location.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}}},"annotation":{"type":"object","properties":{"message":{"description":"A message relevant to a code location","type":"string"},"locations":{"description":"An array of 'physicalLocation' objects associated with the annotation.","type":"array","minItems":1,"items":{"$ref":"#/definitions/physicalLocation"}}},"required":["message","locations"]},"codeFlow":{"type":"object","properties":{"message":{"description":"A message relevant to the code flow","type":"string"},"locations":{"description":"An array of 'annotatedCodeLocation' objects, each of which describes a single location visited by the tool in the course of producing the result.","type":"array","minItems":1,"items":{"$ref":"#/definitions/annotatedCodeLocation"}},"properties":{"description":"Key/value pairs that provide additional information about the code flow.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"required":["locations"]},"exception":{"type":"object","properties":{"kind":{"type":"string","description":"A string that identifies the kind of exception, for example, the fully qualified type name of an object that was thrown, or the symbolic name of a signal."},"message":{"type":"string","description":"A string that describes the exception."},"stack":{"$ref":"#/definitions/stack","description":"The sequence of function calls leading to the exception."},"innerExceptions":{"type":"array","description":"An array of exception objects each of which is considered a cause of this exception.","items":{"$ref":"#/definitions/exception"}}}},"fileChange":{"description":"A change to a single file.","additionalProperties":false,"type":"object","properties":{"uri":{"description":"A string that represents the location of the file to change as a valid URI.","type":"string","format":"uri"},"uriBaseId":{"description":"A string that identifies the conceptual base for the 'uri' property (if it is relative), e.g.,'$(SolutionDir)' or '%SRCROOT%'.","type":"string"},"replacements":{"description":"An array of replacement objects, each of which represents the replacement of a single range of bytes in a single file specified by 'uri'.","type":"array","minItems":1,"items":{"$ref":"#/definitions/replacement"}}},"required":["uri","replacements"],"dependencies":{"uriBaseId":["uri"]}},"file":{"description":"A single file. In some cases, this file might be nested within another file.","additionalProperties":false,"type":"object","properties":{"uri":{"description":"The path to the file within its containing file.","type":"string","format":"uri"},"uriBaseId":{"description":"A string that identifies the conceptual base for the 'uri' property (if it is relative), e.g.,'$(SolutionDir)' or '%SRCROOT%'.","type":"string"},"parentKey":{"description":"Identifies the key of the immediate parent of the file, if this file is nested.","type":"string"},"offset":{"description":"The offset in bytes of the file within its containing file.","type":"integer"},"length":{"description":"The length of the file in bytes.","type":"integer"},"mimeType":{"description":"The MIME type (RFC 2045) of the file.","type":"string","pattern":"[^/]+/.+"},"contents":{"description":"The contents of the file, expressed as a MIME Base64-encoded byte sequence.","type":"string"},"hashes":{"description":"An array of hash objects, each of which specifies a hashed value for the file, along with the name of the algorithm used to compute the hash.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/hash"}},"properties":{"description":"Key/value pairs that provide additional information about the file.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"dependencies":{"uriBaseId":["uri"]}},"fix":{"description":"A proposed fix for the problem represented by a result object. A fix specifies a set of file to modify. For each file, it specifies a set of bytes to remove, and provides a set of new bytes to replace them.","additionalProperties":false,"type":"object","properties":{"description":{"description":"A string that describes the proposed fix, enabling viewers to present a proposed change to an end user.","type":"string"},"fileChanges":{"description":"One or more file changes that comprise a fix for a result.","type":"array","items":{"$ref":"#/definitions/fileChange"}}},"required":["description","fileChanges"]},"formattedRuleMessage":{"description":"Contains information that can be used to construct a formatted message that describes a result.","additionalProperties":false,"type":"object","properties":{"formatId":{"description":"A string that identifies the message format used to format the message that describes this result. The value of formatId must correspond to one of the names in the set of name/value pairs contained in the 'messageFormats' property of the rule object whose 'id' property matches the 'ruleId' property of this result.","type":"string"},"arguments":{"description":"An array of strings that will be used, in combination with a message format, to construct a result message.","type":"array","items":{"type":"string"}}},"required":["formatId"]},"hash":{"description":"A hash value of some file or collection of files, together with the algorithm used to compute the hash.","additionalProperties":false,"type":"object","properties":{"value":{"description":"The hash value of some file or collection of files, computed by the algorithm named in the 'algorithm' property.","type":"string"},"algorithm":{"description":"The name of the algorithm used to compute the hash value specified in the 'value' property.","enum":["authentihash","blake256","blake512","ecoh","fsb","gost","groestl","has160","haval","jh","md2","md4","md5","md6","radioGatun","ripeMD","ripeMD128","ripeMD160","ripeMD320","sdhash","sha1","sha224","sha256","sha384","sha512","sha3","skein","snefru","spectralHash","ssdeep","swifft","tiger","tlsh","whirlpool"]}},"required":["value","algorithm"]},"invocation":{"description":"The runtime environment of the analysis tool run.","additionalProperties":false,"type":"object","properties":{"commandLine":{"description":"The command line used to invoke the tool.","type":"string"},"responseFiles":{"description":"The contents of any response files specified on the tool's command line.","type":"object","additionalProperties":true},"startTime":{"description":"The date and time at which the run started. See \"Date/time properties\" in the SARIF spec for the required format.","type":"string","format":"date-time"},"endTime":{"description":"The date and time at which the run ended. See \"Date/time properties\" in the  SARIF spec for the required format.","type":"string","format":"date-time"},"machine":{"description":"The machine that hosted the analysis tool run.","type":"string"},"account":{"description":"The account that ran the analysis tool.","type":"string"},"processId":{"description":"The process id for the analysis tool run.","type":"integer"},"fileName":{"description":"The fully qualified path to the analysis tool.","type":"string"},"workingDirectory":{"description":"The working directory for the analysis rool run.","type":"string"},"environmentVariables":{"description":"The environment variables associated with the analysis tool process, expressed as key/value pairs.","type":"object","additionalProperties":true,"default":{}},"properties":{"description":"Key/value pairs that provide additional information about the run.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}}},"location":{"description":"The location where an analysis tool produced a result.","additionalProperties":false,"type":"object","properties":{"analysisTarget":{"$ref":"#/definitions/physicalLocation","description":"Identifies the file that the analysis tool was instructed to scan. This need not be the same as the file where the result actually occurred."},"resultFile":{"$ref":"#/definitions/physicalLocation","description":"Identifies the file where the analysis tool produced the result."},"fullyQualifiedLogicalName":{"description":"The human-readable fully qualified name of the logical location where the analysis tool produced the result. If 'logicalLocationKey' is not specified, this member is can used to retrieve the location logicalLocation from the logicalLocations dictionary, if one exists.","type":"string"},"logicalLocationKey":{"description":"A key used to retrieve the location logicalLocation from the logicalLocations dictionary, when the string specified by 'fullyQualifiedLogicalName' is not unique.","type":"string"},"decoratedName":{"description":"The machine-readable fully qualified name for the logical location where the analysis tool produced the result, such as the mangled function name provided by a C++ compiler that encodes calling convention, return type and other details along with the function name.","type":"string"},"properties":{"description":"Key/value pairs that provide additional information about the location.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}}},"logicalLocation":{"description":"A logical location of a construct that produced a result.","additionalProperties":false,"type":"object","properties":{"name":{"description":"Identifies the construct in which the result occurred. For example, this property might contain the name of a class or a method.","type":"string"},"parentKey":{"description":"Identifies the key of the immediate parent of the construct in which the result was detected. For example, this property might point to a logical location that represents the namespace that holds a type.","type":"string"},"kind":{"description":"The type of construct this logicalLocationComponent refers to. Should be one of 'function', 'member', 'module', 'namespace', 'package', 'resource', or 'type', if any of those accurately describe the construct.","type":"string"}}},"notification":{"type":"object","description":"Describes a condition relevant to the tool itself, as opposed to being relevant to a target being analyzed by the tool.","additionalProperties":false,"properties":{"id":{"description":"An identifier for the condition that was encountered.","type":"string"},"ruleId":{"description":"The stable, unique identifier of the rule (if any) to which this notification is relevant. If 'ruleKey' is not specified, this member can be used to retrieve rule metadata from the rules dictionary, if it exists.","type":"string"},"ruleKey":{"description":"A key used to retrieve the rule metadata from the rules dictionary that is relevant to the notification.","type":"string"},"physicalLocation":{"$ref":"#/definitions/physicalLocation","description":"The file and region relevant to this notification."},"message":{"description":"A string that describes the condition that was encountered.","type":"string"},"level":{"description":"A value specifying the severity level of the notification.","default":"warning","enum":["note","warning","error"]},"threadId":{"description":"The thread identifier of the code that generated the notification.","type":"integer"},"time":{"description":"The date and time at which the analysis tool generated the notification.","type":"string","format":"date-time"},"exception":{"$ref":"#/definitions/exception","description":"The runtime exception, if any, relevant to this notification."},"properties":{"description":"Key/value pairs that provide additional information about the notification.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"required":["message"]},"physicalLocation":{"description":"A physical location relevant to a result. Specifies a reference to a programming artifact together with a range of bytes or characters within that artifact.","additionalProperties":false,"type":"object","properties":{"uri":{"description":"The location of the file as a valid URI.","type":"string","format":"uri"},"uriBaseId":{"description":"A string that identifies the conceptual base for the 'uri' property (if it is relative), e.g.,'$(SolutionDir)' or '%SRCROOT%'.","type":"string"},"region":{"$ref":"#/definitions/region","description":"The region within the file where the result was detected."}},"dependencies":{"uriBaseId":["uri"]}},"region":{"description":"A region within a file where a result was detected.","additionalProperties":false,"type":"object","properties":{"startLine":{"description":"The line number of the first character in the region.","type":"integer","minimum":1},"startColumn":{"description":"The column number of the first character in the region.","type":"integer","minimum":1},"endLine":{"description":"The line number of the last character in the region.","type":"integer","minimum":1},"endColumn":{"description":"The column number of the last character in the region.","type":"integer","minimum":1},"offset":{"description":"The zero-based offset from the beginning of the file of the first byte or character in the region.","type":"integer","minimum":0},"length":{"description":"The length of the region in bytes or characters.","type":"integer","minimum":0}}},"replacement":{"description":"The replacement of a single range of bytes in a file. Specifies the location within the file where the replacement is to be made, the number of bytes to remove at that location, and a sequence of bytes to insert at that location.","additionalProperties":false,"type":"object","properties":{"offset":{"description":"A non-negative integer specifying the offset in bytes from the beginning of the file at which bytes are to be removed, inserted or both. An offset of 0 shall denote the first byte in the file.","type":"integer","minimum":0},"deletedLength":{"description":"The number of bytes to delete, starting at the byte offset specified by offset, measured from the beginning of the file.","type":"integer","minimum":1},"insertedBytes":{"description":"The MIME Base64-encoded byte sequence to be inserted at the byte offset specified by the 'offset' property, measured from the beginning of the file.","type":"string"}},"required":["offset"]},"result":{"description":"A result produced by an analysis tool.","additionalProperties":false,"type":"object","properties":{"ruleId":{"description":"The stable, unique identifier of the rule (if any) to which this notification is relevant. If 'ruleKey' is not specified, this member can be used to retrieve rule metadata from the rules dictionary, if it exists.","type":"string"},"ruleKey":{"description":"A key used to retrieve the rule metadata from the rules dictionary that is relevant to the notification.","type":"string"},"level":{"description":"A value specifying the severity level of the result. If this property is not present, its implied value is 'warning'.","default":"warning","enum":["notApplicable","pass","note","warning","error"]},"message":{"description":"A string that describes the result. The first sentence of the message only will be displayed when visible space is limited.","type":"string"},"formattedRuleMessage":{"$ref":"#/definitions/formattedRuleMessage","description":"A 'formattedRuleMessage' object that can be used to construct a formatted message that describes the result. If the 'formattedMessage' property is present on a result, the 'fullMessage' property shall not be present. If the 'fullMessage' property is present on an result, the 'formattedMessage' property shall not be present"},"locations":{"description":"One or more locations where the result occurred. Specify only one location unless the problem indicated by the result can only be corrected by making a change at every specified location.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/location"}},"snippet":{"description":"A source code or other file fragment that illustrates the result.","type":"string"},"id":{"description":"A unique identifier for the result.","type":"string"},"toolFingerprintContribution":{"description":"A string that contributes to the unique identity of the result.","type":"string"},"stacks":{"description":"An array of 'stack' objects relevant to the result.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/stack"}},"codeFlows":{"description":"An array of 'codeFlow' objects relevant to the result.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/codeFlow"}},"relatedLocations":{"description":"A grouped set of locations and messages, if available, that represent code areas that are related to this result.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/annotatedCodeLocation"}},"suppressionStates":{"type":"array","items":{"description":"A flag value indicating one or more suppression conditions.","enum":["suppressedInSource","suppressedExternally"]}},"baselineState":{"description":"The state of a result relative to a baseline of a previous run.","enum":["new","existing","absent"]},"fixes":{"description":"An array of 'fix' objects, each of which represents a proposed fix to the problem indicated by the result.","type":"array","minItems":1,"uniqueItems":true,"items":{"$ref":"#/definitions/fix"}},"properties":{"description":"Key/value pairs that provide additional information about the result.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}}},"rule":{"description":"Describes an analysis rule.","additionalProperties":false,"type":"object","properties":{"id":{"description":"A stable, opaque identifier for the rule.","type":"string"},"name":{"description":"A rule identifier that is understandable to an end user.","type":"string"},"shortDescription":{"description":"A concise description of the rule. Should be a single sentence that is understandable when visible space is limited to a single line of text.","type":"string"},"fullDescription":{"description":"A string that describes the rule. Should, as far as possible, provide details sufficient to enable resolution of any problem indicated by the result.","type":"string"},"messageFormats":{"description":"A set of name/value pairs with arbitrary names. The value within each name/value pair shall consist of plain text interspersed with placeholders, which can be used to format a message in combination with an arbitrary number of additional string arguments.","type":"object"},"defaultLevel":{"description":"A value specifying the default severity level of the result.","default":"warning","enum":["note","warning","error"]},"helpUri":{"description":"A URI where the primary documentation for the rule can be found.","type":"string","format":"uri"},"properties":{"description":"Key/value pairs that provide additional information about the rule.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"required":["id"]},"run":{"description":"Describes a single run of an analysis tool, and contains the output of that run.","additionalProperties":false,"type":"object","properties":{"tool":{"$ref":"#/definitions/tool","description":"Information about the tool or tool pipeline that generated the results in this run. A run can only contain results produced by a single tool or tool pipeline. A run can aggregate results from multiple log files, as long as context around the tool run (tool command-line arguments and the like) is identical for all aggregated files."},"invocation":{"$ref":"#/definitions/invocation","description":"Describes the runtime environment, including parameterization, of the analysis tool run."},"files":{"description":"A dictionary, each of whose keys is a URI and each of whose values is an array of file objects representing the location of a single file scanned during the run.","type":"object","additionalProperties":{"$ref":"#/definitions/file"}},"logicalLocations":{"description":"A dictionary, each of whose keys specifies a logical location such as a namespace, type or function.","type":"object","additionalProperties":{"$ref":"#/definitions/logicalLocation"}},"results":{"description":"The set of results contained in an SARIF log. The results array can be omitted when a run is solely exporting rules metadata. It must be present (but may be empty) in the event that a log file represents an actual scan.","type":"array","minItems":0,"uniqueItems":true,"items":{"$ref":"#/definitions/result"}},"toolNotifications":{"description":"A list of runtime conditions detected by the tool in the course of the analysis.","type":"array","items":{"$ref":"#/definitions/notification"}},"configurationNotifications":{"description":"A list of conditions detected by the tool that are relevant to the tool's configuration.","type":"array","items":{"$ref":"#/definitions/notification"}},"rules":{"description":"A dictionary, each of whose keys is a string and each of whose values is a 'rule' object, that describe all rules associated with an analysis tool or a specific run of an analysis tool.","type":"object","additionalProperties":{"$ref":"#/definitions/rule"}},"id":{"description":"An identifier for the run.","type":"string"},"stableId":{"description":"A stable identifier for a run, for example, 'nightly Clang analyzer run'. Multiple runs of the same type can have the same stableId.","type":"string"},"automationId":{"description":"A global identifier that allows the run to be correlated with other artifacts produced by a larger automation process.","type":"string"},"baselineId":{"description":"The 'id' property of a separate (potentially external) SARIF 'run' instance that comprises the baseline that was used to compute result 'baselineState' properties for the run.","type":"string"},"architecture":{"description":"The hardware architecture for which the run was targeted.","type":"string"}},"required":["tool"]},"stack":{"description":"A call stack that is relevant to a result.","additionalProperties":false,"type":"object","properties":{"message":{"description":"A message relevant to this call stack.","type":"string"},"frames":{"description":"An array of stack frames that represent a sequence of calls, rendered in reverse chronological order, that comprise the call stack.","type":"array","minItems":1,"items":{"$ref":"#/definitions/stackFrame"}},"properties":{"description":"Key/value pairs that provide additional information about the stack.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"required":["frames"]},"stackFrame":{"description":"A function call within a stack trace.","additionalProperties":false,"type":"object","properties":{"message":{"description":"A message relevant to this stack frame.","type":"string"},"uri":{"description":"The uri of the source code file to which this stack frame refers.","type":"string","format":"uri"},"uriBaseId":{"description":"A string that identifies the conceptual base for the 'uri' property (if it is relative), e.g.,'$(SolutionDir)' or '%SRCROOT%'.","type":"string"},"line":{"description":"The line of the location to which this stack frame refers.","type":"integer"},"column":{"description":"The line of the location to which this stack frame refers.","type":"integer"},"module":{"description":"The name of the module that contains the code of this stack frame.","type":"string"},"threadId":{"description":"The thread identifier of the stack frame.","type":"integer"},"fullyQualifiedLogicalName":{"description":"The fully qualified name of the method or function that is executing.","type":"string"},"logicalLocationKey":{"description":"A key used to retrieve the stack frame logicalLocation from the logicalLocations dictionary, when the 'fullyQualifiedLogicalName' is not unique.","type":"string"},"address":{"description":"The address of the method or function that is executing.","type":"integer"},"offset":{"description":"The offset from the method or function that is executing.","type":"integer"},"parameters":{"description":"The parameters of the call that is executing.","type":"array","items":{"type":"string","default":[]}},"properties":{"description":"Key/value pairs that provide additional information about the stack frame.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"required":["fullyQualifiedLogicalName"],"dependencies":{"uriBaseId":["uri"],"line":["uri"],"column":["line"]}},"tool":{"description":"The analysis tool that was run.","additionalProperties":false,"type":"object","properties":{"name":{"description":"The name of the tool.","type":"string"},"fullName":{"description":"The name of the tool along with its version and any other useful identifying information, such as its locale.","type":"string"},"version":{"description":"The tool version, in whatever format the tool natively provides.","type":"string"},"semanticVersion":{"description":"The tool version in the format specified by Semantic Versioning 2.0.","type":"string"},"fileVersion":{"description":"The binary version of the tool's primary executable file (for operating systems such as Windows that provide that information).","type":"string","pattern":"[0-9]+(\\.[0-9]+){3}"},"sarifLoggerVersion":{"description":"A version that uniquely identifies the SARIF logging component that generated this file, if it is versioned separately from the tool.","type":"string"},"language":{"description":"The tool language (expressed as an ISO 649 two-letter lowercase culture code) and region (expressed as an ISO 3166 two-letter uppercase subculture code associated with a country or region).","type":"string"},"properties":{"description":"Key/value pairs that provide additional information about the tool.","type":"object","additionalProperties":true,"properties":{"tags":{"description":"A set of distinct strings that provide additional information.","type":"array","uniqueItems":true,"default":[],"items":{"type":"string"}}}}},"required":["name"]}},"description":"Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema: a standard format for the output of static analysis and other tools.","id":"https://json.schemastore.org/sarif-1.0.0.json","properties":{"$schema":{"description":"The URI of the JSON schema corresponding to the version.","type":"string","format":"uri"},"version":{"description":"The SARIF format version of this log file.","enum":["1.0.0"]},"runs":{"description":"The set of runs contained in this log file.","type":"array","minItems":1,"items":{"$ref":"#/definitions/run"}}},"required":["version","runs"],"title":"Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema","type":"object"}
</schema>

[User] Provide a JSON object that satisfies the schema "Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema". Here are the required top‑level fields: version, runs. Return only the valid JSON object.

An annotation used to express code flows through a method or other locations that are related to a result.

OBSOLETE (use "step" instead): An identifier for the location, unique within the scope of the code flow within which it occurs.

The 0-based sequence number of the location in the code flow within which it occurs.

A file location to which this annotation refers.

The fully qualified name of the method or function that is executing.

A key used to retrieve the annotation's logicalLocation from the logicalLocations dictionary.

The name of the module that contains the code that is executing.

The thread identifier of the code that is executing.

A message relevant to this annotation.

Categorizes the location.

alias assignment branch call callReturn continuation declaration functionEnter functionExit functionReturn usage

Classifies state transitions in code locations relevant to a taint analysis.

The fully qualified name of the target on which this location operates. For an annotation of kind 'call', for example, the target refers to the fully qualified logical name of the function called from this location.

An ordered set of strings that comprise input or return values for the current operation. For an annotation of kind 'call', for example, this property may hold the ordered list of arguments passed to the callee.

A dictionary, each of whose keys specifies a variable or expression, the associated value of which represents the variable or expression value. For an annotation of kind 'continuation', for example, this dictionary might hold the current assumed values of a set of global variables.

A key used to retrieve the target's logicalLocation from the logicalLocations dictionary.

OBSOLETE (use "importance" instead): True if this location is essential to understanding the code flow in which it occurs.

Specifies the importance of this location in understanding the code flow in which it occurs. The order from most to least important is "essential", "important", "unimportant". Default: "important".

The source code at the specified location.

A set of messages relevant to the current annotated code location.

Key/value pairs that provide additional information about the code location.

A set of distinct strings that provide additional information.

A message relevant to a code location

An array of 'physicalLocation' objects associated with the annotation.

A message relevant to the code flow

An array of 'annotatedCodeLocation' objects, each of which describes a single location visited by the tool in the course of producing the result.

Key/value pairs that provide additional information about the code flow.

A string that identifies the kind of exception, for example, the fully qualified type name of an object that was thrown, or the symbolic name of a signal.

A string that describes the exception.

The sequence of function calls leading to the exception.

An array of exception objects each of which is considered a cause of this exception.

A change to a single file.

A string that represents the location of the file to change as a valid URI.

A string that identifies the conceptual base for the 'uri' property (if it is relative), e.g.,'$(SolutionDir)' or '%SRCROOT%'.

An array of replacement objects, each of which represents the replacement of a single range of bytes in a single file specified by 'uri'.

A single file. In some cases, this file might be nested within another file.

The path to the file within its containing file.

Identifies the key of the immediate parent of the file, if this file is nested.

The offset in bytes of the file within its containing file.

The length of the file in bytes.

The MIME type (RFC 2045) of the file.

The contents of the file, expressed as a MIME Base64-encoded byte sequence.

An array of hash objects, each of which specifies a hashed value for the file, along with the name of the algorithm used to compute the hash.

Key/value pairs that provide additional information about the file.

A set of distinct strings that provide additional information.

A proposed fix for the problem represented by a result object. A fix specifies a set of file to modify. For each file, it specifies a set of bytes to remove, and provides a set of new bytes to replace them.

A string that describes the proposed fix, enabling viewers to present a proposed change to an end user.

One or more file changes that comprise a fix for a result.

Contains information that can be used to construct a formatted message that describes a result.

A string that identifies the message format used to format the message that describes this result. The value of formatId must correspond to one of the names in the set of name/value pairs contained in the 'messageFormats' property of the rule object whose 'id' property matches the 'ruleId' property of this result.

An array of strings that will be used, in combination with a message format, to construct a result message.

A hash value of some file or collection of files, together with the algorithm used to compute the hash.

The hash value of some file or collection of files, computed by the algorithm named in the 'algorithm' property.

The name of the algorithm used to compute the hash value specified in the 'value' property.

The runtime environment of the analysis tool run.

The command line used to invoke the tool.

The contents of any response files specified on the tool's command line.

The date and time at which the run started. See "Date/time properties" in the SARIF spec for the required format.

The date and time at which the run ended. See "Date/time properties" in the  SARIF spec for the required format.

The machine that hosted the analysis tool run.

The account that ran the analysis tool.

The process id for the analysis tool run.

The fully qualified path to the analysis tool.

The working directory for the analysis rool run.

The environment variables associated with the analysis tool process, expressed as key/value pairs.

Key/value pairs that provide additional information about the run.

A set of distinct strings that provide additional information.

The location where an analysis tool produced a result.

Identifies the file that the analysis tool was instructed to scan. This need not be the same as the file where the result actually occurred.

Identifies the file where the analysis tool produced the result.

The human-readable fully qualified name of the logical location where the analysis tool produced the result. If 'logicalLocationKey' is not specified, this member is can used to retrieve the location logicalLocation from the logicalLocations dictionary, if one exists.

A key used to retrieve the location logicalLocation from the logicalLocations dictionary, when the string specified by 'fullyQualifiedLogicalName' is not unique.

The machine-readable fully qualified name for the logical location where the analysis tool produced the result, such as the mangled function name provided by a C++ compiler that encodes calling convention, return type and other details along with the function name.

Key/value pairs that provide additional information about the location.

A logical location of a construct that produced a result.

Identifies the construct in which the result occurred. For example, this property might contain the name of a class or a method.

Identifies the key of the immediate parent of the construct in which the result was detected. For example, this property might point to a logical location that represents the namespace that holds a type.

The type of construct this logicalLocationComponent refers to. Should be one of 'function', 'member', 'module', 'namespace', 'package', 'resource', or 'type', if any of those accurately describe the construct.

Describes a condition relevant to the tool itself, as opposed to being relevant to a target being analyzed by the tool.

An identifier for the condition that was encountered.

The stable, unique identifier of the rule (if any) to which this notification is relevant. If 'ruleKey' is not specified, this member can be used to retrieve rule metadata from the rules dictionary, if it exists.

A key used to retrieve the rule metadata from the rules dictionary that is relevant to the notification.

The file and region relevant to this notification.

A string that describes the condition that was encountered.

A value specifying the severity level of the notification.

The thread identifier of the code that generated the notification.

The date and time at which the analysis tool generated the notification.

The runtime exception, if any, relevant to this notification.

Key/value pairs that provide additional information about the notification.

A set of distinct strings that provide additional information.

A physical location relevant to a result. Specifies a reference to a programming artifact together with a range of bytes or characters within that artifact.

The location of the file as a valid URI.

The region within the file where the result was detected.

A region within a file where a result was detected.

The line number of the first character in the region.

The column number of the first character in the region.

The line number of the last character in the region.

The column number of the last character in the region.

The zero-based offset from the beginning of the file of the first byte or character in the region.

The length of the region in bytes or characters.

The replacement of a single range of bytes in a file. Specifies the location within the file where the replacement is to be made, the number of bytes to remove at that location, and a sequence of bytes to insert at that location.

A non-negative integer specifying the offset in bytes from the beginning of the file at which bytes are to be removed, inserted or both. An offset of 0 shall denote the first byte in the file.

The number of bytes to delete, starting at the byte offset specified by offset, measured from the beginning of the file.

The MIME Base64-encoded byte sequence to be inserted at the byte offset specified by the 'offset' property, measured from the beginning of the file.

A result produced by an analysis tool.

A value specifying the severity level of the result. If this property is not present, its implied value is 'warning'.

A string that describes the result. The first sentence of the message only will be displayed when visible space is limited.

A 'formattedRuleMessage' object that can be used to construct a formatted message that describes the result. If the 'formattedMessage' property is present on a result, the 'fullMessage' property shall not be present. If the 'fullMessage' property is present on an result, the 'formattedMessage' property shall not be present

One or more locations where the result occurred. Specify only one location unless the problem indicated by the result can only be corrected by making a change at every specified location.

A source code or other file fragment that illustrates the result.

A unique identifier for the result.

A string that contributes to the unique identity of the result.

An array of 'stack' objects relevant to the result.

An array of 'codeFlow' objects relevant to the result.

A grouped set of locations and messages, if available, that represent code areas that are related to this result.

A flag value indicating one or more suppression conditions.

The state of a result relative to a baseline of a previous run.

An array of 'fix' objects, each of which represents a proposed fix to the problem indicated by the result.

Key/value pairs that provide additional information about the result.

A set of distinct strings that provide additional information.

Describes an analysis rule.

A stable, opaque identifier for the rule.

A rule identifier that is understandable to an end user.

A concise description of the rule. Should be a single sentence that is understandable when visible space is limited to a single line of text.

A string that describes the rule. Should, as far as possible, provide details sufficient to enable resolution of any problem indicated by the result.

A set of name/value pairs with arbitrary names. The value within each name/value pair shall consist of plain text interspersed with placeholders, which can be used to format a message in combination with an arbitrary number of additional string arguments.

A value specifying the default severity level of the result.

A URI where the primary documentation for the rule can be found.

Key/value pairs that provide additional information about the rule.

Describes a single run of an analysis tool, and contains the output of that run.

Information about the tool or tool pipeline that generated the results in this run. A run can only contain results produced by a single tool or tool pipeline. A run can aggregate results from multiple log files, as long as context around the tool run (tool command-line arguments and the like) is identical for all aggregated files.

Describes the runtime environment, including parameterization, of the analysis tool run.

A dictionary, each of whose keys is a URI and each of whose values is an array of file objects representing the location of a single file scanned during the run.

A dictionary, each of whose keys specifies a logical location such as a namespace, type or function.

The set of results contained in an SARIF log. The results array can be omitted when a run is solely exporting rules metadata. It must be present (but may be empty) in the event that a log file represents an actual scan.

A list of runtime conditions detected by the tool in the course of the analysis.

A list of conditions detected by the tool that are relevant to the tool's configuration.

A dictionary, each of whose keys is a string and each of whose values is a 'rule' object, that describe all rules associated with an analysis tool or a specific run of an analysis tool.

An identifier for the run.

A stable identifier for a run, for example, 'nightly Clang analyzer run'. Multiple runs of the same type can have the same stableId.

A global identifier that allows the run to be correlated with other artifacts produced by a larger automation process.

The 'id' property of a separate (potentially external) SARIF 'run' instance that comprises the baseline that was used to compute result 'baselineState' properties for the run.

The hardware architecture for which the run was targeted.

A call stack that is relevant to a result.

A message relevant to this call stack.

An array of stack frames that represent a sequence of calls, rendered in reverse chronological order, that comprise the call stack.

Key/value pairs that provide additional information about the stack.

A set of distinct strings that provide additional information.

A function call within a stack trace.

A message relevant to this stack frame.

The uri of the source code file to which this stack frame refers.

The line of the location to which this stack frame refers.

The name of the module that contains the code of this stack frame.

The thread identifier of the stack frame.

The fully qualified name of the method or function that is executing.

A key used to retrieve the stack frame logicalLocation from the logicalLocations dictionary, when the 'fullyQualifiedLogicalName' is not unique.

The address of the method or function that is executing.

The offset from the method or function that is executing.

The parameters of the call that is executing.

Key/value pairs that provide additional information about the stack frame.

The analysis tool that was run.

The name of the tool.

The name of the tool along with its version and any other useful identifying information, such as its locale.

The tool version, in whatever format the tool natively provides.

The tool version in the format specified by Semantic Versioning 2.0.

The binary version of the tool's primary executable file (for operating systems such as Windows that provide that information).

A version that uniquely identifies the SARIF logging component that generated this file, if it is versioned separately from the tool.

The tool language (expressed as an ISO 649 two-letter lowercase culture code) and region (expressed as an ISO 3166 two-letter uppercase subculture code associated with a country or region).

Key/value pairs that provide additional information about the tool.

A set of distinct strings that provide additional information.

Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema: a standard format for the output of static analysis and other tools.

The URI of the JSON schema corresponding to the version.

The SARIF format version of this log file.

The set of runs contained in this log file.

Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema

Provide a JSON object that satisfies the schema "Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema". Here are the required top‑level fields: version, runs. Return only the valid JSON object.

Static Analysis Results Format (SARIF) Version 1.0.0 JSON Schema