| { |
| "$schema": "http://json.schemastore.org/sarif-2.0.0-csd.2.beta.2018-11-28", |
| "runs": [ |
| { |
| "files": [ |
| { |
| "fileLocation": { |
| "uri": "file:sarif-diagnostics-taint-test.c" |
| }, |
| "length": 415, |
| "mimeType": "text/plain", |
| "roles": [ |
| "resultFile" |
| ] |
| } |
| ], |
| "resources": { |
| "rules": [ |
| { |
| "fullDescription": { |
| "text": "Mark tainted symbols as such." |
| }, |
| "id": "debug.TaintTest", |
| "name": { |
| "text": "debug.TaintTest" |
| } |
| } |
| ] |
| }, |
| "results": [ |
| { |
| "codeFlows": [ |
| { |
| "threadFlows": [ |
| { |
| "locations": [ |
| { |
| "importance": "essential", |
| "location": { |
| "message": { |
| "text": "Calling 'f'" |
| }, |
| "physicalLocation": { |
| "fileLocation": { |
| "fileIndex": 0, |
| "uri": "file:sarif-diagnostics-taint-test.c" |
| }, |
| "region": { |
| "endColumn": 5, |
| "endLine": 13, |
| "startColumn": 3, |
| "startLine": 13 |
| } |
| } |
| } |
| }, |
| { |
| "importance": "essential", |
| "location": { |
| "message": { |
| "text": "tainted" |
| }, |
| "physicalLocation": { |
| "fileLocation": { |
| "fileIndex": 0, |
| "uri": "file:sarif-diagnostics-taint-test.c" |
| }, |
| "region": { |
| "endColumn": 17, |
| "endLine": 9, |
| "startColumn": 11, |
| "startLine": 9 |
| } |
| } |
| } |
| } |
| ] |
| } |
| ] |
| } |
| ], |
| "locations": [ |
| { |
| "physicalLocation": { |
| "fileLocation": { |
| "fileIndex": 0, |
| "uri": "file:sarif-diagnostics-taint-test.c" |
| }, |
| "region": { |
| "endColumn": 17, |
| "endLine": 9, |
| "startColumn": 11, |
| "startLine": 9 |
| } |
| } |
| } |
| ], |
| "message": { |
| "text": "tainted" |
| }, |
| "ruleId": "debug.TaintTest", |
| "ruleIndex": 0 |
| } |
| ], |
| "tool": { |
| "fullName": "clang static analyzer", |
| "language": "en-US", |
| "name": "clang", |
| "version": "clang version 8.0.0" |
| } |
| } |
| ], |
| "version": "2.0.0-csd.2.beta.2018-11-28" |
| } |