[{"check":"uninitialized-state","description":"Uninitialized.destination (tests/uninitialized.sol#5) is never initialized. It is used in:\n\t- transfer (tests/uninitialized.sol#7-9)\n","variable":{"name":"destination","source_mapping":{"start":55,"length":19,"filename":"tests/uninitialized.sol","lines":[5]}},"functions":[{"name":"transfer","source_mapping":{"start":81,"length":82,"filename":"tests/uninitialized.sol","lines":[7,8,9]},"contract":{"name":"Uninitialized","source_mapping":{"start":26,"length":140,"filename":"tests/uninitialized.sol","lines":[3,4,5,6,7,8,9,10,11]}}}]},{"check":"uninitialized-state","description":"Test.balances (tests/uninitialized.sol#15) is never initialized. It is used in:\n\t- use (tests/uninitialized.sol#23-26)\n","variable":{"name":"balances","source_mapping":{"start":189,"length":34,"filename":"tests/uninitialized.sol","lines":[15]}},"functions":[{"name":"use","source_mapping":{"start":356,"length":143,"filename":"tests/uninitialized.sol","lines":[23,24,25,26]},"contract":{"name":"Test","source_mapping":{"start":169,"length":332,"filename":"tests/uninitialized.sol","lines":[14,15,16,17,18,19,20,21,22,23,24,25,26,27]}}}]},{"check":"uninitialized-state","description":"Test2.st (tests/uninitialized.sol#45) is never initialized. It is used in:\n\t- use (tests/uninitialized.sol#53-56)\n","variable":{"name":"st","source_mapping":{"start":695,"length":15,"filename":"tests/uninitialized.sol","lines":[45]}},"functions":[{"name":"use","source_mapping":{"start":875,"length":117,"filename":"tests/uninitialized.sol","lines":[53,54,55,56]},"contract":{"name":"Test2","source_mapping":{"start":641,"length":354,"filename":"tests/uninitialized.sol","lines":[42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58]}}}]},{"check":"uninitialized-state","description":"Test2.v (tests/uninitialized.sol#47) is never initialized. It is used in:\n\t- init (tests/uninitialized.sol#49-51)\n","variable":{"name":"v","source_mapping":{"start":748,"length":6,"filename":"tests/uninitialized.sol","lines":[47]}},"functions":[{"name":"init","source_mapping":{"start":817,"length":52,"filename":"tests/uninitialized.sol","lines":[49,50,51]},"contract":{"name":"Test2","source_mapping":{"start":641,"length":354,"filename":"tests/uninitialized.sol","lines":[42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58]}}}]}]
