report.json

{
  "files_summary": {
    "total_source_units": 74,
    "total_sloc": 2007
  },
  "files_details": {
    "files_details": [
      {
        "file_path": "src/AbstractContract.sol",
        "n_sloc": 11
      },
      {
        "file_path": "src/AdminContract.sol",
        "n_sloc": 11
      },
      {
        "file_path": "src/ArbitraryTransferFrom.sol",
        "n_sloc": 37
      },
      {
        "file_path": "src/AssemblyExample.sol",
        "n_sloc": 9
      },
      {
        "file_path": "src/CallGraphTests.sol",
        "n_sloc": 49
      },
      {
        "file_path": "src/Casting.sol",
        "n_sloc": 126
      },
      {
        "file_path": "src/CompilerBugStorageSignedIntegerArray.sol",
        "n_sloc": 13
      },
      {
        "file_path": "src/ConstantsLiterals.sol",
        "n_sloc": 28
      },
      {
        "file_path": "src/ContractWithTodo.sol",
        "n_sloc": 7
      },
      {
        "file_path": "src/Counter.sol",
        "n_sloc": 20
      },
      {
        "file_path": "src/CrazyPragma.sol",
        "n_sloc": 4
      },
      {
        "file_path": "src/DangerousStrictEquality1.sol",
        "n_sloc": 6
      },
      {
        "file_path": "src/DangerousStrictEquality2.sol",
        "n_sloc": 9
      },
      {
        "file_path": "src/DangerousUnaryOperator.sol",
        "n_sloc": 13
      },
      {
        "file_path": "src/DelegateCallWithoutAddressCheck.sol",
        "n_sloc": 31
      },
      {
        "file_path": "src/DeletionNestedMappingStructureContract.sol",
        "n_sloc": 11
      },
      {
        "file_path": "src/DeprecatedOZFunctions.sol",
        "n_sloc": 32
      },
      {
        "file_path": "src/DivisionBeforeMultiplication.sol",
        "n_sloc": 22
      },
      {
        "file_path": "src/DynamicArrayLengthAssignment.sol",
        "n_sloc": 16
      },
      {
        "file_path": "src/EmptyBlocks.sol",
        "n_sloc": 48
      },
      {
        "file_path": "src/EnumerableSetIteration.sol",
        "n_sloc": 55
      },
      {
        "file_path": "src/ExperimentalEncoder.sol",
        "n_sloc": 4
      },
      {
        "file_path": "src/HugeConstants.sol",
        "n_sloc": 36
      },
      {
        "file_path": "src/InconsistentUints.sol",
        "n_sloc": 17
      },
      {
        "file_path": "src/IncorrectCaretOperator.sol",
        "n_sloc": 16
      },
      {
        "file_path": "src/IncorrectShift.sol",
        "n_sloc": 17
      },
      {
        "file_path": "src/InternalFunctions.sol",
        "n_sloc": 22
      },
      {
        "file_path": "src/KeccakContract.sol",
        "n_sloc": 21
      },
      {
        "file_path": "src/MisusedBoolean.sol",
        "n_sloc": 67
      },
      {
        "file_path": "src/MultipleConstructorSchemes.sol",
        "n_sloc": 10
      },
      {
        "file_path": "src/OnceModifierExample.sol",
        "n_sloc": 8
      },
      {
        "file_path": "src/PreDeclaredVarUsage.sol",
        "n_sloc": 9
      },
      {
        "file_path": "src/PublicVariableReadInExternalContext.sol",
        "n_sloc": 32
      },
      {
        "file_path": "src/RTLO.sol",
        "n_sloc": 7
      },
      {
        "file_path": "src/RedundantStatements.sol",
        "n_sloc": 14
      },
      {
        "file_path": "src/RevertsAndRequriesInLoops.sol",
        "n_sloc": 27
      },
      {
        "file_path": "src/SendEtherNoChecks.sol",
        "n_sloc": 58
      },
      {
        "file_path": "src/StateShadowing.sol",
        "n_sloc": 17
      },
      {
        "file_path": "src/StateVariables.sol",
        "n_sloc": 58
      },
      {
        "file_path": "src/StorageConditionals.sol",
        "n_sloc": 59
      },
      {
        "file_path": "src/StorageParameters.sol",
        "n_sloc": 16
      },
      {
        "file_path": "src/T11sTranferer.sol",
        "n_sloc": 8
      },
      {
        "file_path": "src/TautologicalCompare.sol",
        "n_sloc": 17
      },
      {
        "file_path": "src/TautologyOrContradiction.sol",
        "n_sloc": 11
      },
      {
        "file_path": "src/TestERC20.sol",
        "n_sloc": 62
      },
      {
        "file_path": "src/UncheckedReturn.sol",
        "n_sloc": 33
      },
      {
        "file_path": "src/UncheckedSend.sol",
        "n_sloc": 18
      },
      {
        "file_path": "src/UninitializedStateVariable.sol",
        "n_sloc": 29
      },
      {
        "file_path": "src/UnprotectedInitialize.sol",
        "n_sloc": 25
      },
      {
        "file_path": "src/UnsafeERC721Mint.sol",
        "n_sloc": 18
      },
      {
        "file_path": "src/UnusedError.sol",
        "n_sloc": 19
      },
      {
        "file_path": "src/UsingSelfdestruct.sol",
        "n_sloc": 6
      },
      {
        "file_path": "src/WeakRandomness.sol",
        "n_sloc": 59
      },
      {
        "file_path": "src/WrongOrderOfLayout.sol",
        "n_sloc": 13
      },
      {
        "file_path": "src/YulReturn.sol",
        "n_sloc": 8
      },
      {
        "file_path": "src/ZeroAddressCheck.sol",
        "n_sloc": 41
      },
      {
        "file_path": "src/auditor_mode/ExternalCalls.sol",
        "n_sloc": 65
      },
      {
        "file_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
        "n_sloc": 45
      },
      {
        "file_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
        "n_sloc": 32
      },
      {
        "file_path": "src/cloc/EmptyContractFile.sol",
        "n_sloc": 0
      },
      {
        "file_path": "src/cloc/HeavilyCommentedContract.sol",
        "n_sloc": 21
      },
      {
        "file_path": "src/eth2/DepositContract.sol",
        "n_sloc": 95
      },
      {
        "file_path": "src/inheritance/ExtendedInheritance.sol",
        "n_sloc": 17
      },
      {
        "file_path": "src/inheritance/IContractInheritance.sol",
        "n_sloc": 4
      },
      {
        "file_path": "src/inheritance/InheritanceBase.sol",
        "n_sloc": 8
      },
      {
        "file_path": "src/nested/1/Nested.sol",
        "n_sloc": 10
      },
      {
        "file_path": "src/nested/2/Nested.sol",
        "n_sloc": 7
      },
      {
        "file_path": "src/nested_mappings/LaterVersion.sol",
        "n_sloc": 10
      },
      {
        "file_path": "src/nested_mappings/NestedMappings.sol",
        "n_sloc": 10
      },
      {
        "file_path": "src/parent_chain/ParentChainContract.sol",
        "n_sloc": 29
      },
      {
        "file_path": "src/reused_contract_name/ContractA.sol",
        "n_sloc": 7
      },
      {
        "file_path": "src/reused_contract_name/ContractB.sol",
        "n_sloc": 7
      },
      {
        "file_path": "src/uniswap/UniswapV2Swapper.sol",
        "n_sloc": 50
      },
      {
        "file_path": "src/uniswap/UniswapV3Swapper.sol",
        "n_sloc": 150
      }
    ]
  },
  "issue_count": {
    "high": 33,
    "low": 25
  },
  "high_issues": {
    "issues": [
      {
        "title": "Using `delegatecall` in loop",
        "description": "When calling `delegatecall` the same `msg.value` amount will be accredited multiple times.",
        "detector_name": "delegate-call-in-loop",
        "instances": [
          {
            "contract_path": "src/inheritance/ExtendedInheritance.sol",
            "line_no": 16,
            "src": "488:19",
            "src_char": "488:19"
          }
        ]
      },
      {
        "title": "`abi.encodePacked()` should not be used with dynamic types when passing the result to a hash function such as `keccak256()`",
        "description": "Use `abi.encode()` instead which will pad items to 32 bytes, which will [prevent hash collisions](https://docs.soliditylang.org/en/v0.8.13/abi-spec.html#non-standard-packed-mode) (e.g. `abi.encodePacked(0x123,0x456)` => `0x123456` => `abi.encodePacked(0x1,0x23456)`, but `abi.encode(0x123,0x456)` => `0x0...1230...456`). Unless there is a compelling reason, `abi.encode` should be preferred. If there is only one argument to `abi.encodePacked()` it can often be cast to `bytes()` or `bytes32()` [instead](https://ethereum.stackexchange.com/questions/30912/how-to-compare-strings-in-solidity#answer-82739).\nIf all arguments are strings and or bytes, `bytes.concat()` should be used instead.",
        "detector_name": "avoid-abi-encode-packed",
        "instances": [
          {
            "contract_path": "src/KeccakContract.sol",
            "line_no": 18,
            "src": "587:16",
            "src_char": "587:16"
          },
          {
            "contract_path": "src/KeccakContract.sol",
            "line_no": 22,
            "src": "734:16",
            "src_char": "734:16"
          },
          {
            "contract_path": "src/KeccakContract.sol",
            "line_no": 26,
            "src": "887:16",
            "src_char": "887:16"
          }
        ]
      },
      {
        "title": "Using `block.timestamp` for swap deadline offers no protection",
        "description": "In the PoS model, proposers know well in advance if they will propose one or consecutive blocks ahead of time. In such a scenario, a malicious validator can hold back the transaction and execute it at a more favourable block number.Consider allowing function caller to specify swap deadline input parameter.",
        "detector_name": "block-timestamp-deadline",
        "instances": [
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 23,
            "src": "670:83",
            "src_char": "670:83"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 24,
            "src": "763:83",
            "src_char": "763:83"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 25,
            "src": "856:70",
            "src_char": "856:70"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 26,
            "src": "936:80",
            "src_char": "936:80"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 27,
            "src": "1026:80",
            "src_char": "1026:80"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 31,
            "src": "1278:112",
            "src_char": "1278:112"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 32,
            "src": "1400:99",
            "src_char": "1400:99"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 33,
            "src": "1509:109",
            "src_char": "1509:109"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 52,
            "src": "1115:143",
            "src_char": "1115:143"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 55,
            "src": "1293:321",
            "src_char": "1293:321"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 66,
            "src": "1668:131",
            "src_char": "1668:131"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 69,
            "src": "1828:236",
            "src_char": "1828:236"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 77,
            "src": "2132:144",
            "src_char": "2132:144"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 80,
            "src": "2312:322",
            "src_char": "2312:322"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 91,
            "src": "2690:132",
            "src_char": "2690:132"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 94,
            "src": "2852:237",
            "src_char": "2852:237"
          }
        ]
      },
      {
        "title": "Arbitrary `from` passed to `transferFrom` (or `safeTransferFrom`)",
        "description": "Passing an arbitrary `from` address to `transferFrom` (or `safeTransferFrom`) can lead to loss of funds, because anyone can transfer tokens from the `from` address if an approval is made.  ",
        "detector_name": "arbitrary-transfer-from",
        "instances": [
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 16,
            "src": "370:38",
            "src_char": "370:38"
          },
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 20,
            "src": "496:42",
            "src_char": "496:42"
          },
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 24,
            "src": "634:53",
            "src_char": "634:53"
          },
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 30,
            "src": "864:44",
            "src_char": "864:44"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 17,
            "src": "579:39",
            "src_char": "579:39"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 47,
            "src": "1598:35",
            "src_char": "1598:35"
          }
        ]
      },
      {
        "title": "Unprotected initializer",
        "description": "Consider protecting the initializer functions with modifiers.",
        "detector_name": "unprotected-initializer",
        "instances": [
          {
            "contract_path": "src/UnprotectedInitialize.sol",
            "line_no": 35,
            "src": "820:33",
            "src_char": "820:33"
          }
        ]
      },
      {
        "title": "Unsafe Casting",
        "description": "Downcasting int/uints in Solidity can be unsafe due to the potential for data loss and unintended behavior.When downcasting a larger integer type to a smaller one (e.g., uint256 to uint128), the value may exceed the range of the target type,leading to truncation and loss of significant digits. Use OpenZeppelin's SafeCast library to safely downcast integers.",
        "detector_name": "unsafe-casting-detector",
        "instances": [
          {
            "contract_path": "src/Casting.sol",
            "line_no": 35,
            "src": "1065:10",
            "src_char": "1065:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 36,
            "src": "1097:10",
            "src_char": "1097:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 37,
            "src": "1129:10",
            "src_char": "1129:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 38,
            "src": "1161:10",
            "src_char": "1161:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 39,
            "src": "1193:10",
            "src_char": "1193:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 40,
            "src": "1225:10",
            "src_char": "1225:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 41,
            "src": "1257:10",
            "src_char": "1257:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 42,
            "src": "1289:10",
            "src_char": "1289:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 43,
            "src": "1321:10",
            "src_char": "1321:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 44,
            "src": "1353:10",
            "src_char": "1353:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 45,
            "src": "1385:10",
            "src_char": "1385:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 46,
            "src": "1417:10",
            "src_char": "1417:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 47,
            "src": "1449:10",
            "src_char": "1449:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 48,
            "src": "1481:10",
            "src_char": "1481:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 49,
            "src": "1513:10",
            "src_char": "1513:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 50,
            "src": "1545:10",
            "src_char": "1545:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 51,
            "src": "1577:10",
            "src_char": "1577:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 52,
            "src": "1609:10",
            "src_char": "1609:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 53,
            "src": "1641:10",
            "src_char": "1641:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 54,
            "src": "1672:9",
            "src_char": "1672:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 55,
            "src": "1702:9",
            "src_char": "1702:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 56,
            "src": "1732:9",
            "src_char": "1732:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 57,
            "src": "1762:9",
            "src_char": "1762:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 58,
            "src": "1792:9",
            "src_char": "1792:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 59,
            "src": "1822:9",
            "src_char": "1822:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 60,
            "src": "1853:9",
            "src_char": "1853:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 61,
            "src": "1884:10",
            "src_char": "1884:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 62,
            "src": "1916:10",
            "src_char": "1916:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 63,
            "src": "1948:10",
            "src_char": "1948:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 64,
            "src": "1980:10",
            "src_char": "1980:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 65,
            "src": "2013:9",
            "src_char": "2013:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 73,
            "src": "2242:9",
            "src_char": "2242:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 74,
            "src": "2272:9",
            "src_char": "2272:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 75,
            "src": "2302:9",
            "src_char": "2302:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 76,
            "src": "2332:9",
            "src_char": "2332:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 77,
            "src": "2362:9",
            "src_char": "2362:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 78,
            "src": "2392:9",
            "src_char": "2392:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 79,
            "src": "2422:9",
            "src_char": "2422:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 80,
            "src": "2452:9",
            "src_char": "2452:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 81,
            "src": "2482:9",
            "src_char": "2482:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 82,
            "src": "2512:9",
            "src_char": "2512:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 83,
            "src": "2542:9",
            "src_char": "2542:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 84,
            "src": "2572:9",
            "src_char": "2572:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 85,
            "src": "2602:9",
            "src_char": "2602:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 86,
            "src": "2632:9",
            "src_char": "2632:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 87,
            "src": "2662:9",
            "src_char": "2662:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 88,
            "src": "2692:9",
            "src_char": "2692:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 89,
            "src": "2722:9",
            "src_char": "2722:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 90,
            "src": "2752:9",
            "src_char": "2752:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 91,
            "src": "2782:9",
            "src_char": "2782:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 92,
            "src": "2811:8",
            "src_char": "2811:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 93,
            "src": "2839:8",
            "src_char": "2839:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 94,
            "src": "2867:8",
            "src_char": "2867:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 95,
            "src": "2895:8",
            "src_char": "2895:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 96,
            "src": "2923:8",
            "src_char": "2923:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 97,
            "src": "2951:8",
            "src_char": "2951:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 98,
            "src": "2980:8",
            "src_char": "2980:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 99,
            "src": "3009:9",
            "src_char": "3009:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 100,
            "src": "3039:9",
            "src_char": "3039:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 101,
            "src": "3069:9",
            "src_char": "3069:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 102,
            "src": "3099:9",
            "src_char": "3099:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 103,
            "src": "3130:8",
            "src_char": "3130:8"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 111,
            "src": "3426:10",
            "src_char": "3426:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 112,
            "src": "3458:10",
            "src_char": "3458:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 113,
            "src": "3490:10",
            "src_char": "3490:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 114,
            "src": "3522:10",
            "src_char": "3522:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 115,
            "src": "3554:10",
            "src_char": "3554:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 116,
            "src": "3586:10",
            "src_char": "3586:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 117,
            "src": "3618:10",
            "src_char": "3618:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 118,
            "src": "3650:10",
            "src_char": "3650:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 119,
            "src": "3682:10",
            "src_char": "3682:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 120,
            "src": "3714:10",
            "src_char": "3714:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 121,
            "src": "3746:10",
            "src_char": "3746:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 122,
            "src": "3778:10",
            "src_char": "3778:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 123,
            "src": "3810:10",
            "src_char": "3810:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 124,
            "src": "3842:10",
            "src_char": "3842:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 125,
            "src": "3874:10",
            "src_char": "3874:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 126,
            "src": "3906:10",
            "src_char": "3906:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 127,
            "src": "3938:10",
            "src_char": "3938:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 128,
            "src": "3970:10",
            "src_char": "3970:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 129,
            "src": "4002:10",
            "src_char": "4002:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 130,
            "src": "4034:10",
            "src_char": "4034:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 131,
            "src": "4066:10",
            "src_char": "4066:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 132,
            "src": "4098:10",
            "src_char": "4098:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 133,
            "src": "4129:9",
            "src_char": "4129:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 134,
            "src": "4159:9",
            "src_char": "4159:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 135,
            "src": "4189:9",
            "src_char": "4189:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 136,
            "src": "4220:9",
            "src_char": "4220:9"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 137,
            "src": "4251:10",
            "src_char": "4251:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 138,
            "src": "4283:10",
            "src_char": "4283:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 139,
            "src": "4315:10",
            "src_char": "4315:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 140,
            "src": "4347:10",
            "src_char": "4347:10"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 141,
            "src": "4381:10",
            "src_char": "4381:10"
          }
        ]
      },
      {
        "title": "EnumerableSet.remove in loop corrupts the set order.",
        "description": "If the order of an EnumerableSet is required, removing items in a loop using `at` and `remove` corrupts this order.\nConsider using a different data structure or removing items by collecting them during the loop, then removing after the loop.",
        "detector_name": "enumerable-loop-removal",
        "instances": [
          {
            "contract_path": "src/EnumerableSetIteration.sol",
            "line_no": 31,
            "src": "1105:17",
            "src_char": "1105:17"
          },
          {
            "contract_path": "src/EnumerableSetIteration.sol",
            "line_no": 40,
            "src": "1350:17",
            "src_char": "1350:17"
          },
          {
            "contract_path": "src/EnumerableSetIteration.sol",
            "line_no": 50,
            "src": "1586:17",
            "src_char": "1586:17"
          },
          {
            "contract_path": "src/EnumerableSetIteration.sol",
            "line_no": 59,
            "src": "1865:17",
            "src_char": "1865:17"
          },
          {
            "contract_path": "src/EnumerableSetIteration.sol",
            "line_no": 67,
            "src": "2083:14",
            "src_char": "2083:14"
          }
        ]
      },
      {
        "title": "Experimental ABI Encoder",
        "description": "Experimental encoders should not be used in production. There are multiple known compiler bugs that are caused by the experimental encoder. Upgrade your solidity version to remove the need for experimental features.",
        "detector_name": "experimental-encoder",
        "instances": [
          {
            "contract_path": "src/ExperimentalEncoder.sol",
            "line_no": 2,
            "src": "23:33",
            "src_char": "23:33"
          }
        ]
      },
      {
        "title": "Incorrect Assembly Shift Parameter Order",
        "description": "Example: `shl(shifted, 4)` will shift the right constant `4` by `a` bits. The correct order is `shl(4, shifted)`.",
        "detector_name": "incorrect-shift-order",
        "instances": [
          {
            "contract_path": "src/IncorrectShift.sol",
            "line_no": 7,
            "src": "192:15",
            "src_char": "192:15"
          },
          {
            "contract_path": "src/IncorrectShift.sol",
            "line_no": 8,
            "src": "238:15",
            "src_char": "238:15"
          }
        ]
      },
      {
        "title": "Storage Array Edited with Memory",
        "description": "Storage reference is passed to a function with a memory parameter. This will not update the storage variable as expected. Consider using storage parameters instead.",
        "detector_name": "storage-array-edit-with-memory",
        "instances": [
          {
            "contract_path": "src/StorageParameters.sol",
            "line_no": 11,
            "src": "241:10",
            "src_char": "241:10"
          }
        ]
      },
      {
        "title": "Contract Has Multiple Constructors",
        "description": "In some versions of Solidity, contracts compile with multiple constructors. The first constructor takes precedence. This can lead to unexpected behavior.",
        "detector_name": "multiple-constructors",
        "instances": [
          {
            "contract_path": "src/MultipleConstructorSchemes.sol",
            "line_no": 3,
            "src": "25:180",
            "src_char": "25:180"
          }
        ]
      },
      {
        "title": "Contract Name Reused in Different Files",
        "description": "When compiling contracts with certain development frameworks (for example: Truffle), having contracts with the same name across different files can lead to one being overwritten.",
        "detector_name": "reused-contract-name",
        "instances": [
          {
            "contract_path": "src/nested/1/Nested.sol",
            "line_no": 7,
            "src": "214:6",
            "src_char": "214:6"
          },
          {
            "contract_path": "src/nested/2/Nested.sol",
            "line_no": 7,
            "src": "214:6",
            "src_char": "214:6"
          },
          {
            "contract_path": "src/reused_contract_name/ContractA.sol",
            "line_no": 4,
            "src": "70:10",
            "src_char": "70:10"
          },
          {
            "contract_path": "src/reused_contract_name/ContractB.sol",
            "line_no": 4,
            "src": "70:10",
            "src_char": "70:10"
          }
        ]
      },
      {
        "title": "Nested Structs in Mappings pre-0.5.0",
        "description": "Prior to updates in Solidity 0.5.0, public mappings with nested structs compiled, but produced incorrect values. Refrain from using these, or update to a more recent version of Solidity.",
        "detector_name": "nested-struct-in-mapping",
        "instances": [
          {
            "contract_path": "src/nested_mappings/NestedMappings.sol",
            "line_no": 17,
            "src": "367:58",
            "src_char": "367:58"
          }
        ]
      },
      {
        "title": "Depracated EVM Instruction for `selfdestruct` should not be used.",
        "description": "",
        "detector_name": "selfdestruct-identifier",
        "instances": [
          {
            "contract_path": "src/UsingSelfdestruct.sol",
            "line_no": 7,
            "src": "146:12",
            "src_char": "146:12"
          }
        ]
      },
      {
        "title": "Array length value has a direct assignment.",
        "description": "If the length of a dynamic array (storage variable) directly assigned to, it may allow access to other storage slots by tweaking it's value. This practice has been depracated in newer Solidity versions",
        "detector_name": "dynamic-array-length-assignment",
        "instances": [
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 13,
            "src": "295:14",
            "src_char": "295:14"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 14,
            "src": "325:18",
            "src_char": "325:18"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 15,
            "src": "359:33",
            "src_char": "359:33"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 16,
            "src": "408:15",
            "src_char": "408:15"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 17,
            "src": "439:14",
            "src_char": "439:14"
          }
        ]
      },
      {
        "title": "Uninitialized State Variables",
        "description": "Solidity does initialize variables by default when you declare them, however it's good practice to explicitly declare an initial value. For example, if you transfer money to an address we must make sure that the address has been initialized.",
        "detector_name": "uninitialized-state-variable",
        "instances": [
          {
            "contract_path": "src/AssemblyExample.sol",
            "line_no": 5,
            "src": "97:1",
            "src_char": "97:1"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 9,
            "src": "337:7",
            "src_char": "337:7"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 7,
            "src": "197:11",
            "src_char": "197:11"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 8,
            "src": "233:14",
            "src_char": "233:14"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 10,
            "src": "355:7",
            "src_char": "355:7"
          },
          {
            "contract_path": "src/PublicVariableReadInExternalContext.sol",
            "line_no": 6,
            "src": "130:26",
            "src_char": "130:26"
          },
          {
            "contract_path": "src/StateShadowing.sol",
            "line_no": 5,
            "src": "87:13",
            "src_char": "87:13"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 8,
            "src": "199:19",
            "src_char": "199:19"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 9,
            "src": "241:20",
            "src_char": "241:20"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 10,
            "src": "282:18",
            "src_char": "282:18"
          },
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 6,
            "src": "133:6",
            "src_char": "133:6"
          },
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 7,
            "src": "145:9",
            "src_char": "145:9"
          },
          {
            "contract_path": "src/UninitializedStateVariable.sol",
            "line_no": 7,
            "src": "122:8",
            "src_char": "122:8"
          },
          {
            "contract_path": "src/UninitializedStateVariable.sol",
            "line_no": 15,
            "src": "529:11",
            "src_char": "529:11"
          },
          {
            "contract_path": "src/WrongOrderOfLayout.sol",
            "line_no": 11,
            "src": "257:10",
            "src_char": "257:10"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 68,
            "src": "1971:5",
            "src_char": "1971:5"
          }
        ]
      },
      {
        "title": "Incorrect use of caret operator on a non hexadcimal constant",
        "description": "The caret operator is usually mistakenly thought of as an exponentiation operator but actually, it's a bitwise xor operator.",
        "detector_name": "incorrect-caret-operator",
        "instances": [
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 16,
            "src": "519:8",
            "src_char": "519:8"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 17,
            "src": "549:16",
            "src_char": "549:16"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 18,
            "src": "587:21",
            "src_char": "587:21"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 19,
            "src": "631:13",
            "src_char": "631:13"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 20,
            "src": "708:12",
            "src_char": "708:12"
          }
        ]
      },
      {
        "title": "Yul block contains `return` function call.",
        "description": "Remove this, as this causes execution to halt. Nothing after that call will execute, including code following the assembly block.",
        "detector_name": "yul-return",
        "instances": [
          {
            "contract_path": "src/YulReturn.sol",
            "line_no": 8,
            "src": "171:12",
            "src_char": "171:12"
          }
        ]
      },
      {
        "title": "Shadowed State Variables in Inheritance Hierarchy",
        "description": "This vulnerability arises when a derived contract unintentionally shadows a state variable from a parent contract by declaring a variable with the same name. This can be misleading. To prevent this, ensure variable names are unique across the inheritance hierarchy or use proper visibility and scope controls.",
        "detector_name": "state-variable-shadowing",
        "instances": [
          {
            "contract_path": "src/StateShadowing.sol",
            "line_no": 15,
            "src": "239:13",
            "src_char": "239:13"
          }
        ]
      },
      {
        "title": "Unchecked `bool success` value for send call.",
        "description": "The transaction `address(payable?).send(address)` may fail because of reasons like out-of-gas, invalid receipient address or revert from the recipient. Therefore, the boolean returned by this function call must be checked to be `true` in order to verify that the transaction was successful",
        "detector_name": "unchecked-send",
        "instances": [
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 24,
            "src": "815:22",
            "src_char": "815:22"
          }
        ]
      },
      {
        "title": "Misused boolean with logical operators",
        "description": "The patterns `if (… || true)` and `if (.. && false)` will always evaluate to true and false respectively.",
        "detector_name": "misused-boolean",
        "instances": [
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 12,
            "src": "257:19",
            "src_char": "257:19"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 19,
            "src": "419:20",
            "src_char": "419:20"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 26,
            "src": "582:20",
            "src_char": "582:20"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 33,
            "src": "745:19",
            "src_char": "745:19"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 40,
            "src": "908:51",
            "src_char": "908:51"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 47,
            "src": "1060:52",
            "src_char": "1060:52"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 54,
            "src": "1213:53",
            "src_char": "1213:53"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 61,
            "src": "1366:21",
            "src_char": "1366:21"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 68,
            "src": "1530:17",
            "src_char": "1530:17"
          },
          {
            "contract_path": "src/MisusedBoolean.sol",
            "line_no": 75,
            "src": "1691:18",
            "src_char": "1691:18"
          }
        ]
      },
      {
        "title": "Sending native Eth is not protected from these functions.",
        "description": "Introduce checks for `msg.sender` in the function",
        "detector_name": "send-ether-no-checks",
        "instances": [
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 38,
            "src": "686:16",
            "src_char": "686:16"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 53,
            "src": "1060:5",
            "src_char": "1060:5"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 77,
            "src": "1405:5",
            "src_char": "1405:5"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 99,
            "src": "1795:5",
            "src_char": "1795:5"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 6,
            "src": "85:246",
            "src_char": "85:246"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 12,
            "src": "337:190",
            "src_char": "337:190"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 17,
            "src": "533:184",
            "src_char": "533:184"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 22,
            "src": "723:186",
            "src_char": "723:186"
          },
          {
            "contract_path": "src/UninitializedStateVariable.sol",
            "line_no": 17,
            "src": "563:8",
            "src_char": "563:8"
          }
        ]
      },
      {
        "title": "Delegatecall made by the function without checks on any adress.",
        "description": "Introduce checks on the address",
        "detector_name": "delegate-call-unchecked-address",
        "instances": [
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 15,
            "src": "392:9",
            "src_char": "392:9"
          },
          {
            "contract_path": "src/auditor_mode/ExternalCalls.sol",
            "line_no": 38,
            "src": "1253:28",
            "src_char": "1253:28"
          },
          {
            "contract_path": "src/inheritance/ExtendedInheritance.sol",
            "line_no": 14,
            "src": "391:15",
            "src_char": "391:15"
          }
        ]
      },
      {
        "title": "Tautological comparison.",
        "description": "The left hand side and the right hand side of the binary operation has the same value. This makes the condition always true or always false.",
        "detector_name": "tautological-compare",
        "instances": [
          {
            "contract_path": "src/TautologicalCompare.sol",
            "line_no": 13,
            "src": "255:6",
            "src_char": "255:6"
          },
          {
            "contract_path": "src/TautologicalCompare.sol",
            "line_no": 18,
            "src": "359:6",
            "src_char": "359:6"
          },
          {
            "contract_path": "src/TautologicalCompare.sol",
            "line_no": 23,
            "src": "463:5",
            "src_char": "463:5"
          },
          {
            "contract_path": "src/TautologicalCompare.sol",
            "line_no": 28,
            "src": "566:5",
            "src_char": "566:5"
          }
        ]
      },
      {
        "title": "RTLO character detected in file. \\u{202e}",
        "description": "Right to left override character may be misledaing and cause potential attacks by visually misordering method arguments!",
        "detector_name": "rtlo",
        "instances": [
          {
            "contract_path": "src/RTLO.sol",
            "line_no": 3,
            "src": "33:157",
            "src_char": "33:155"
          }
        ]
      },
      {
        "title": "Return value of the function call is not checked.",
        "description": "Function returns a value but it is ignored.",
        "detector_name": "unchecked-return",
        "instances": [
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 14,
            "src": "279:5",
            "src_char": "279:5"
          },
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 27,
            "src": "575:47",
            "src_char": "575:47"
          }
        ]
      },
      {
        "title": "Dangerous unary operator found in assignment.",
        "description": "Potentially mistakened `=+` for `+=` or `=-` for `-=`. Please include a space in between.",
        "detector_name": "dangerous-unary-operator",
        "instances": [
          {
            "contract_path": "src/DangerousUnaryOperator.sol",
            "line_no": 12,
            "src": "220:10",
            "src_char": "220:10"
          },
          {
            "contract_path": "src/DangerousUnaryOperator.sol",
            "line_no": 13,
            "src": "247:10",
            "src_char": "247:10"
          }
        ]
      },
      {
        "title": "Tautology or Contradiction in comparison.",
        "description": "The condition has been determined to be either always true or always false due to the integer range in which we're operating.",
        "detector_name": "tautology-or-contradiction",
        "instances": [
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 13,
            "src": "296:7",
            "src_char": "296:7"
          },
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 16,
            "src": "369:11",
            "src_char": "369:11"
          }
        ]
      },
      {
        "title": "Dangerous strict equality checks on contract balances.",
        "description": "A contract's balance can be forcibly manipulated by another selfdestructing contract. Therefore, it's recommended to use >, <, >= or <= instead of strict equality.",
        "detector_name": "dangerous-strict-equailty-on-contract-balance",
        "instances": [
          {
            "contract_path": "src/DangerousStrictEquality1.sol",
            "line_no": 6,
            "src": "177:25",
            "src_char": "177:25"
          },
          {
            "contract_path": "src/DangerousStrictEquality2.sol",
            "line_no": 6,
            "src": "177:34",
            "src_char": "177:34"
          },
          {
            "contract_path": "src/DangerousStrictEquality2.sol",
            "line_no": 10,
            "src": "305:43",
            "src_char": "305:43"
          }
        ]
      },
      {
        "title": "Compiler Bug: Signed array in storage detected for compiler version `<0.5.10`",
        "description": "If you want to leverage signed arrays in storage by assigning a literal array with at least one negative number, then you mus use solidity version 0.5.10 or above. This is because of a bug in older compilers.",
        "detector_name": "signed-storage-array",
        "instances": [
          {
            "contract_path": "src/CompilerBugStorageSignedIntegerArray.sol",
            "line_no": 9,
            "src": "230:10",
            "src_char": "230:10"
          }
        ]
      },
      {
        "title": "Weak Randomness",
        "description": "The use of keccak256 hash functions on predictable values like block.timestamp, block.number, or similar data, including modulo operations on these values, should be avoided for generating randomness, as they are easily predictable and manipulable. The `PREVRANDAO` opcode also should not be used as a source of randomness. Instead, utilize Chainlink VRF for cryptographically secure and provably random values to ensure protocol integrity.",
        "detector_name": "weak-randomness",
        "instances": [
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 6,
            "src": "188:70",
            "src_char": "188:70"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 11,
            "src": "386:41",
            "src_char": "386:41"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 16,
            "src": "597:20",
            "src_char": "597:20"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 21,
            "src": "793:20",
            "src_char": "793:20"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 25,
            "src": "915:20",
            "src_char": "915:20"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 31,
            "src": "1095:5",
            "src_char": "1095:5"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 35,
            "src": "1217:37",
            "src_char": "1217:37"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 41,
            "src": "1434:9",
            "src_char": "1434:9"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 45,
            "src": "1563:16",
            "src_char": "1563:16"
          }
        ]
      },
      {
        "title": "Usage of variable before declaration.",
        "description": "This is a bad practice that may lead to unintended consequences. Please declare the variable before using it.",
        "detector_name": "pre-declared-local-variable-usage",
        "instances": [
          {
            "contract_path": "src/PreDeclaredVarUsage.sol",
            "line_no": 8,
            "src": "196:1",
            "src_char": "196:1"
          }
        ]
      },
      {
        "title": "Deletion from a nested mappping.",
        "description": "A deletion in a structure containing a mapping will not delete the mapping. The remaining data may be used to compromise the contract.",
        "detector_name": "delete-nested-mapping",
        "instances": [
          {
            "contract_path": "src/DeletionNestedMappingStructureContract.sol",
            "line_no": 17,
            "src": "426:25",
            "src_char": "426:25"
          }
        ]
      }
    ]
  },
  "low_issues": {
    "issues": [
      {
        "title": "Centralization Risk for trusted owners",
        "description": "Contracts have owners with privileged rights to perform admin tasks and need to be trusted to not perform malicious updates or drain funds.",
        "detector_name": "centralization-risk",
        "instances": [
          {
            "contract_path": "src/AdminContract.sol",
            "line_no": 7,
            "src": "270:7",
            "src_char": "270:7"
          },
          {
            "contract_path": "src/AdminContract.sol",
            "line_no": 10,
            "src": "376:9",
            "src_char": "376:9"
          },
          {
            "contract_path": "src/AdminContract.sol",
            "line_no": 14,
            "src": "505:9",
            "src_char": "505:9"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 7,
            "src": "295:13",
            "src_char": "295:13"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 6,
            "src": "188:7",
            "src_char": "188:7"
          },
          {
            "contract_path": "src/InternalFunctions.sol",
            "line_no": 12,
            "src": "250:9",
            "src_char": "250:9"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 9,
            "src": "322:7",
            "src_char": "322:7"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 11,
            "src": "396:9",
            "src_char": "396:9"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 35,
            "src": "975:13",
            "src_char": "975:13"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 38,
            "src": "1108:14",
            "src_char": "1108:14"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 7,
            "src": "282:7",
            "src_char": "282:7"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 28,
            "src": "725:9",
            "src_char": "725:9"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 32,
            "src": "854:9",
            "src_char": "854:9"
          }
        ]
      },
      {
        "title": "Solmate's SafeTransferLib does not check for token contract's existence",
        "description": "There is a subtle difference between the implementation of solmate's SafeTransferLib and OZ's SafeERC20: OZ's SafeERC20 checks if the token is a contract or not, solmate's SafeTransferLib does not.\nhttps://github.com/transmissions11/solmate/blob/main/src/utils/SafeTransferLib.sol#L9 \n`@dev Note that none of the functions in this library check that a token has code at all! That responsibility is delegated to the caller`\n",
        "detector_name": "solmate-safe-transfer-lib",
        "instances": [
          {
            "contract_path": "src/T11sTranferer.sol",
            "line_no": 4,
            "src": "57:84",
            "src_char": "57:84"
          }
        ]
      },
      {
        "title": "`ecrecover` is susceptible to signature malleability",
        "description": "The `ecrecover` function is susceptible to signature malleability. This means that the same message can be signed in multiple ways, allowing an attacker to change the message signature without invalidating it. This can lead to unexpected behavior in smart contracts, such as the loss of funds or the ability to bypass access control. Consider using OpenZeppelin's ECDSA library instead of the built-in function.",
        "detector_name": "ecrecover",
        "instances": [
          {
            "contract_path": "src/inheritance/ExtendedInheritance.sol",
            "line_no": 21,
            "src": "705:9",
            "src_char": "705:9"
          }
        ]
      },
      {
        "title": "Deprecated OpenZeppelin functions should not be used",
        "description": "Openzeppelin has deprecated several functions and replaced with newer versions. Please consult https://docs.openzeppelin.com/",
        "detector_name": "deprecated-oz-functions",
        "instances": [
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 22,
            "src": "737:10",
            "src_char": "737:10"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 27,
            "src": "898:17",
            "src_char": "898:17"
          }
        ]
      },
      {
        "title": "Unsafe ERC20 Operations should not be used",
        "description": "ERC20 functions may not behave as expected. For example: return values are not always meaningful. It is recommended to use OpenZeppelin's SafeERC20 library.",
        "detector_name": "unsafe-erc20-functions",
        "instances": [
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 16,
            "src": "370:20",
            "src_char": "370:20"
          },
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 30,
            "src": "864:20",
            "src_char": "864:20"
          },
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 50,
            "src": "1517:20",
            "src_char": "1517:20"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 32,
            "src": "1062:13",
            "src_char": "1062:13"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 37,
            "src": "1272:13",
            "src_char": "1272:13"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 38,
            "src": "1322:13",
            "src_char": "1322:13"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 42,
            "src": "1424:13",
            "src_char": "1424:13"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 47,
            "src": "1598:18",
            "src_char": "1598:18"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 67,
            "src": "1255:19",
            "src_char": "1255:19"
          },
          {
            "contract_path": "src/StateShadowing.sol",
            "line_no": 22,
            "src": "368:19",
            "src_char": "368:19"
          },
          {
            "contract_path": "src/UninitializedStateVariable.sol",
            "line_no": 18,
            "src": "599:29",
            "src_char": "599:29"
          }
        ]
      },
      {
        "title": "Solidity pragma should be specific, not wide",
        "description": "Consider using a specific version of Solidity in your contracts instead of a wide version. For example, instead of `pragma solidity ^0.8.0;`, use `pragma solidity 0.8.0;`",
        "detector_name": "unspecific-solidity-pragma",
        "instances": [
          {
            "contract_path": "src/CompilerBugStorageSignedIntegerArray.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/ContractWithTodo.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/Counter.sol",
            "line_no": 2,
            "src": "39:24",
            "src_char": "39:24"
          },
          {
            "contract_path": "src/CrazyPragma.sol",
            "line_no": 2,
            "src": "32:32",
            "src_char": "32:32"
          },
          {
            "contract_path": "src/DangerousStrictEquality1.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/DangerousUnaryOperator.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 2,
            "src": "32:21",
            "src_char": "32:21"
          },
          {
            "contract_path": "src/DeletionNestedMappingStructureContract.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 1,
            "src": "0:24",
            "src_char": "0:24"
          },
          {
            "contract_path": "src/PreDeclaredVarUsage.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/UsingSelfdestruct.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 6,
            "src": "46:24",
            "src_char": "46:24"
          },
          {
            "contract_path": "src/cloc/HeavilyCommentedContract.sol",
            "line_no": 6,
            "src": "46:32",
            "src_char": "46:32"
          },
          {
            "contract_path": "src/inheritance/IContractInheritance.sol",
            "line_no": 2,
            "src": "32:24",
            "src_char": "32:24"
          },
          {
            "contract_path": "src/inheritance/InheritanceBase.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/nested_mappings/LaterVersion.sol",
            "line_no": 2,
            "src": "36:23",
            "src_char": "36:23"
          },
          {
            "contract_path": "src/nested_mappings/NestedMappings.sol",
            "line_no": 2,
            "src": "36:24",
            "src_char": "36:24"
          }
        ]
      },
      {
        "title": "Missing checks for `address(0)` when assigning values to address state variables",
        "description": "Check for `address(0)` when assigning values to address state variables.",
        "detector_name": "zero-address-check",
        "instances": [
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 12,
            "src": "267:15",
            "src_char": "267:15"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 58,
            "src": "2121:14",
            "src_char": "2121:14"
          },
          {
            "contract_path": "src/ZeroAddressCheck.sol",
            "line_no": 43,
            "src": "1171:14",
            "src_char": "1171:14"
          },
          {
            "contract_path": "src/ZeroAddressCheck.sol",
            "line_no": 47,
            "src": "1248:16",
            "src_char": "1248:16"
          },
          {
            "contract_path": "src/ZeroAddressCheck.sol",
            "line_no": 51,
            "src": "1327:23",
            "src_char": "1327:23"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 11,
            "src": "365:17",
            "src_char": "365:17"
          }
        ]
      },
      {
        "title": "`public` functions not used internally could be marked `external`",
        "description": "Instead of marking a function as `public`, consider marking it as `external` if it is not used internally.",
        "detector_name": "useless-public-function",
        "instances": [
          {
            "contract_path": "src/ArbitraryTransferFrom.sol",
            "line_no": 28,
            "src": "772:5",
            "src_char": "772:5"
          },
          {
            "contract_path": "src/AssemblyExample.sol",
            "line_no": 6,
            "src": "113:1",
            "src_char": "113:1"
          },
          {
            "contract_path": "src/ContractWithTodo.sol",
            "line_no": 13,
            "src": "337:15",
            "src_char": "337:15"
          },
          {
            "contract_path": "src/Counter.sol",
            "line_no": 7,
            "src": "129:9",
            "src_char": "129:9"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 47,
            "src": "1764:18",
            "src_char": "1764:18"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 52,
            "src": "1915:20",
            "src_char": "1915:20"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 57,
            "src": "2072:14",
            "src_char": "2072:14"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 61,
            "src": "2157:22",
            "src_char": "2157:22"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 71,
            "src": "2539:25",
            "src_char": "2539:25"
          },
          {
            "contract_path": "src/UninitializedStateVariable.sol",
            "line_no": 17,
            "src": "563:8",
            "src_char": "563:8"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 16,
            "src": "475:27",
            "src_char": "475:27"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 22,
            "src": "653:28",
            "src_char": "653:28"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 45,
            "src": "1324:26",
            "src_char": "1324:26"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 53,
            "src": "1637:27",
            "src_char": "1637:27"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 71,
            "src": "2014:20",
            "src_char": "2014:20"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 77,
            "src": "2183:28",
            "src_char": "2183:28"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 31,
            "src": "500:3",
            "src_char": "500:3"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 38,
            "src": "637:5",
            "src_char": "637:5"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 42,
            "src": "738:4",
            "src_char": "735:4"
          },
          {
            "contract_path": "src/cloc/HeavilyCommentedContract.sol",
            "line_no": 31,
            "src": "509:3",
            "src_char": "509:3"
          },
          {
            "contract_path": "src/cloc/HeavilyCommentedContract.sol",
            "line_no": 38,
            "src": "646:4",
            "src_char": "646:4"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 11,
            "src": "355:9",
            "src_char": "355:9"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 15,
            "src": "422:9",
            "src_char": "422:9"
          }
        ]
      },
      {
        "title": "Define and use `constant` variables instead of using literals",
        "description": "If the same constant literal value is used multiple times, create a constant state variable and reference it throughout the contract.",
        "detector_name": "constants-instead-of-literals",
        "instances": [
          {
            "contract_path": "src/Casting.sol",
            "line_no": 16,
            "src": "483:18",
            "src_char": "483:18"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 22,
            "src": "646:18",
            "src_char": "646:18"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 31,
            "src": "921:18",
            "src_char": "921:18"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 69,
            "src": "2103:18",
            "src_char": "2103:18"
          },
          {
            "contract_path": "src/CompilerBugStorageSignedIntegerArray.sol",
            "line_no": 9,
            "src": "235:1",
            "src_char": "235:1"
          },
          {
            "contract_path": "src/CompilerBugStorageSignedIntegerArray.sol",
            "line_no": 14,
            "src": "352:1",
            "src_char": "352:1"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 25,
            "src": "958:3",
            "src_char": "958:3"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 26,
            "src": "992:3",
            "src_char": "992:3"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 27,
            "src": "1032:4",
            "src_char": "1032:4"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 28,
            "src": "1068:4",
            "src_char": "1068:4"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 29,
            "src": "1117:42",
            "src_char": "1117:42"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 30,
            "src": "1192:42",
            "src_char": "1192:42"
          },
          {
            "contract_path": "src/ConstantsLiterals.sol",
            "line_no": 31,
            "src": "1275:66",
            "src_char": "1275:66"
          },
          {
            "contract_path": "src/DangerousStrictEquality2.sol",
            "line_no": 6,
            "src": "202:9",
            "src_char": "202:9"
          },
          {
            "contract_path": "src/DangerousStrictEquality2.sol",
            "line_no": 10,
            "src": "339:9",
            "src_char": "339:9"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 24,
            "src": "718:1",
            "src_char": "718:1"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 24,
            "src": "771:1",
            "src_char": "771:1"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 26,
            "src": "838:1",
            "src_char": "838:1"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 13,
            "src": "312:3",
            "src_char": "312:3"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 14,
            "src": "346:3",
            "src_char": "346:3"
          },
          {
            "contract_path": "src/DynamicArrayLengthAssignment.sol",
            "line_no": 17,
            "src": "457:3",
            "src_char": "457:3"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 17,
            "src": "563:2",
            "src_char": "563:2"
          },
          {
            "contract_path": "src/IncorrectCaretOperator.sol",
            "line_no": 18,
            "src": "606:2",
            "src_char": "606:2"
          },
          {
            "contract_path": "src/PreDeclaredVarUsage.sol",
            "line_no": 8,
            "src": "200:3",
            "src_char": "200:3"
          },
          {
            "contract_path": "src/PreDeclaredVarUsage.sol",
            "line_no": 9,
            "src": "222:3",
            "src_char": "222:3"
          },
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 10,
            "src": "253:2",
            "src_char": "253:2"
          },
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 17,
            "src": "442:2",
            "src_char": "442:2"
          },
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 26,
            "src": "706:2",
            "src_char": "706:2"
          },
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 27,
            "src": "745:2",
            "src_char": "745:2"
          },
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 27,
            "src": "607:7",
            "src_char": "607:7"
          },
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 32,
            "src": "805:7",
            "src_char": "805:7"
          },
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 37,
            "src": "995:7",
            "src_char": "995:7"
          },
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 42,
            "src": "1190:7",
            "src_char": "1190:7"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 25,
            "src": "933:2",
            "src_char": "933:2"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 35,
            "src": "1252:2",
            "src_char": "1252:2"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 41,
            "src": "1441:2",
            "src_char": "1441:2"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 113,
            "src": "7252:2",
            "src_char": "5764:2"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 113,
            "src": "7293:2",
            "src_char": "5805:2"
          }
        ]
      },
      {
        "title": "Event is missing `indexed` fields",
        "description": "Index event fields make the field more quickly accessible to off-chain tools that parse events. However, note that each index field costs extra gas during emission, so it's not necessarily best to index the maximum allowed per event (three fields). Each event should use three indexed fields if there are three or more fields, and gas usage is not particularly of concern for the events in question. If there are fewer than three fields, all of the fields should be indexed.",
        "detector_name": "unindexed-events",
        "instances": [
          {
            "contract_path": "src/TestERC20.sol",
            "line_no": 14,
            "src": "338:70",
            "src_char": "338:70"
          },
          {
            "contract_path": "src/TestERC20.sol",
            "line_no": 15,
            "src": "413:70",
            "src_char": "413:70"
          },
          {
            "contract_path": "src/UncheckedReturn.sol",
            "line_no": 17,
            "src": "297:30",
            "src_char": "297:30"
          },
          {
            "contract_path": "src/UninitializedStateVariable.sol",
            "line_no": 21,
            "src": "700:27",
            "src_char": "700:27"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 19,
            "src": "2641:107",
            "src_char": "1153:107"
          },
          {
            "contract_path": "src/inheritance/ExtendedInheritance.sol",
            "line_no": 7,
            "src": "144:45",
            "src_char": "144:45"
          },
          {
            "contract_path": "src/inheritance/InheritanceBase.sol",
            "line_no": 7,
            "src": "150:28",
            "src_char": "150:28"
          }
        ]
      },
      {
        "title": "Empty `require()` / `revert()` statements",
        "description": "Use descriptive reason strings or custom errors for revert paths.",
        "detector_name": "require-with-string",
        "instances": [
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 7,
            "src": "128:7",
            "src_char": "128:7"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 28,
            "src": "531:6",
            "src_char": "531:6"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 50,
            "src": "936:6",
            "src_char": "936:6"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 65,
            "src": "1246:7",
            "src_char": "1246:7"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 31,
            "src": "948:7",
            "src_char": "948:7"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 37,
            "src": "1264:7",
            "src_char": "1264:7"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 40,
            "src": "1389:6",
            "src_char": "1389:6"
          },
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 19,
            "src": "503:6",
            "src_char": "503:6"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 12,
            "src": "268:6",
            "src_char": "268:6"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 27,
            "src": "513:7",
            "src_char": "513:7"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 43,
            "src": "920:6",
            "src_char": "920:6"
          },
          {
            "contract_path": "src/StateShadowing.sol",
            "line_no": 8,
            "src": "135:7",
            "src_char": "135:7"
          },
          {
            "contract_path": "src/ZeroAddressCheck.sol",
            "line_no": 13,
            "src": "329:6",
            "src_char": "329:6"
          },
          {
            "contract_path": "src/ZeroAddressCheck.sol",
            "line_no": 23,
            "src": "608:6",
            "src_char": "608:6"
          },
          {
            "contract_path": "src/ZeroAddressCheck.sol",
            "line_no": 38,
            "src": "1074:6",
            "src_char": "1074:6"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 35,
            "src": "589:7",
            "src_char": "589:7"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 56,
            "src": "1403:7",
            "src_char": "1400:7"
          },
          {
            "contract_path": "src/cloc/HeavilyCommentedContract.sol",
            "line_no": 35,
            "src": "598:7",
            "src_char": "598:7"
          },
          {
            "contract_path": "src/cloc/HeavilyCommentedContract.sol",
            "line_no": 53,
            "src": "1408:7",
            "src_char": "1408:7"
          }
        ]
      },
      {
        "title": "The `nonReentrant` `modifier` should occur before all other modifiers",
        "description": "This is a best-practice to protect against reentrancy in other modifiers.",
        "detector_name": "non-reentrant-before-others",
        "instances": [
          {
            "contract_path": "src/AdminContract.sol",
            "line_no": 10,
            "src": "386:12",
            "src_char": "386:12"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 28,
            "src": "735:12",
            "src_char": "735:12"
          }
        ]
      },
      {
        "title": "Using `ERC721::_mint()` can be dangerous",
        "description": "Using `ERC721::_mint()` can mint ERC721 tokens to addresses which don't support ERC721 tokens. Use `_safeMint()` instead of `_mint()` for ERC721.",
        "detector_name": "unsafe-oz-erc721-mint",
        "instances": [
          {
            "contract_path": "src/UnsafeERC721Mint.sol",
            "line_no": 12,
            "src": "410:5",
            "src_char": "410:5"
          }
        ]
      },
      {
        "title": "PUSH0 is not supported by all chains",
        "description": "Solc compiler version 0.8.20 switches the default target EVM version to Shanghai, which means that the generated bytecode will include PUSH0 opcodes. Be sure to select the appropriate EVM version in case you intend to deploy on a chain other than mainnet like L2 chains that may not support PUSH0, otherwise deployment of your contracts will fail.",
        "detector_name": "push-zero-opcode",
        "instances": [
          {
            "contract_path": "src/AdminContract.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/ContractWithTodo.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/Counter.sol",
            "line_no": 2,
            "src": "39:24",
            "src_char": "39:24"
          },
          {
            "contract_path": "src/CrazyPragma.sol",
            "line_no": 2,
            "src": "32:32",
            "src_char": "32:32"
          },
          {
            "contract_path": "src/DangerousStrictEquality2.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 2,
            "src": "32:21",
            "src_char": "32:21"
          },
          {
            "contract_path": "src/DeletionNestedMappingStructureContract.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/DeprecatedOZFunctions.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 1,
            "src": "0:24",
            "src_char": "0:24"
          },
          {
            "contract_path": "src/KeccakContract.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/StateVariables.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/StorageConditionals.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/T11sTranferer.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/TautologicalCompare.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/UnsafeERC721Mint.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/WeakRandomness.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/cloc/AnotherHeavilyCommentedContract.sol",
            "line_no": 6,
            "src": "46:24",
            "src_char": "46:24"
          },
          {
            "contract_path": "src/cloc/HeavilyCommentedContract.sol",
            "line_no": 6,
            "src": "46:32",
            "src_char": "46:32"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 12,
            "src": "2302:23",
            "src_char": "814:23"
          },
          {
            "contract_path": "src/inheritance/ExtendedInheritance.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/inheritance/IContractInheritance.sol",
            "line_no": 2,
            "src": "32:24",
            "src_char": "32:24"
          },
          {
            "contract_path": "src/inheritance/InheritanceBase.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/nested/1/Nested.sol",
            "line_no": 5,
            "src": "180:23",
            "src_char": "180:23"
          },
          {
            "contract_path": "src/nested/2/Nested.sol",
            "line_no": 5,
            "src": "180:23",
            "src_char": "180:23"
          },
          {
            "contract_path": "src/nested_mappings/LaterVersion.sol",
            "line_no": 2,
            "src": "36:23",
            "src_char": "36:23"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/uniswap/UniswapV2Swapper.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          },
          {
            "contract_path": "src/uniswap/UniswapV3Swapper.sol",
            "line_no": 2,
            "src": "32:23",
            "src_char": "32:23"
          }
        ]
      },
      {
        "title": "Modifiers invoked only once can be shoe-horned into the function",
        "description": "",
        "detector_name": "useless-modifier",
        "instances": [
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 10,
            "src": "186:22",
            "src_char": "186:22"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 32,
            "src": "571:22",
            "src_char": "571:22"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 54,
            "src": "976:22",
            "src_char": "976:22"
          },
          {
            "contract_path": "src/DelegateCallWithoutAddressCheck.sol",
            "line_no": 23,
            "src": "678:9",
            "src_char": "678:9"
          },
          {
            "contract_path": "src/InternalFunctions.sol",
            "line_no": 18,
            "src": "413:9",
            "src_char": "413:9"
          },
          {
            "contract_path": "src/OnceModifierExample.sol",
            "line_no": 6,
            "src": "103:8",
            "src_char": "103:8"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 16,
            "src": "308:4",
            "src_char": "308:4"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 47,
            "src": "960:4",
            "src_char": "960:4"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 70,
            "src": "1301:4",
            "src_char": "1301:4"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 93,
            "src": "1704:4",
            "src_char": "1704:4"
          },
          {
            "contract_path": "src/StateShadowing.sol",
            "line_no": 7,
            "src": "107:74",
            "src_char": "107:74"
          },
          {
            "contract_path": "src/UnprotectedInitialize.sol",
            "line_no": 13,
            "src": "222:21",
            "src_char": "222:21"
          }
        ]
      },
      {
        "title": "Empty Block",
        "description": "Consider removing empty blocks.",
        "detector_name": "empty-block",
        "instances": [
          {
            "contract_path": "src/AdminContract.sol",
            "line_no": 14,
            "src": "457:23",
            "src_char": "457:23"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 16,
            "src": "291:16",
            "src_char": "291:16"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 38,
            "src": "686:16",
            "src_char": "686:16"
          },
          {
            "contract_path": "src/ContractWithTodo.sol",
            "line_no": 7,
            "src": "129:10",
            "src_char": "129:10"
          },
          {
            "contract_path": "src/ContractWithTodo.sol",
            "line_no": 13,
            "src": "337:15",
            "src_char": "337:15"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 30,
            "src": "503:12",
            "src_char": "503:12"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 38,
            "src": "599:12",
            "src_char": "599:12"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 49,
            "src": "739:12",
            "src_char": "739:12"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 63,
            "src": "888:13",
            "src_char": "888:13"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 67,
            "src": "946:24",
            "src_char": "946:24"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 73,
            "src": "1068:30",
            "src_char": "1068:30"
          },
          {
            "contract_path": "src/EmptyBlocks.sol",
            "line_no": 81,
            "src": "1219:41",
            "src_char": "1219:41"
          },
          {
            "contract_path": "src/OnceModifierExample.sol",
            "line_no": 10,
            "src": "147:7",
            "src_char": "147:7"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 53,
            "src": "1060:5",
            "src_char": "1060:5"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 77,
            "src": "1405:5",
            "src_char": "1405:5"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 99,
            "src": "1795:5",
            "src_char": "1795:5"
          },
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 9,
            "src": "161:229",
            "src_char": "161:229"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 27,
            "src": "915:65",
            "src_char": "915:65"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 11,
            "src": "367:17",
            "src_char": "367:17"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 30,
            "src": "852:25",
            "src_char": "852:25"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 38,
            "src": "1080:16",
            "src_char": "1080:16"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 61,
            "src": "1840:17",
            "src_char": "1840:17"
          },
          {
            "contract_path": "src/auditor_mode/PublicFunctionsWithoutSenderCheck.sol",
            "line_no": 85,
            "src": "2380:25",
            "src_char": "2380:25"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 11,
            "src": "355:9",
            "src_char": "355:9"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 32,
            "src": "806:23",
            "src_char": "806:23"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 40,
            "src": "946:8",
            "src_char": "946:8"
          },
          {
            "contract_path": "src/parent_chain/ParentChainContract.sol",
            "line_no": 44,
            "src": "1011:23",
            "src_char": "1011:23"
          }
        ]
      },
      {
        "title": "Large literal values multiples of 10000 can be replaced with scientific notation",
        "description": "Use `e` notation, for example: `1e18`, instead of its full numeric value.",
        "detector_name": "large-numeric-literal",
        "instances": [
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 6,
            "src": "182:24",
            "src_char": "182:24"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 7,
            "src": "252:23",
            "src_char": "252:23"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 8,
            "src": "321:22",
            "src_char": "321:22"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 9,
            "src": "389:21",
            "src_char": "389:21"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 10,
            "src": "456:20",
            "src_char": "456:20"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 11,
            "src": "522:19",
            "src_char": "522:19"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 12,
            "src": "587:18",
            "src_char": "587:18"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 13,
            "src": "651:17",
            "src_char": "651:17"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 14,
            "src": "714:16",
            "src_char": "714:16"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 15,
            "src": "777:15",
            "src_char": "777:15"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 16,
            "src": "839:14",
            "src_char": "839:14"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 17,
            "src": "900:13",
            "src_char": "900:13"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 18,
            "src": "960:12",
            "src_char": "960:12"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 19,
            "src": "1019:11",
            "src_char": "1019:11"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 20,
            "src": "1077:10",
            "src_char": "1077:10"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 21,
            "src": "1134:9",
            "src_char": "1134:9"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 22,
            "src": "1190:8",
            "src_char": "1190:8"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 23,
            "src": "1245:7",
            "src_char": "1245:7"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 24,
            "src": "1299:6",
            "src_char": "1299:6"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 25,
            "src": "1352:5",
            "src_char": "1352:5"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 31,
            "src": "1585:29",
            "src_char": "1585:29"
          },
          {
            "contract_path": "src/HugeConstants.sol",
            "line_no": 32,
            "src": "1673:6",
            "src_char": "1673:6"
          }
        ]
      },
      {
        "title": "Internal functions called only once can be inlined",
        "description": "Instead of separating the logic into a separate function, consider inlining the logic into the calling function. This can reduce the number of function calls and improve readability.",
        "detector_name": "useless-internal-function",
        "instances": [
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 6,
            "src": "89:17",
            "src_char": "89:17"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 25,
            "src": "398:17",
            "src_char": "398:17"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 47,
            "src": "803:17",
            "src_char": "803:17"
          },
          {
            "contract_path": "src/CallGraphTests.sol",
            "line_no": 64,
            "src": "1206:18",
            "src_char": "1206:18"
          },
          {
            "contract_path": "src/InternalFunctions.sol",
            "line_no": 28,
            "src": "693:12",
            "src_char": "693:12"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 9,
            "src": "132:20",
            "src_char": "132:20"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 26,
            "src": "481:5",
            "src_char": "481:5"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 40,
            "src": "784:20",
            "src_char": "784:20"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 66,
            "src": "1209:15",
            "src_char": "1209:15"
          },
          {
            "contract_path": "src/SendEtherNoChecks.sol",
            "line_no": 88,
            "src": "1551:11",
            "src_char": "1551:11"
          },
          {
            "contract_path": "src/StorageParameters.sol",
            "line_no": 17,
            "src": "388:11",
            "src_char": "388:11"
          },
          {
            "contract_path": "src/UncheckedSend.sol",
            "line_no": 27,
            "src": "915:65",
            "src_char": "915:65"
          }
        ]
      },
      {
        "title": "Contract still has TODOs",
        "description": "Contract contains comments with TODOS",
        "detector_name": "contract-with-todos",
        "instances": [
          {
            "contract_path": "src/ContractWithTodo.sol",
            "line_no": 4,
            "src": "66:8",
            "src_char": "66:8"
          },
          {
            "contract_path": "src/Counter.sol",
            "line_no": 4,
            "src": "74:7",
            "src_char": "74:7"
          }
        ]
      },
      {
        "title": "Inconsistency in declaring uint256/uint (or) int256/int variables within a contract. Use explicit size declarations (uint256 or int256).",
        "description": "Consider keeping the naming convention consistent in a given contract. Explicit size declarations are preferred (uint256, int256) over implicit ones (uint, int) to avoid confusion.",
        "detector_name": "inconsistent-type-names",
        "instances": [
          {
            "contract_path": "src/Casting.sol",
            "line_no": 31,
            "src": "904:14",
            "src_char": "904:14"
          },
          {
            "contract_path": "src/Casting.sol",
            "line_no": 69,
            "src": "2086:13",
            "src_char": "2086:13"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 5,
            "src": "122:12",
            "src_char": "122:12"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 7,
            "src": "197:11",
            "src_char": "197:11"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 11,
            "src": "289:10",
            "src_char": "289:10"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 12,
            "src": "340:9",
            "src_char": "340:9"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 15,
            "src": "383:9",
            "src_char": "383:9"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 16,
            "src": "434:10",
            "src_char": "434:10"
          },
          {
            "contract_path": "src/InconsistentUints.sol",
            "line_no": 19,
            "src": "528:12",
            "src_char": "528:12"
          },
          {
            "contract_path": "src/TautologicalCompare.sol",
            "line_no": 11,
            "src": "186:1",
            "src_char": "186:1"
          },
          {
            "contract_path": "src/TautologyOrContradiction.sol",
            "line_no": 6,
            "src": "133:6",
            "src_char": "133:6"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 59,
            "src": "4611:27",
            "src_char": "3123:27"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 61,
            "src": "4732:17",
            "src_char": "3244:17"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 70,
            "src": "5020:6",
            "src_char": "3532:6"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 76,
            "src": "5307:4",
            "src_char": "3819:4"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 77,
            "src": "5347:6",
            "src_char": "3859:6"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 103,
            "src": "6636:14",
            "src_char": "5148:14"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 133,
            "src": "8101:4",
            "src_char": "6613:4"
          },
          {
            "contract_path": "src/eth2/DepositContract.sol",
            "line_no": 134,
            "src": "8141:6",
            "src_char": "6653:6"
          },
          {
            "contract_path": "src/nested_mappings/LaterVersion.sol",
            "line_no": 8,
            "src": "184:5",
            "src_char": "184:5"
          },
          {
            "contract_path": "src/nested_mappings/NestedMappings.sol",
            "line_no": 8,
            "src": "168:10",
            "src_char": "168:10"
          }
        ]
      },
      {
        "title": "Unused Custom Error",
        "description": "it is recommended that the definition be removed when custom error is unused",
        "detector_name": "useless-error",
        "instances": [
          {
            "contract_path": "src/UnusedError.sol",
            "line_no": 5,
            "src": "84:27",
            "src_char": "84:27"
          },
          {
            "contract_path": "src/UnusedError.sol",
            "line_no": 13,
            "src": "258:36",
            "src_char": "258:36"
          },
          {
            "contract_path": "src/WrongOrderOfLayout.sol",
            "line_no": 13,
            "src": "274:21",
            "src_char": "274:21"
          }
        ]
      },
      {
        "title": "Loop contains `require`/`revert` statements",
        "description": "Avoid `require` / `revert` statements in a loop because a single bad item can cause the whole transaction to fail. It's better to forgive on fail and return failed elements post processing of the loop",
        "detector_name": "reverts-and-requires-in-loops",
        "instances": [
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 10,
            "src": "227:129",
            "src_char": "227:129"
          },
          {
            "contract_path": "src/RevertsAndRequriesInLoops.sol",
            "line_no": 17,
            "src": "416:150",
            "src_char": "416:150"
          }
        ]
      },
      {
        "title": "Incorrect Order of Division and Multiplication",
        "description": "Division operations followed directly by multiplication operations can lead to precision loss due to the way integer arithmetic is handled in Solidity.",
        "detector_name": "division-before-multiplication",
        "instances": [
          {
            "contract_path": "src/DivisionBeforeMultiplication.sol",
            "line_no": 8,
            "src": "218:5",
            "src_char": "218:5"
          },
          {
            "contract_path": "src/DivisionBeforeMultiplication.sol",
            "line_no": 12,
            "src": "330:5",
            "src_char": "330:5"
          },
          {
            "contract_path": "src/DivisionBeforeMultiplication.sol",
            "line_no": 16,
            "src": "432:5",
            "src_char": "432:5"
          },
          {
            "contract_path": "src/DivisionBeforeMultiplication.sol",
            "line_no": 20,
            "src": "541:5",
            "src_char": "541:5"
          }
        ]
      },
      {
        "title": "Redundant statements have no effect.",
        "description": "Remove the redundant statements because no code will be generated and it just congests the codebase.",
        "detector_name": "redundant-statements",
        "instances": [
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 6,
            "src": "131:4",
            "src_char": "131:4"
          },
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 7,
            "src": "169:4",
            "src_char": "169:4"
          },
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 8,
            "src": "207:27",
            "src_char": "207:27"
          },
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 12,
            "src": "309:4",
            "src_char": "309:4"
          },
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 13,
            "src": "347:6",
            "src_char": "347:6"
          },
          {
            "contract_path": "src/RedundantStatements.sol",
            "line_no": 14,
            "src": "377:4",
            "src_char": "377:4"
          }
        ]
      },
      {
        "title": "Public variables of a contract read in an external context (using `this`).",
        "description": "The contract reads it's own variable using `this` which adds an unnecessary STATICCALL. Remove `this` and access the variable like storage.",
        "detector_name": "public-variable-read-in-external-context",
        "instances": [
          {
            "contract_path": "src/PublicVariableReadInExternalContext.sol",
            "line_no": 12,
            "src": "355:14",
            "src_char": "355:14"
          },
          {
            "contract_path": "src/PublicVariableReadInExternalContext.sol",
            "line_no": 16,
            "src": "457:16",
            "src_char": "457:16"
          },
          {
            "contract_path": "src/PublicVariableReadInExternalContext.sol",
            "line_no": 20,
            "src": "553:12",
            "src_char": "553:12"
          },
          {
            "contract_path": "src/PublicVariableReadInExternalContext.sol",
            "line_no": 42,
            "src": "1175:14",
            "src_char": "1175:14"
          }
        ]
      }
    ]
  },
  "detectors_used": [
    "delegate-call-in-loop",
    "centralization-risk",
    "solmate-safe-transfer-lib",
    "avoid-abi-encode-packed",
    "ecrecover",
    "deprecated-oz-functions",
    "unsafe-erc20-functions",
    "unspecific-solidity-pragma",
    "zero-address-check",
    "useless-public-function",
    "constants-instead-of-literals",
    "unindexed-events",
    "require-with-string",
    "non-reentrant-before-others",
    "block-timestamp-deadline",
    "unsafe-oz-erc721-mint",
    "push-zero-opcode",
    "arbitrary-transfer-from",
    "useless-modifier",
    "empty-block",
    "large-numeric-literal",
    "useless-internal-function",
    "contract-with-todos",
    "inconsistent-type-names",
    "unprotected-initializer",
    "useless-error",
    "reverts-and-requires-in-loops",
    "division-before-multiplication",
    "unsafe-casting-detector",
    "enumerable-loop-removal",
    "experimental-encoder",
    "incorrect-shift-order",
    "storage-array-edit-with-memory",
    "multiple-constructors",
    "reused-contract-name",
    "nested-struct-in-mapping",
    "selfdestruct-identifier",
    "dynamic-array-length-assignment",
    "uninitialized-state-variable",
    "incorrect-caret-operator",
    "yul-return",
    "state-variable-shadowing",
    "unchecked-send",
    "misused-boolean",
    "send-ether-no-checks",
    "delegate-call-unchecked-address",
    "tautological-compare",
    "rtlo",
    "unchecked-return",
    "dangerous-unary-operator",
    "tautology-or-contradiction",
    "dangerous-strict-equailty-on-contract-balance",
    "signed-storage-array",
    "redundant-statements",
    "public-variable-read-in-external-context",
    "weak-randomness",
    "pre-declared-local-variable-usage",
    "delete-nested-mapping"
  ]
}