[
  {
    "check": "uninitialized-state",
    "impact": "High",
    "confidence": "High",
    "description": "Uninitialized.destination (tests/uninitialized-0.5.1.sol#5) is never initialized. It is used in:\n\t- transfer (tests/uninitialized-0.5.1.sol#7-9)\n",
    "elements": [
      {
        "type": "variable",
        "name": "destination",
        "source_mapping": {
          "start": 54,
          "length": 27,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            5
          ],
          "starting_column": 5,
          "ending_column": 32
        }
      },
      {
        "type": "function",
        "name": "transfer",
        "source_mapping": {
          "start": 88,
          "length": 82,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            7,
            8,
            9
          ],
          "starting_column": 5,
          "ending_column": 6
        },
        "contract": {
          "type": "contract",
          "name": "Uninitialized",
          "source_mapping": {
            "start": 25,
            "length": 148,
            "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_relative": "tests/uninitialized-0.5.1.sol",
            "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_short": "tests/uninitialized-0.5.1.sol",
            "lines": [
              3,
              4,
              5,
              6,
              7,
              8,
              9,
              10,
              11
            ],
            "starting_column": 1,
            "ending_column": 2
          }
        }
      }
    ]
  },
  {
    "check": "uninitialized-state",
    "impact": "High",
    "confidence": "High",
    "description": "Test.balances (tests/uninitialized-0.5.1.sol#15) is never initialized. It is used in:\n\t- use (tests/uninitialized-0.5.1.sol#23-26)\n",
    "elements": [
      {
        "type": "variable",
        "name": "balances",
        "source_mapping": {
          "start": 196,
          "length": 34,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            15
          ],
          "starting_column": 5,
          "ending_column": 39
        }
      },
      {
        "type": "function",
        "name": "use",
        "source_mapping": {
          "start": 369,
          "length": 154,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            23,
            24,
            25,
            26
          ],
          "starting_column": 5,
          "ending_column": 6
        },
        "contract": {
          "type": "contract",
          "name": "Test",
          "source_mapping": {
            "start": 176,
            "length": 349,
            "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_relative": "tests/uninitialized-0.5.1.sol",
            "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_short": "tests/uninitialized-0.5.1.sol",
            "lines": [
              14,
              15,
              16,
              17,
              18,
              19,
              20,
              21,
              22,
              23,
              24,
              25,
              26,
              27
            ],
            "starting_column": 1,
            "ending_column": 2
          }
        }
      }
    ]
  },
  {
    "check": "uninitialized-state",
    "impact": "High",
    "confidence": "High",
    "description": "Test2.st (tests/uninitialized-0.5.1.sol#45) is never initialized. It is used in:\n\t- use (tests/uninitialized-0.5.1.sol#53-56)\n",
    "elements": [
      {
        "type": "variable",
        "name": "st",
        "source_mapping": {
          "start": 726,
          "length": 15,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            45
          ],
          "starting_column": 5,
          "ending_column": 20
        }
      },
      {
        "type": "function",
        "name": "use",
        "source_mapping": {
          "start": 913,
          "length": 129,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            53,
            54,
            55,
            56
          ],
          "starting_column": 5,
          "ending_column": 6
        },
        "contract": {
          "type": "contract",
          "name": "Test2",
          "source_mapping": {
            "start": 672,
            "length": 373,
            "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_relative": "tests/uninitialized-0.5.1.sol",
            "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_short": "tests/uninitialized-0.5.1.sol",
            "lines": [
              42,
              43,
              44,
              45,
              46,
              47,
              48,
              49,
              50,
              51,
              52,
              53,
              54,
              55,
              56,
              57,
              58
            ],
            "starting_column": 1,
            "ending_column": 2
          }
        }
      }
    ]
  },
  {
    "check": "uninitialized-state",
    "impact": "High",
    "confidence": "High",
    "description": "Test2.v (tests/uninitialized-0.5.1.sol#47) is never initialized. It is used in:\n\t- init (tests/uninitialized-0.5.1.sol#49-51)\n",
    "elements": [
      {
        "type": "variable",
        "name": "v",
        "source_mapping": {
          "start": 779,
          "length": 6,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            47
          ],
          "starting_column": 5,
          "ending_column": 11
        }
      },
      {
        "type": "function",
        "name": "init",
        "source_mapping": {
          "start": 848,
          "length": 59,
          "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_relative": "tests/uninitialized-0.5.1.sol",
          "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
          "filename_short": "tests/uninitialized-0.5.1.sol",
          "lines": [
            49,
            50,
            51
          ],
          "starting_column": 5,
          "ending_column": 6
        },
        "contract": {
          "type": "contract",
          "name": "Test2",
          "source_mapping": {
            "start": 672,
            "length": 373,
            "filename_used": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_relative": "tests/uninitialized-0.5.1.sol",
            "filename_absolute": "/home/travis/build/crytic/slither/tests/uninitialized-0.5.1.sol",
            "filename_short": "tests/uninitialized-0.5.1.sol",
            "lines": [
              42,
              43,
              44,
              45,
              46,
              47,
              48,
              49,
              50,
              51,
              52,
              53,
              54,
              55,
              56,
              57,
              58
            ],
            "starting_column": 1,
            "ending_column": 2
          }
        }
      }
    ]
  }
]