{
  "source": "https://github.com/nasa/fprime/blob/a83e01637a55de41d465cf135d817150a99117ea/.github%2Fcodeql%2Ffprime-queries-tests%2FFprimeUnguardedUnsignedSubtraction%2Ftest.cpp",
  "expected": "https://github.com/nasa/fprime/blob/a83e01637a55de41d465cf135d817150a99117ea/.github%2Fcodeql%2Ffprime-queries-tests%2FFprimeUnguardedUnsignedSubtraction%2FFprimeUnguardedUnsignedSubtraction.expected",
  "note": "Read from the merged diff and expected-results file. This is not a new CodeQL execution.",
  "fixtures": [
    {
      "name": "unguarded",
      "line": 29,
      "reported": true
    },
    {
      "name": "checkedByAssert",
      "line": 35,
      "reported": false
    },
    {
      "name": "guardedByEarlyReturn",
      "line": 42,
      "reported": false
    },
    {
      "name": "guardedByIf",
      "line": 50,
      "reported": false
    },
    {
      "name": "checkedOnLocalCopy",
      "line": 58,
      "reported": false
    },
    {
      "name": "checkedAgainstComputedBound",
      "line": 68,
      "reported": false
    },
    {
      "name": "unrelatedCheckAfterSubtraction",
      "line": 77,
      "reported": true
    },
    {
      "name": "guardedByGreaterThanZero",
      "line": 88,
      "reported": false
    },
    {
      "name": "guardedByStrongerBound",
      "line": 95,
      "reported": false
    },
    {
      "name": "guardedTooWeakly",
      "line": 104,
      "reported": true
    },
    {
      "name": "variableSubtrahend",
      "line": 112,
      "reported": false
    },
    {
      "name": "plainArithmetic",
      "line": 117,
      "reported": false
    },
    {
      "name": "unguardedDataSize",
      "line": 123,
      "reported": true
    },
    {
      "name": "checkOnOtherObject",
      "line": 134,
      "reported": true
    },
    {
      "name": "checkOnOtherObjectConstantBound",
      "line": 144,
      "reported": true
    },
    {
      "name": "checkOnLocalCopyOfOtherObject",
      "line": 153,
      "reported": true
    },
    {
      "name": "checkedAmongOtherObjectChecks",
      "line": 163,
      "reported": false
    }
  ]
}