slither.db.json

[{"elements": [{"type": "function", "name": "_checkPubkeyAggregation", "source_mapping": {"start": 13049, "length": 590, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344], "starting_column": 5, "ending_column": 6}, "type_specific_fields": {"parent": {"type": "contract", "name": "ChildValidatorSet", "source_mapping": {"start": 540, "length": 14026, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372], "starting_column": 1, "ending_column": 2}}, "signature": "_checkPubkeyAggregation(bytes32,bytes,bytes)"}}, {"type": "node", "name": "(callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap))", "source_mapping": {"start": 13318, "length": 183, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [339, 340, 341], "starting_column": 9, "ending_column": 47}, "type_specific_fields": {"parent": {"type": "function", "name": "_checkPubkeyAggregation", "source_mapping": {"start": 13049, "length": 590, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344], "starting_column": 5, "ending_column": 6}, "type_specific_fields": {"parent": {"type": "contract", "name": "ChildValidatorSet", "source_mapping": {"start": 540, "length": 14026, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372], "starting_column": 1, "ending_column": 2}}, "signature": "_checkPubkeyAggregation(bytes32,bytes,bytes)"}}}}], "description": "ChildValidatorSet._checkPubkeyAggregation(bytes32,bytes,bytes) (contracts/child/ChildValidatorSet.sol#332-344) has external calls inside a loop: (callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap)) (contracts/child/ChildValidatorSet.sol#339-341)\n", "markdown": "[ChildValidatorSet._checkPubkeyAggregation(bytes32,bytes,bytes)](contracts/child/ChildValidatorSet.sol#L332-L344) has external calls inside a loop: [(callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap))](contracts/child/ChildValidatorSet.sol#L339-L341)\n", "first_markdown_element": "contracts/child/ChildValidatorSet.sol#L332-L344", "id": "f2a129ee1ec37443601c0cf636bded31c5b0e01b48668b21d32f7a3461133a5c", "check": "calls-loop", "impact": "Low", "confidence": "Medium"}, {"elements": [{"type": "function", "name": "_checkPubkeyAggregation", "source_mapping": {"start": 12910, "length": 590, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343], "starting_column": 5, "ending_column": 6}, "type_specific_fields": {"parent": {"type": "contract", "name": "ChildValidatorSet", "source_mapping": {"start": 540, "length": 13887, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371], "starting_column": 1, "ending_column": 2}}, "signature": "_checkPubkeyAggregation(bytes32,bytes,bytes)"}}, {"type": "node", "name": "(callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap))", "source_mapping": {"start": 13179, "length": 183, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [338, 339, 340], "starting_column": 9, "ending_column": 47}, "type_specific_fields": {"parent": {"type": "function", "name": "_checkPubkeyAggregation", "source_mapping": {"start": 12910, "length": 590, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343], "starting_column": 5, "ending_column": 6}, "type_specific_fields": {"parent": {"type": "contract", "name": "ChildValidatorSet", "source_mapping": {"start": 540, "length": 13887, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371], "starting_column": 1, "ending_column": 2}}, "signature": "_checkPubkeyAggregation(bytes32,bytes,bytes)"}}}}], "description": "ChildValidatorSet._checkPubkeyAggregation(bytes32,bytes,bytes) (contracts/child/ChildValidatorSet.sol#331-343) has external calls inside a loop: (callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap)) (contracts/child/ChildValidatorSet.sol#338-340)\n", "markdown": "[ChildValidatorSet._checkPubkeyAggregation(bytes32,bytes,bytes)](contracts/child/ChildValidatorSet.sol#L331-L343) has external calls inside a loop: [(callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap))](contracts/child/ChildValidatorSet.sol#L338-L340)\n", "first_markdown_element": "contracts/child/ChildValidatorSet.sol#L331-L343", "id": "e12b351eeaf59759137d0b6b8df6b2f2b639c85e79eb0780769b3d048c7576ce", "check": "calls-loop", "impact": "Low", "confidence": "Medium"}, {"elements": [{"type": "function", "name": "_checkPubkeyAggregation", "source_mapping": {"start": 12947, "length": 590, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345], "starting_column": 5, "ending_column": 6}, "type_specific_fields": {"parent": {"type": "contract", "name": "ChildValidatorSet", "source_mapping": {"start": 540, "length": 13924, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373], "starting_column": 1, "ending_column": 2}}, "signature": "_checkPubkeyAggregation(bytes32,bytes,bytes)"}}, {"type": "node", "name": "(callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap))", "source_mapping": {"start": 13216, "length": 183, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [340, 341, 342], "starting_column": 9, "ending_column": 47}, "type_specific_fields": {"parent": {"type": "function", "name": "_checkPubkeyAggregation", "source_mapping": {"start": 12947, "length": 590, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345], "starting_column": 5, "ending_column": 6}, "type_specific_fields": {"parent": {"type": "contract", "name": "ChildValidatorSet", "source_mapping": {"start": 540, "length": 13924, "filename_used": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_relative": "contracts/child/ChildValidatorSet.sol", "filename_absolute": "/Users/daniel/Documents/polygon/contracts/v3-contracts/contracts/child/ChildValidatorSet.sol", "filename_short": "contracts/child/ChildValidatorSet.sol", "is_dependency": false, "lines": [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373], "starting_column": 1, "ending_column": 2}}, "signature": "_checkPubkeyAggregation(bytes32,bytes,bytes)"}}}}], "description": "ChildValidatorSet._checkPubkeyAggregation(bytes32,bytes,bytes) (contracts/child/ChildValidatorSet.sol#333-345) has external calls inside a loop: (callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap)) (contracts/child/ChildValidatorSet.sol#340-342)\n", "markdown": "[ChildValidatorSet._checkPubkeyAggregation(bytes32,bytes,bytes)](contracts/child/ChildValidatorSet.sol#L333-L345) has external calls inside a loop: [(callSuccess,returnData) = VALIDATOR_PKCHECK_PRECOMPILE.staticcall{gas: VALIDATOR_PKCHECK_PRECOMPILE_GAS}(abi.encode(hash,signature,bitmap))](contracts/child/ChildValidatorSet.sol#L340-L342)\n", "first_markdown_element": "contracts/child/ChildValidatorSet.sol#L333-L345", "id": "576765cfec47fdb7f212ba742419308afd9761f51b28371cc8e6339cfe343254", "check": "calls-loop", "impact": "Low", "confidence": "Medium"}]