019b3844-a39f-7024-b4e0-ce767d2e00f6
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 15861 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 15862 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 59405 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 59406 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 59407 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 59408 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x008a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8b83209b 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8b83209b 00000024: EQ 00000025: PUSH2 0x0148 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9852595c 0000002f: EQ 00000030: PUSH2 0x0180 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc41c9a61 0000003a: EQ 0000003b: PUSH2 0x01b6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xce7c2ac2 00000045: EQ 00000046: PUSH2 0x01d6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe33b7de3 00000050: EQ 00000051: PUSH2 0x020c 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x19165587 00000060: EQ 00000061: PUSH2 0x00d8 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x1b75dd3b 0000006b: EQ 0000006c: PUSH2 0x00fa 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x3a98ef39 00000076: EQ 00000077: PUSH2 0x010f 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x436596c4 00000081: EQ 00000082: PUSH2 0x0133 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: CALLDATASIZE 0000008c: PUSH2 0x00d3 0000008f: JUMPI 00000090: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000b1: CALLER 000000b2: PUSH1 0x40 000000b4: DUP1 000000b5: MLOAD 000000b6: PUSH1 0x01 000000b8: PUSH1 0x01 000000ba: PUSH1 0xa0 000000bc: SHL 000000bd: SUB 000000be: SWAP1 000000bf: SWAP3 000000c0: AND 000000c1: DUP3 000000c2: MSTORE 000000c3: CALLVALUE 000000c4: PUSH1 0x20 000000c6: DUP4 000000c7: ADD 000000c8: MSTORE 000000c9: ADD 000000ca: PUSH1 0x40 000000cc: MLOAD 000000cd: DUP1 000000ce: SWAP2 000000cf: SUB 000000d0: SWAP1 000000d1: LOG1 000000d2: STOP 000000d3: JUMPDEST 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: REVERT 000000d8: JUMPDEST 000000d9: CALLVALUE 000000da: DUP1 000000db: ISZERO 000000dc: PUSH2 0x00e4 000000df: JUMPI 000000e0: PUSH1 0x00 000000e2: DUP1 000000e3: REVERT 000000e4: JUMPDEST 000000e5: POP 000000e6: PUSH2 0x00f8 000000e9: PUSH2 0x00f3 000000ec: CALLDATASIZE 000000ed: PUSH1 0x04 000000ef: PUSH2 0x0858 000000f2: JUMP 000000f3: JUMPDEST 000000f4: PUSH2 0x0221 000000f7: JUMP 000000f8: JUMPDEST 000000f9: STOP 000000fa: JUMPDEST 000000fb: CALLVALUE 000000fc: DUP1 000000fd: ISZERO 000000fe: PUSH2 0x0106 00000101: JUMPI 00000102: PUSH1 0x00 00000104: DUP1 00000105: REVERT 00000106: JUMPDEST 00000107: POP 00000108: PUSH2 0x00f8 0000010b: PUSH2 0x03f6 0000010e: JUMP 0000010f: JUMPDEST 00000110: CALLVALUE 00000111: DUP1 00000112: ISZERO 00000113: PUSH2 0x011b 00000116: JUMPI 00000117: PUSH1 0x00 00000119: DUP1 0000011a: REVERT 0000011b: JUMPDEST 0000011c: POP 0000011d: PUSH1 0x00 0000011f: SLOAD 00000120: JUMPDEST 00000121: PUSH1 0x40 00000123: MLOAD 00000124: SWAP1 00000125: DUP2 00000126: MSTORE 00000127: PUSH1 0x20 00000129: ADD 0000012a: JUMPDEST 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: DUP1 0000012f: SWAP2 00000130: SUB 00000131: SWAP1 00000132: RETURN 00000133: JUMPDEST 00000134: CALLVALUE 00000135: DUP1 00000136: ISZERO 00000137: PUSH2 0x013f 0000013a: JUMPI 0000013b: PUSH1 0x00 0000013d: DUP1 0000013e: REVERT 0000013f: JUMPDEST 00000140: POP 00000141: PUSH2 0x00f8 00000144: PUSH2 0x0519 00000147: JUMP 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x0168 00000159: PUSH2 0x0163 0000015c: CALLDATASIZE 0000015d: PUSH1 0x04 0000015f: PUSH2 0x087c 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x056b 00000167: JUMP 00000168: JUMPDEST 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: PUSH1 0x01 0000016e: PUSH1 0x01 00000170: PUSH1 0xa0 00000172: SHL 00000173: SUB 00000174: SWAP1 00000175: SWAP2 00000176: AND 00000177: DUP2 00000178: MSTORE 00000179: PUSH1 0x20 0000017b: ADD 0000017c: PUSH2 0x012a 0000017f: JUMP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: DUP1 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: PUSH2 0x0120 00000191: PUSH2 0x019b 00000194: CALLDATASIZE 00000195: PUSH1 0x04 00000197: PUSH2 0x0858 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH1 0x01 0000019e: PUSH1 0x01 000001a0: PUSH1 0xa0 000001a2: SHL 000001a3: SUB 000001a4: AND 000001a5: PUSH1 0x00 000001a7: SWAP1 000001a8: DUP2 000001a9: MSTORE 000001aa: PUSH1 0x03 000001ac: PUSH1 0x20 000001ae: MSTORE 000001af: PUSH1 0x40 000001b1: SWAP1 000001b2: KECCAK256 000001b3: SLOAD 000001b4: SWAP1 000001b5: JUMP 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x00f8 000001c7: PUSH2 0x01d1 000001ca: CALLDATASIZE 000001cb: PUSH1 0x04 000001cd: PUSH2 0x0895 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH2 0x059b 000001d5: JUMP 000001d6: JUMPDEST 000001d7: CALLVALUE 000001d8: DUP1 000001d9: ISZERO 000001da: PUSH2 0x01e2 000001dd: JUMPI 000001de: PUSH1 0x00 000001e0: DUP1 000001e1: REVERT 000001e2: JUMPDEST 000001e3: POP 000001e4: PUSH2 0x0120 000001e7: PUSH2 0x01f1 000001ea: CALLDATASIZE 000001eb: PUSH1 0x04 000001ed: PUSH2 0x0858 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH1 0x01 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: SHL 000001f9: SUB 000001fa: AND 000001fb: PUSH1 0x00 000001fd: SWAP1 000001fe: DUP2 000001ff: MSTORE 00000200: PUSH1 0x02 00000202: PUSH1 0x20 00000204: MSTORE 00000205: PUSH1 0x40 00000207: SWAP1 00000208: KECCAK256 00000209: SLOAD 0000020a: SWAP1 0000020b: JUMP 0000020c: JUMPDEST 0000020d: CALLVALUE 0000020e: DUP1 0000020f: ISZERO 00000210: PUSH2 0x0218 00000213: JUMPI 00000214: PUSH1 0x00 00000216: DUP1 00000217: REVERT 00000218: JUMPDEST 00000219: POP 0000021a: PUSH1 0x01 0000021c: SLOAD 0000021d: PUSH2 0x0120 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH1 0x01 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: SHL 00000229: SUB 0000022a: DUP2 0000022b: AND 0000022c: PUSH1 0x00 0000022e: SWAP1 0000022f: DUP2 00000230: MSTORE 00000231: PUSH1 0x02 00000233: PUSH1 0x20 00000235: MSTORE 00000236: PUSH1 0x40 00000238: SWAP1 00000239: KECCAK256 0000023a: SLOAD 0000023b: PUSH2 0x029a 0000023e: JUMPI 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: PUSH3 0x461bcd 00000246: PUSH1 0xe5 00000248: SHL 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: PUSH1 0x04 0000024f: DUP3 00000250: ADD 00000251: MSTORE 00000252: PUSH1 0x26 00000254: PUSH1 0x24 00000256: DUP3 00000257: ADD 00000258: MSTORE 00000259: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 0000027a: PUSH1 0x44 0000027c: DUP3 0000027d: ADD 0000027e: MSTORE 0000027f: PUSH6 0x736861726573 00000286: PUSH1 0xd0 00000288: SHL 00000289: PUSH1 0x64 0000028b: DUP3 0000028c: ADD 0000028d: MSTORE 0000028e: PUSH1 0x84 00000290: ADD 00000291: JUMPDEST 00000292: PUSH1 0x40 00000294: MLOAD 00000295: DUP1 00000296: SWAP2 00000297: SUB 00000298: SWAP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: PUSH1 0x00 0000029d: PUSH1 0x01 0000029f: SLOAD 000002a0: SELFBALANCE 000002a1: PUSH2 0x02aa 000002a4: SWAP2 000002a5: SWAP1 000002a6: PUSH2 0x08ec 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x01 000002ad: PUSH1 0x01 000002af: PUSH1 0xa0 000002b1: SHL 000002b2: SUB 000002b3: DUP4 000002b4: AND 000002b5: PUSH1 0x00 000002b7: SWAP1 000002b8: DUP2 000002b9: MSTORE 000002ba: PUSH1 0x03 000002bc: PUSH1 0x20 000002be: SWAP1 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x40 000002c3: DUP1 000002c4: DUP4 000002c5: KECCAK256 000002c6: SLOAD 000002c7: DUP4 000002c8: SLOAD 000002c9: PUSH1 0x02 000002cb: SWAP1 000002cc: SWAP4 000002cd: MSTORE 000002ce: SWAP1 000002cf: DUP4 000002d0: KECCAK256 000002d1: SLOAD 000002d2: SWAP4 000002d3: SWAP5 000002d4: POP 000002d5: SWAP2 000002d6: SWAP3 000002d7: PUSH2 0x02e0 000002da: SWAP1 000002db: DUP6 000002dc: PUSH2 0x0904 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH2 0x02ea 000002e4: SWAP2 000002e5: SWAP1 000002e6: PUSH2 0x0923 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH2 0x02f4 000002ee: SWAP2 000002ef: SWAP1 000002f0: PUSH2 0x0945 000002f3: JUMP 000002f4: JUMPDEST 000002f5: SWAP1 000002f6: POP 000002f7: DUP1 000002f8: PUSH2 0x0357 000002fb: JUMPI 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: PUSH3 0x461bcd 00000303: PUSH1 0xe5 00000305: SHL 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x20 0000030a: PUSH1 0x04 0000030c: DUP3 0000030d: ADD 0000030e: MSTORE 0000030f: PUSH1 0x2b 00000311: PUSH1 0x24 00000313: DUP3 00000314: ADD 00000315: MSTORE 00000316: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000337: PUSH1 0x44 00000339: DUP3 0000033a: ADD 0000033b: MSTORE 0000033c: PUSH11 0x191d59481c185e5b595b9d 00000348: PUSH1 0xaa 0000034a: SHL 0000034b: PUSH1 0x64 0000034d: DUP3 0000034e: ADD 0000034f: MSTORE 00000350: PUSH1 0x84 00000352: ADD 00000353: PUSH2 0x0291 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH1 0x01 0000035a: PUSH1 0x01 0000035c: PUSH1 0xa0 0000035e: SHL 0000035f: SUB 00000360: DUP4 00000361: AND 00000362: PUSH1 0x00 00000364: SWAP1 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x03 00000369: PUSH1 0x20 0000036b: MSTORE 0000036c: PUSH1 0x40 0000036e: SWAP1 0000036f: KECCAK256 00000370: SLOAD 00000371: PUSH2 0x037b 00000374: SWAP1 00000375: DUP3 00000376: SWAP1 00000377: PUSH2 0x08ec 0000037a: JUMP 0000037b: JUMPDEST 0000037c: PUSH1 0x01 0000037e: PUSH1 0x01 00000380: PUSH1 0xa0 00000382: SHL 00000383: SUB 00000384: DUP5 00000385: AND 00000386: PUSH1 0x00 00000388: SWAP1 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x03 0000038d: PUSH1 0x20 0000038f: MSTORE 00000390: PUSH1 0x40 00000392: SWAP1 00000393: KECCAK256 00000394: SSTORE 00000395: PUSH1 0x01 00000397: SLOAD 00000398: PUSH2 0x03a2 0000039b: SWAP1 0000039c: DUP3 0000039d: SWAP1 0000039e: PUSH2 0x08ec 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x01 000003a5: SSTORE 000003a6: PUSH2 0x03af 000003a9: DUP4 000003aa: DUP3 000003ab: PUSH2 0x0725 000003ae: JUMP 000003af: JUMPDEST 000003b0: PUSH1 0x40 000003b2: DUP1 000003b3: MLOAD 000003b4: PUSH1 0x01 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: SHL 000003bb: SUB 000003bc: DUP6 000003bd: AND 000003be: DUP2 000003bf: MSTORE 000003c0: PUSH1 0x20 000003c2: DUP2 000003c3: ADD 000003c4: DUP4 000003c5: SWAP1 000003c6: MSTORE 000003c7: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 000003e8: SWAP2 000003e9: ADD 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: DUP1 000003ee: SWAP2 000003ef: SUB 000003f0: SWAP1 000003f1: LOG1 000003f2: POP 000003f3: POP 000003f4: POP 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: PUSH4 0x70a08231 000003ff: PUSH1 0xe0 00000401: SHL 00000402: DUP2 00000403: MSTORE 00000404: ADDRESS 00000405: PUSH1 0x04 00000407: DUP3 00000408: ADD 00000409: MSTORE 0000040a: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000041f: SWAP1 00000420: PUSH1 0x00 00000422: SWAP1 00000423: DUP3 00000424: SWAP1 00000425: PUSH4 0x70a08231 0000042a: SWAP1 0000042b: PUSH1 0x24 0000042d: ADD 0000042e: PUSH1 0x20 00000430: PUSH1 0x40 00000432: MLOAD 00000433: DUP1 00000434: DUP4 00000435: SUB 00000436: DUP2 00000437: PUSH1 0x00 00000439: DUP8 0000043a: DUP1 0000043b: EXTCODESIZE 0000043c: ISZERO 0000043d: DUP1 0000043e: ISZERO 0000043f: PUSH2 0x0447 00000442: JUMPI 00000443: PUSH1 0x00 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: GAS 0000044a: CALL 0000044b: ISZERO 0000044c: DUP1 0000044d: ISZERO 0000044e: PUSH2 0x045b 00000451: JUMPI 00000452: RETURNDATASIZE 00000453: PUSH1 0x00 00000455: DUP1 00000456: RETURNDATACOPY 00000457: RETURNDATASIZE 00000458: PUSH1 0x00 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: POP 0000045e: POP 0000045f: POP 00000460: PUSH1 0x40 00000462: MLOAD 00000463: RETURNDATASIZE 00000464: PUSH1 0x1f 00000466: NOT 00000467: PUSH1 0x1f 00000469: DUP3 0000046a: ADD 0000046b: AND 0000046c: DUP3 0000046d: ADD 0000046e: DUP1 0000046f: PUSH1 0x40 00000471: MSTORE 00000472: POP 00000473: DUP2 00000474: ADD 00000475: SWAP1 00000476: PUSH2 0x047f 00000479: SWAP2 0000047a: SWAP1 0000047b: PUSH2 0x095c 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x40 00000482: MLOAD 00000483: PUSH4 0x2e1a7d4d 00000488: PUSH1 0xe0 0000048a: SHL 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x04 0000048f: DUP2 00000490: ADD 00000491: DUP3 00000492: SWAP1 00000493: MSTORE 00000494: SWAP1 00000495: SWAP2 00000496: POP 00000497: PUSH1 0x01 00000499: PUSH1 0x01 0000049b: PUSH1 0xa0 0000049d: SHL 0000049e: SUB 0000049f: DUP4 000004a0: AND 000004a1: SWAP1 000004a2: PUSH4 0x2e1a7d4d 000004a7: SWAP1 000004a8: PUSH1 0x24 000004aa: ADD 000004ab: PUSH1 0x00 000004ad: PUSH1 0x40 000004af: MLOAD 000004b0: DUP1 000004b1: DUP4 000004b2: SUB 000004b3: DUP2 000004b4: PUSH1 0x00 000004b6: DUP8 000004b7: DUP1 000004b8: EXTCODESIZE 000004b9: ISZERO 000004ba: DUP1 000004bb: ISZERO 000004bc: PUSH2 0x04c4 000004bf: JUMPI 000004c0: PUSH1 0x00 000004c2: DUP1 000004c3: REVERT 000004c4: JUMPDEST 000004c5: POP 000004c6: GAS 000004c7: CALL 000004c8: ISZERO 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d8 000004ce: JUMPI 000004cf: RETURNDATASIZE 000004d0: PUSH1 0x00 000004d2: DUP1 000004d3: RETURNDATACOPY 000004d4: RETURNDATASIZE 000004d5: PUSH1 0x00 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: POP 000004db: PUSH1 0x40 000004dd: DUP1 000004de: MLOAD 000004df: DUP5 000004e0: DUP2 000004e1: MSTORE 000004e2: CALLER 000004e3: PUSH1 0x20 000004e5: DUP3 000004e6: ADD 000004e7: MSTORE 000004e8: PUSH32 0x8a50c0d7020f8c47ecb97b65acafc92d90b986cd55395d1a80cf5169174fb599 00000509: SWAP4 0000050a: POP 0000050b: ADD 0000050c: SWAP1 0000050d: POP 0000050e: PUSH1 0x40 00000510: MLOAD 00000511: DUP1 00000512: SWAP2 00000513: SUB 00000514: SWAP1 00000515: LOG1 00000516: POP 00000517: POP 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x00 0000051c: JUMPDEST 0000051d: PUSH1 0x05 0000051f: SLOAD 00000520: DUP2 00000521: LT 00000522: ISZERO 00000523: PUSH2 0x0568 00000526: JUMPI 00000527: PUSH2 0x0556 0000052a: PUSH1 0x05 0000052c: DUP3 0000052d: DUP2 0000052e: SLOAD 0000052f: DUP2 00000530: LT 00000531: PUSH2 0x053c 00000534: JUMPI 00000535: PUSH2 0x053c 00000538: PUSH2 0x0975 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH1 0x00 0000053f: SWAP2 00000540: DUP3 00000541: MSTORE 00000542: PUSH1 0x20 00000544: SWAP1 00000545: SWAP2 00000546: KECCAK256 00000547: ADD 00000548: SLOAD 00000549: PUSH1 0x01 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: SHL 00000550: SUB 00000551: AND 00000552: PUSH2 0x0221 00000555: JUMP 00000556: JUMPDEST 00000557: DUP1 00000558: PUSH2 0x0560 0000055b: DUP2 0000055c: PUSH2 0x098b 0000055f: JUMP 00000560: JUMPDEST 00000561: SWAP2 00000562: POP 00000563: POP 00000564: PUSH2 0x051c 00000567: JUMP 00000568: JUMPDEST 00000569: POP 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH1 0x00 0000056e: PUSH1 0x04 00000570: DUP3 00000571: DUP2 00000572: SLOAD 00000573: DUP2 00000574: LT 00000575: PUSH2 0x0580 00000578: JUMPI 00000579: PUSH2 0x0580 0000057c: PUSH2 0x0975 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x00 00000583: SWAP2 00000584: DUP3 00000585: MSTORE 00000586: PUSH1 0x20 00000588: SWAP1 00000589: SWAP2 0000058a: KECCAK256 0000058b: ADD 0000058c: SLOAD 0000058d: PUSH1 0x01 0000058f: PUSH1 0x01 00000591: PUSH1 0xa0 00000593: SHL 00000594: SUB 00000595: AND 00000596: SWAP3 00000597: SWAP2 00000598: POP 00000599: POP 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH20 0x6f52ab9eff44fbd2d99ec8d73dcb59defa049970 000005b1: CALLER 000005b2: EQ 000005b3: DUP1 000005b4: PUSH2 0x05d0 000005b7: JUMPI 000005b8: POP 000005b9: PUSH20 0x22e38368ddacc3c5d2cd11ecbbcf7e46e0f54715 000005ce: CALLER 000005cf: EQ 000005d0: JUMPDEST 000005d1: DUP1 000005d2: PUSH2 0x05ee 000005d5: JUMPI 000005d6: POP 000005d7: PUSH20 0xa4d872934e813bd15b55c77bfd6da99ff3e9c35e 000005ec: CALLER 000005ed: EQ 000005ee: JUMPDEST 000005ef: PUSH2 0x0626 000005f2: JUMPI 000005f3: PUSH1 0x40 000005f5: MLOAD 000005f6: PUSH3 0x461bcd 000005fa: PUSH1 0xe5 000005fc: SHL 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x20 00000601: PUSH1 0x04 00000603: DUP3 00000604: ADD 00000605: MSTORE 00000606: PUSH1 0x09 00000608: PUSH1 0x24 0000060a: DUP3 0000060b: ADD 0000060c: MSTORE 0000060d: PUSH9 0x6f6e6c79207465616d 00000617: PUSH1 0xb8 00000619: SHL 0000061a: PUSH1 0x44 0000061c: DUP3 0000061d: ADD 0000061e: MSTORE 0000061f: PUSH1 0x64 00000621: ADD 00000622: PUSH2 0x0291 00000625: JUMP 00000626: JUMPDEST 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: PUSH4 0xa9059cbb 0000062f: PUSH1 0xe0 00000631: SHL 00000632: DUP2 00000633: MSTORE 00000634: PUSH1 0x01 00000636: PUSH1 0x01 00000638: PUSH1 0xa0 0000063a: SHL 0000063b: SUB 0000063c: DUP4 0000063d: DUP2 0000063e: AND 0000063f: PUSH1 0x04 00000641: DUP4 00000642: ADD 00000643: MSTORE 00000644: PUSH1 0x24 00000646: DUP3 00000647: ADD 00000648: DUP4 00000649: SWAP1 0000064a: MSTORE 0000064b: PUSH1 0x00 0000064d: SWAP2 0000064e: SWAP1 0000064f: DUP6 00000650: AND 00000651: SWAP1 00000652: PUSH4 0xa9059cbb 00000657: SWAP1 00000658: PUSH1 0x44 0000065a: ADD 0000065b: PUSH1 0x20 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: DUP4 00000662: SUB 00000663: DUP2 00000664: PUSH1 0x00 00000666: DUP8 00000667: DUP1 00000668: EXTCODESIZE 00000669: ISZERO 0000066a: DUP1 0000066b: ISZERO 0000066c: PUSH2 0x0674 0000066f: JUMPI 00000670: PUSH1 0x00 00000672: DUP1 00000673: REVERT 00000674: JUMPDEST 00000675: POP 00000676: GAS 00000677: CALL 00000678: ISZERO 00000679: DUP1 0000067a: ISZERO 0000067b: PUSH2 0x0688 0000067e: JUMPI 0000067f: RETURNDATASIZE 00000680: PUSH1 0x00 00000682: DUP1 00000683: RETURNDATACOPY 00000684: RETURNDATASIZE 00000685: PUSH1 0x00 00000687: REVERT 00000688: JUMPDEST 00000689: POP 0000068a: POP 0000068b: POP 0000068c: POP 0000068d: PUSH1 0x40 0000068f: MLOAD 00000690: RETURNDATASIZE 00000691: PUSH1 0x1f 00000693: NOT 00000694: PUSH1 0x1f 00000696: DUP3 00000697: ADD 00000698: AND 00000699: DUP3 0000069a: ADD 0000069b: DUP1 0000069c: PUSH1 0x40 0000069e: MSTORE 0000069f: POP 000006a0: DUP2 000006a1: ADD 000006a2: SWAP1 000006a3: PUSH2 0x06ac 000006a6: SWAP2 000006a7: SWAP1 000006a8: PUSH2 0x09a6 000006ab: JUMP 000006ac: JUMPDEST 000006ad: SWAP1 000006ae: POP 000006af: DUP1 000006b0: PUSH2 0x06e7 000006b3: JUMPI 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: PUSH3 0x461bcd 000006bb: PUSH1 0xe5 000006bd: SHL 000006be: DUP2 000006bf: MSTORE 000006c0: PUSH1 0x20 000006c2: PUSH1 0x04 000006c4: DUP3 000006c5: ADD 000006c6: MSTORE 000006c7: PUSH1 0x09 000006c9: PUSH1 0x24 000006cb: DUP3 000006cc: ADD 000006cd: MSTORE 000006ce: PUSH9 0x1d1e0819985a5b1959 000006d8: PUSH1 0xba 000006da: SHL 000006db: PUSH1 0x44 000006dd: DUP3 000006de: ADD 000006df: MSTORE 000006e0: PUSH1 0x64 000006e2: ADD 000006e3: PUSH2 0x0291 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x40 000006ea: DUP1 000006eb: MLOAD 000006ec: DUP4 000006ed: DUP2 000006ee: MSTORE 000006ef: CALLER 000006f0: PUSH1 0x20 000006f2: DUP3 000006f3: ADD 000006f4: MSTORE 000006f5: PUSH32 0x6dcdf7f4b8cbac4a83ab4f57bac4c57ce05358d7848bb9fb8c648ae2977d2d86 00000716: SWAP2 00000717: ADD 00000718: PUSH1 0x40 0000071a: MLOAD 0000071b: DUP1 0000071c: SWAP2 0000071d: SUB 0000071e: SWAP1 0000071f: LOG1 00000720: POP 00000721: POP 00000722: POP 00000723: POP 00000724: JUMP 00000725: JUMPDEST 00000726: DUP1 00000727: SELFBALANCE 00000728: LT 00000729: ISZERO 0000072a: PUSH2 0x0775 0000072d: JUMPI 0000072e: PUSH1 0x40 00000730: MLOAD 00000731: PUSH3 0x461bcd 00000735: PUSH1 0xe5 00000737: SHL 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x20 0000073c: PUSH1 0x04 0000073e: DUP3 0000073f: ADD 00000740: MSTORE 00000741: PUSH1 0x1d 00000743: PUSH1 0x24 00000745: DUP3 00000746: ADD 00000747: MSTORE 00000748: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000769: PUSH1 0x44 0000076b: DUP3 0000076c: ADD 0000076d: MSTORE 0000076e: PUSH1 0x64 00000770: ADD 00000771: PUSH2 0x0291 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x00 00000778: DUP3 00000779: PUSH1 0x01 0000077b: PUSH1 0x01 0000077d: PUSH1 0xa0 0000077f: SHL 00000780: SUB 00000781: AND 00000782: DUP3 00000783: PUSH1 0x40 00000785: MLOAD 00000786: PUSH1 0x00 00000788: PUSH1 0x40 0000078a: MLOAD 0000078b: DUP1 0000078c: DUP4 0000078d: SUB 0000078e: DUP2 0000078f: DUP6 00000790: DUP8 00000791: GAS 00000792: CALL 00000793: SWAP3 00000794: POP 00000795: POP 00000796: POP 00000797: RETURNDATASIZE 00000798: DUP1 00000799: PUSH1 0x00 0000079b: DUP2 0000079c: EQ 0000079d: PUSH2 0x07c2 000007a0: JUMPI 000007a1: PUSH1 0x40 000007a3: MLOAD 000007a4: SWAP2 000007a5: POP 000007a6: PUSH1 0x1f 000007a8: NOT 000007a9: PUSH1 0x3f 000007ab: RETURNDATASIZE 000007ac: ADD 000007ad: AND 000007ae: DUP3 000007af: ADD 000007b0: PUSH1 0x40 000007b2: MSTORE 000007b3: RETURNDATASIZE 000007b4: DUP3 000007b5: MSTORE 000007b6: RETURNDATASIZE 000007b7: PUSH1 0x00 000007b9: PUSH1 0x20 000007bb: DUP5 000007bc: ADD 000007bd: RETURNDATACOPY 000007be: PUSH2 0x07c7 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH1 0x60 000007c5: SWAP2 000007c6: POP 000007c7: JUMPDEST 000007c8: POP 000007c9: POP 000007ca: SWAP1 000007cb: POP 000007cc: DUP1 000007cd: PUSH2 0x083e 000007d0: JUMPI 000007d1: PUSH1 0x40 000007d3: MLOAD 000007d4: PUSH3 0x461bcd 000007d8: PUSH1 0xe5 000007da: SHL 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x20 000007df: PUSH1 0x04 000007e1: DUP3 000007e2: ADD 000007e3: MSTORE 000007e4: PUSH1 0x3a 000007e6: PUSH1 0x24 000007e8: DUP3 000007e9: ADD 000007ea: MSTORE 000007eb: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 0000080c: PUSH1 0x44 0000080e: DUP3 0000080f: ADD 00000810: MSTORE 00000811: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000832: PUSH1 0x64 00000834: DUP3 00000835: ADD 00000836: MSTORE 00000837: PUSH1 0x84 00000839: ADD 0000083a: PUSH2 0x0291 0000083d: JUMP 0000083e: JUMPDEST 0000083f: POP 00000840: POP 00000841: POP 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x01 00000846: PUSH1 0x01 00000848: PUSH1 0xa0 0000084a: SHL 0000084b: SUB 0000084c: DUP2 0000084d: AND 0000084e: DUP2 0000084f: EQ 00000850: PUSH2 0x0568 00000853: JUMPI 00000854: PUSH1 0x00 00000856: DUP1 00000857: REVERT 00000858: JUMPDEST 00000859: PUSH1 0x00 0000085b: PUSH1 0x20 0000085d: DUP3 0000085e: DUP5 0000085f: SUB 00000860: SLT 00000861: ISZERO 00000862: PUSH2 0x086a 00000865: JUMPI 00000866: PUSH1 0x00 00000868: DUP1 00000869: REVERT 0000086a: JUMPDEST 0000086b: DUP2 0000086c: CALLDATALOAD 0000086d: PUSH2 0x0875 00000870: DUP2 00000871: PUSH2 0x0843 00000874: JUMP 00000875: JUMPDEST 00000876: SWAP4 00000877: SWAP3 00000878: POP 00000879: POP 0000087a: POP 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH1 0x00 0000087f: PUSH1 0x20 00000881: DUP3 00000882: DUP5 00000883: SUB 00000884: SLT 00000885: ISZERO 00000886: PUSH2 0x088e 00000889: JUMPI 0000088a: PUSH1 0x00 0000088c: DUP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: POP 00000890: CALLDATALOAD 00000891: SWAP2 00000892: SWAP1 00000893: POP 00000894: JUMP 00000895: JUMPDEST 00000896: PUSH1 0x00 00000898: DUP1 00000899: PUSH1 0x00 0000089b: PUSH1 0x60 0000089d: DUP5 0000089e: DUP7 0000089f: SUB 000008a0: SLT 000008a1: ISZERO 000008a2: PUSH2 0x08aa 000008a5: JUMPI 000008a6: PUSH1 0x00 000008a8: DUP1 000008a9: REVERT 000008aa: JUMPDEST 000008ab: DUP4 000008ac: CALLDATALOAD 000008ad: PUSH2 0x08b5 000008b0: DUP2 000008b1: PUSH2 0x0843 000008b4: JUMP 000008b5: JUMPDEST 000008b6: SWAP3 000008b7: POP 000008b8: PUSH1 0x20 000008ba: DUP5 000008bb: ADD 000008bc: CALLDATALOAD 000008bd: PUSH2 0x08c5 000008c0: DUP2 000008c1: PUSH2 0x0843 000008c4: JUMP 000008c5: JUMPDEST 000008c6: SWAP3 000008c7: SWAP6 000008c8: SWAP3 000008c9: SWAP5 000008ca: POP 000008cb: POP 000008cc: POP 000008cd: PUSH1 0x40 000008cf: SWAP2 000008d0: SWAP1 000008d1: SWAP2 000008d2: ADD 000008d3: CALLDATALOAD 000008d4: SWAP1 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH4 0x4e487b71 000008dc: PUSH1 0xe0 000008de: SHL 000008df: PUSH1 0x00 000008e1: MSTORE 000008e2: PUSH1 0x11 000008e4: PUSH1 0x04 000008e6: MSTORE 000008e7: PUSH1 0x24 000008e9: PUSH1 0x00 000008eb: REVERT 000008ec: JUMPDEST 000008ed: PUSH1 0x00 000008ef: DUP3 000008f0: NOT 000008f1: DUP3 000008f2: GT 000008f3: ISZERO 000008f4: PUSH2 0x08ff 000008f7: JUMPI 000008f8: PUSH2 0x08ff 000008fb: PUSH2 0x08d6 000008fe: JUMP 000008ff: JUMPDEST 00000900: POP 00000901: ADD 00000902: SWAP1 00000903: JUMP 00000904: JUMPDEST 00000905: PUSH1 0x00 00000907: DUP2 00000908: PUSH1 0x00 0000090a: NOT 0000090b: DIV 0000090c: DUP4 0000090d: GT 0000090e: DUP3 0000090f: ISZERO 00000910: ISZERO 00000911: AND 00000912: ISZERO 00000913: PUSH2 0x091e 00000916: JUMPI 00000917: PUSH2 0x091e 0000091a: PUSH2 0x08d6 0000091d: JUMP 0000091e: JUMPDEST 0000091f: POP 00000920: MUL 00000921: SWAP1 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH1 0x00 00000926: DUP3 00000927: PUSH2 0x0940 0000092a: JUMPI 0000092b: PUSH4 0x4e487b71 00000930: PUSH1 0xe0 00000932: SHL 00000933: PUSH1 0x00 00000935: MSTORE 00000936: PUSH1 0x12 00000938: PUSH1 0x04 0000093a: MSTORE 0000093b: PUSH1 0x24 0000093d: PUSH1 0x00 0000093f: REVERT 00000940: JUMPDEST 00000941: POP 00000942: DIV 00000943: SWAP1 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH1 0x00 00000948: DUP3 00000949: DUP3 0000094a: LT 0000094b: ISZERO 0000094c: PUSH2 0x0957 0000094f: JUMPI 00000950: PUSH2 0x0957 00000953: PUSH2 0x08d6 00000956: JUMP 00000957: JUMPDEST 00000958: POP 00000959: SUB 0000095a: SWAP1 0000095b: JUMP 0000095c: JUMPDEST 0000095d: PUSH1 0x00 0000095f: PUSH1 0x20 00000961: DUP3 00000962: DUP5 00000963: SUB 00000964: SLT 00000965: ISZERO 00000966: PUSH2 0x096e 00000969: JUMPI 0000096a: PUSH1 0x00 0000096c: DUP1 0000096d: REVERT 0000096e: JUMPDEST 0000096f: POP 00000970: MLOAD 00000971: SWAP2 00000972: SWAP1 00000973: POP 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH4 0x4e487b71 0000097b: PUSH1 0xe0 0000097d: SHL 0000097e: PUSH1 0x00 00000980: MSTORE 00000981: PUSH1 0x32 00000983: PUSH1 0x04 00000985: MSTORE 00000986: PUSH1 0x24 00000988: PUSH1 0x00 0000098a: REVERT 0000098b: JUMPDEST 0000098c: PUSH1 0x00 0000098e: PUSH1 0x00 00000990: NOT 00000991: DUP3 00000992: EQ 00000993: ISZERO 00000994: PUSH2 0x099f 00000997: JUMPI 00000998: PUSH2 0x099f 0000099b: PUSH2 0x08d6 0000099e: JUMP 0000099f: JUMPDEST 000009a0: POP 000009a1: PUSH1 0x01 000009a3: ADD 000009a4: SWAP1 000009a5: JUMP 000009a6: JUMPDEST 000009a7: PUSH1 0x00 000009a9: PUSH1 0x20 000009ab: DUP3 000009ac: DUP5 000009ad: SUB 000009ae: SLT 000009af: ISZERO 000009b0: PUSH2 0x09b8 000009b3: JUMPI 000009b4: PUSH1 0x00 000009b6: DUP1 000009b7: REVERT 000009b8: JUMPDEST 000009b9: DUP2 000009ba: MLOAD 000009bb: DUP1 000009bc: ISZERO 000009bd: ISZERO 000009be: DUP2 000009bf: EQ 000009c0: PUSH2 0x0875 000009c3: JUMPI 000009c4: PUSH1 0x00 000009c6: DUP1 000009c7: REVERT 000009c8: INVALID 000009c9: LOG2 000009ca: PUSH5 0x6970667358 000009d0: UNKNOWN(0x22) 000009d1: SLT 000009d2: KECCAK256 000009d3: MLOAD 000009d4: BALANCE 000009d5: PUSH15 0x95a9503b2d2c8bf257fcff5ced642e 000009e5: UNKNOWN(0x27) 000009e6: UNKNOWN(0x4F) 000009e7: PUSH21 0x3e4dfe13ef6ae3f71b7a2864736f6c634300080900 000009fd: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc282a6ca66ed3743b9312db710983f8e117e28d855c26f3d959be7427d40edcd
call_targets:
0x5d7add30ab53600d5bbe6c3ab5d8812665458806
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc282a6ca66ed3743b9312db710983f8e117e28d855c26f3d959be7427d40edcd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5d7add30ab53600d5bbe6c3ab5d8812665458806"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc41c9a61",
"selector": "0xc41c9a61",
"calldata_variants": [
"0xc41c9a61",
"0xc41c9a610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b75dd3b",
"selector": "0x1b75dd3b",
"calldata_variants": [
"0x1b75dd3b",
"0x1b75dd3b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1223,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1458,
"type": "msg_sender_eq_const",
"value": 6.355415869725453e+47
},
{
"pc": 1487,
"type": "msg_sender_eq_const",
"value": 1.9917940276155665e+47
},
{
"pc": 1517,
"type": "msg_sender_eq_const",
"value": 9.411014283044472e+47
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc282a6ca66ed3743b9312db710983f8e117e28d855c26f3d959be7427d40edcd
call_targets:
0x5d7add30ab53600d5bbe6c3ab5d8812665458806
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc282a6ca66ed3743b9312db710983f8e117e28d855c26f3d959be7427d40edcd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5d7add30ab53600d5bbe6c3ab5d8812665458806"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc41c9a61",
"selector": "0xc41c9a61",
"calldata_variants": [
"0xc41c9a61",
"0xc41c9a610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b75dd3b",
"selector": "0x1b75dd3b",
"calldata_variants": [
"0x1b75dd3b",
"0x1b75dd3b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1223,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1458,
"type": "msg_sender_eq_const",
"value": 6.355415869725453e+47
},
{
"pc": 1487,
"type": "msg_sender_eq_const",
"value": 1.9917940276155665e+47
},
{
"pc": 1517,
"type": "msg_sender_eq_const",
"value": 9.411014283044472e+47
}
]
}
|