019b3836-345b-7094-97d9-4ef029ef4659
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 |
|---|---|---|---|---|
| 3245 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3246 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 46980 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 46981 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 46982 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 46983 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00e5 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x05fefda7 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00ed 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06fdde03 00000025: EQ 00000026: PUSH2 0x0111 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x095ea7b3 00000030: EQ 00000031: PUSH2 0x016d 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x23b872dd 0000003b: EQ 0000003c: PUSH2 0x01ff 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x313ce567 00000046: EQ 00000047: PUSH2 0x0231 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4b750334 00000051: EQ 00000052: PUSH2 0x023d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x70a08231 0000005c: EQ 0000005d: PUSH2 0x0246 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x79c65068 00000067: EQ 00000068: PUSH2 0x025e 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8620410b 00000072: EQ 00000073: PUSH2 0x0282 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8da5cb5b 0000007d: EQ 0000007e: PUSH2 0x028b 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x95d89b41 00000088: EQ 00000089: PUSH2 0x029d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa6f2ae3a 00000093: EQ 00000094: PUSH2 0x02f6 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa9059cbb 0000009e: EQ 0000009f: PUSH2 0x0326 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xb414d4b6 000000a9: EQ 000000aa: PUSH2 0x0355 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xdc3080f2 000000b4: EQ 000000b5: PUSH2 0x0370 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xdd62ed3e 000000bf: EQ 000000c0: PUSH2 0x0395 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xe4849b32 000000ca: EQ 000000cb: PUSH2 0x03ba 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xe724529c 000000d5: EQ 000000d6: PUSH2 0x03e6 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xf2fde38b 000000e0: EQ 000000e1: PUSH2 0x040a 000000e4: JUMPI 000000e5: JUMPDEST 000000e6: PUSH2 0x042b 000000e9: PUSH2 0x0002 000000ec: JUMP 000000ed: JUMPDEST 000000ee: PUSH2 0x042b 000000f1: PUSH1 0x04 000000f3: CALLDATALOAD 000000f4: PUSH1 0x24 000000f6: CALLDATALOAD 000000f7: PUSH1 0x00 000000f9: SLOAD 000000fa: CALLER 000000fb: PUSH1 0x01 000000fd: PUSH1 0xa0 000000ff: PUSH1 0x02 00000101: EXP 00000102: SUB 00000103: SWAP1 00000104: DUP2 00000105: AND 00000106: SWAP2 00000107: AND 00000108: EQ 00000109: PUSH2 0x07d1 0000010c: JUMPI 0000010d: PUSH2 0x0002 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x042d 00000115: PUSH1 0x01 00000117: DUP1 00000118: SLOAD 00000119: PUSH1 0x20 0000011b: PUSH1 0x02 0000011d: DUP3 0000011e: DUP5 0000011f: AND 00000120: ISZERO 00000121: PUSH2 0x0100 00000124: MUL 00000125: PUSH1 0x00 00000127: NOT 00000128: ADD 00000129: SWAP1 0000012a: SWAP3 0000012b: AND 0000012c: SWAP2 0000012d: SWAP1 0000012e: SWAP2 0000012f: DIV 00000130: PUSH1 0x1f 00000132: DUP2 00000133: ADD 00000134: DUP3 00000135: SWAP1 00000136: DIV 00000137: SWAP1 00000138: SWAP2 00000139: MUL 0000013a: PUSH1 0x80 0000013c: SWAP1 0000013d: DUP2 0000013e: ADD 0000013f: PUSH1 0x40 00000141: MSTORE 00000142: PUSH1 0x60 00000144: DUP3 00000145: DUP2 00000146: MSTORE 00000147: SWAP3 00000148: SWAP2 00000149: SWAP1 0000014a: DUP3 0000014b: DUP3 0000014c: DUP1 0000014d: ISZERO 0000014e: PUSH2 0x0504 00000151: JUMPI 00000152: DUP1 00000153: PUSH1 0x1f 00000155: LT 00000156: PUSH2 0x04d9 00000159: JUMPI 0000015a: PUSH2 0x0100 0000015d: DUP1 0000015e: DUP4 0000015f: SLOAD 00000160: DIV 00000161: MUL 00000162: DUP4 00000163: MSTORE 00000164: SWAP2 00000165: PUSH1 0x20 00000167: ADD 00000168: SWAP2 00000169: PUSH2 0x0504 0000016c: JUMP 0000016d: JUMPDEST 0000016e: PUSH2 0x049b 00000171: PUSH1 0x04 00000173: CALLDATALOAD 00000174: PUSH1 0x24 00000176: CALLDATALOAD 00000177: CALLER 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: PUSH1 0x02 0000017e: EXP 0000017f: SUB 00000180: SWAP1 00000181: DUP2 00000182: AND 00000183: PUSH1 0x00 00000185: DUP2 00000186: DUP2 00000187: MSTORE 00000188: PUSH1 0x08 0000018a: PUSH1 0x20 0000018c: SWAP1 0000018d: DUP2 0000018e: MSTORE 0000018f: PUSH1 0x40 00000191: DUP1 00000192: DUP4 00000193: KECCAK256 00000194: DUP6 00000195: DUP9 00000196: AND 00000197: DUP1 00000198: DUP6 00000199: MSTORE 0000019a: SWAP3 0000019b: MSTORE 0000019c: DUP3 0000019d: KECCAK256 0000019e: DUP6 0000019f: SWAP1 000001a0: SSTORE 000001a1: PUSH32 0x3d21aa4200000000000000000000000000000000000000000000000000000000 000001c2: PUSH1 0x60 000001c4: SWAP1 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x64 000001c9: SWAP4 000001ca: DUP5 000001cb: MSTORE 000001cc: PUSH1 0x84 000001ce: DUP7 000001cf: SWAP1 000001d0: MSTORE 000001d1: ADDRESS 000001d2: SWAP1 000001d3: SWAP5 000001d4: AND 000001d5: PUSH1 0xa4 000001d7: MSTORE 000001d8: SWAP1 000001d9: SWAP3 000001da: DUP6 000001db: SWAP3 000001dc: PUSH4 0x3d21aa42 000001e1: SWAP2 000001e2: PUSH1 0xc4 000001e4: SWAP2 000001e5: DUP7 000001e6: SWAP2 000001e7: SWAP1 000001e8: DUP2 000001e9: DUP4 000001ea: DUP8 000001eb: PUSH2 0x61da 000001ee: GAS 000001ef: SUB 000001f0: CALL 000001f1: ISZERO 000001f2: PUSH2 0x0002 000001f5: JUMPI 000001f6: POP 000001f7: POP 000001f8: POP 000001f9: POP 000001fa: SWAP3 000001fb: SWAP2 000001fc: POP 000001fd: POP 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x049b 00000203: PUSH1 0x04 00000205: CALLDATALOAD 00000206: PUSH1 0x24 00000208: CALLDATALOAD 00000209: PUSH1 0x44 0000020b: CALLDATALOAD 0000020c: PUSH1 0x01 0000020e: PUSH1 0xa0 00000210: PUSH1 0x02 00000212: EXP 00000213: SUB 00000214: DUP4 00000215: AND 00000216: PUSH1 0x00 00000218: SWAP1 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x06 0000021d: PUSH1 0x20 0000021f: MSTORE 00000220: PUSH1 0x40 00000222: DUP2 00000223: KECCAK256 00000224: SLOAD 00000225: DUP3 00000226: SWAP1 00000227: LT 00000228: ISZERO 00000229: PUSH2 0x05ef 0000022c: JUMPI 0000022d: PUSH2 0x0002 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x04ad 00000235: PUSH1 0x03 00000237: SLOAD 00000238: PUSH1 0xff 0000023a: AND 0000023b: DUP2 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH2 0x049b 00000241: PUSH1 0x04 00000243: SLOAD 00000244: DUP2 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH2 0x049b 0000024a: PUSH1 0x04 0000024c: CALLDATALOAD 0000024d: PUSH1 0x06 0000024f: PUSH1 0x20 00000251: MSTORE 00000252: PUSH1 0x00 00000254: SWAP1 00000255: DUP2 00000256: MSTORE 00000257: PUSH1 0x40 00000259: SWAP1 0000025a: KECCAK256 0000025b: SLOAD 0000025c: DUP2 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH2 0x042b 00000262: PUSH1 0x04 00000264: CALLDATALOAD 00000265: PUSH1 0x24 00000267: CALLDATALOAD 00000268: PUSH1 0x00 0000026a: SLOAD 0000026b: CALLER 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: PUSH1 0x02 00000272: EXP 00000273: SUB 00000274: SWAP1 00000275: DUP2 00000276: AND 00000277: SWAP2 00000278: AND 00000279: EQ 0000027a: PUSH2 0x0741 0000027d: JUMPI 0000027e: PUSH2 0x0002 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x049b 00000286: PUSH1 0x05 00000288: SLOAD 00000289: DUP2 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH2 0x04ad 0000028f: PUSH1 0x00 00000291: SLOAD 00000292: PUSH1 0x01 00000294: PUSH1 0xa0 00000296: PUSH1 0x02 00000298: EXP 00000299: SUB 0000029a: AND 0000029b: DUP2 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH2 0x042d 000002a1: PUSH1 0x02 000002a3: DUP1 000002a4: SLOAD 000002a5: PUSH1 0x20 000002a7: PUSH1 0x1f 000002a9: PUSH1 0x00 000002ab: NOT 000002ac: PUSH1 0x01 000002ae: DUP5 000002af: AND 000002b0: ISZERO 000002b1: PUSH2 0x0100 000002b4: MUL 000002b5: ADD 000002b6: SWAP1 000002b7: SWAP3 000002b8: AND 000002b9: DUP4 000002ba: SWAP1 000002bb: DIV 000002bc: SWAP2 000002bd: DUP3 000002be: ADD 000002bf: DUP2 000002c0: SWAP1 000002c1: DIV 000002c2: MUL 000002c3: PUSH1 0x80 000002c5: SWAP1 000002c6: DUP2 000002c7: ADD 000002c8: PUSH1 0x40 000002ca: MSTORE 000002cb: PUSH1 0x60 000002cd: DUP3 000002ce: DUP2 000002cf: MSTORE 000002d0: SWAP3 000002d1: SWAP2 000002d2: SWAP1 000002d3: DUP3 000002d4: DUP3 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x0504 000002da: JUMPI 000002db: DUP1 000002dc: PUSH1 0x1f 000002de: LT 000002df: PUSH2 0x04d9 000002e2: JUMPI 000002e3: PUSH2 0x0100 000002e6: DUP1 000002e7: DUP4 000002e8: SLOAD 000002e9: DIV 000002ea: MUL 000002eb: DUP4 000002ec: MSTORE 000002ed: SWAP2 000002ee: PUSH1 0x20 000002f0: ADD 000002f1: SWAP2 000002f2: PUSH2 0x0504 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x05 000002f9: SLOAD 000002fa: ADDRESS 000002fb: PUSH1 0x01 000002fd: PUSH1 0xa0 000002ff: PUSH1 0x02 00000301: EXP 00000302: SUB 00000303: AND 00000304: PUSH1 0x00 00000306: SWAP1 00000307: DUP2 00000308: MSTORE 00000309: PUSH1 0x06 0000030b: PUSH1 0x20 0000030d: MSTORE 0000030e: PUSH1 0x40 00000310: SWAP1 00000311: KECCAK256 00000312: SLOAD 00000313: PUSH2 0x042b 00000316: SWAP2 00000317: CALLVALUE 00000318: DIV 00000319: SWAP1 0000031a: DUP2 0000031b: SWAP1 0000031c: LT 0000031d: ISZERO 0000031e: PUSH2 0x07dc 00000321: JUMPI 00000322: PUSH2 0x0002 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH2 0x042b 0000032a: PUSH1 0x04 0000032c: CALLDATALOAD 0000032d: PUSH1 0x24 0000032f: CALLDATALOAD 00000330: CALLER 00000331: PUSH1 0x01 00000333: PUSH1 0xa0 00000335: PUSH1 0x02 00000337: EXP 00000338: SUB 00000339: AND 0000033a: PUSH1 0x00 0000033c: SWAP1 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0x06 00000341: PUSH1 0x20 00000343: MSTORE 00000344: PUSH1 0x40 00000346: SWAP1 00000347: KECCAK256 00000348: SLOAD 00000349: DUP2 0000034a: SWAP1 0000034b: LT 0000034c: ISZERO 0000034d: PUSH2 0x050c 00000350: JUMPI 00000351: PUSH2 0x0002 00000354: JUMP 00000355: JUMPDEST 00000356: PUSH2 0x049b 00000359: PUSH1 0x04 0000035b: CALLDATALOAD 0000035c: PUSH1 0x07 0000035e: PUSH1 0x20 00000360: MSTORE 00000361: PUSH1 0x00 00000363: SWAP1 00000364: DUP2 00000365: MSTORE 00000366: PUSH1 0x40 00000368: SWAP1 00000369: KECCAK256 0000036a: SLOAD 0000036b: PUSH1 0xff 0000036d: AND 0000036e: DUP2 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH1 0x09 00000373: PUSH1 0x20 00000375: SWAP1 00000376: DUP2 00000377: MSTORE 00000378: PUSH1 0x04 0000037a: CALLDATALOAD 0000037b: PUSH1 0x00 0000037d: SWAP1 0000037e: DUP2 0000037f: MSTORE 00000380: PUSH1 0x40 00000382: DUP1 00000383: DUP3 00000384: KECCAK256 00000385: SWAP1 00000386: SWAP3 00000387: MSTORE 00000388: PUSH1 0x24 0000038a: CALLDATALOAD 0000038b: DUP2 0000038c: MSTORE 0000038d: KECCAK256 0000038e: SLOAD 0000038f: PUSH2 0x049b 00000392: SWAP1 00000393: DUP2 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH1 0x08 00000398: PUSH1 0x20 0000039a: SWAP1 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x04 0000039f: CALLDATALOAD 000003a0: PUSH1 0x00 000003a2: SWAP1 000003a3: DUP2 000003a4: MSTORE 000003a5: PUSH1 0x40 000003a7: DUP1 000003a8: DUP3 000003a9: KECCAK256 000003aa: SWAP1 000003ab: SWAP3 000003ac: MSTORE 000003ad: PUSH1 0x24 000003af: CALLDATALOAD 000003b0: DUP2 000003b1: MSTORE 000003b2: KECCAK256 000003b3: SLOAD 000003b4: PUSH2 0x049b 000003b7: SWAP1 000003b8: DUP2 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH2 0x042b 000003be: PUSH1 0x04 000003c0: CALLDATALOAD 000003c1: CALLER 000003c2: PUSH1 0x01 000003c4: PUSH1 0xa0 000003c6: PUSH1 0x02 000003c8: EXP 000003c9: SUB 000003ca: AND 000003cb: PUSH1 0x00 000003cd: SWAP1 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x06 000003d2: PUSH1 0x20 000003d4: MSTORE 000003d5: PUSH1 0x40 000003d7: SWAP1 000003d8: KECCAK256 000003d9: SLOAD 000003da: DUP2 000003db: SWAP1 000003dc: LT 000003dd: ISZERO 000003de: PUSH2 0x0823 000003e1: JUMPI 000003e2: PUSH2 0x0002 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH2 0x042b 000003ea: PUSH1 0x04 000003ec: CALLDATALOAD 000003ed: PUSH1 0x24 000003ef: CALLDATALOAD 000003f0: PUSH1 0x00 000003f2: SLOAD 000003f3: CALLER 000003f4: PUSH1 0x01 000003f6: PUSH1 0xa0 000003f8: PUSH1 0x02 000003fa: EXP 000003fb: SUB 000003fc: SWAP1 000003fd: DUP2 000003fe: AND 000003ff: SWAP2 00000400: AND 00000401: EQ 00000402: PUSH2 0x077c 00000405: JUMPI 00000406: PUSH2 0x0002 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x042b 0000040e: PUSH1 0x04 00000410: CALLDATALOAD 00000411: PUSH1 0x00 00000413: SLOAD 00000414: CALLER 00000415: PUSH1 0x01 00000417: PUSH1 0xa0 00000419: PUSH1 0x02 0000041b: EXP 0000041c: SUB 0000041d: SWAP1 0000041e: DUP2 0000041f: AND 00000420: SWAP2 00000421: AND 00000422: EQ 00000423: PUSH2 0x04b7 00000426: JUMPI 00000427: PUSH2 0x0002 0000042a: JUMP 0000042b: JUMPDEST 0000042c: STOP 0000042d: JUMPDEST 0000042e: PUSH1 0x40 00000430: MLOAD 00000431: DUP1 00000432: DUP1 00000433: PUSH1 0x20 00000435: ADD 00000436: DUP3 00000437: DUP2 00000438: SUB 00000439: DUP3 0000043a: MSTORE 0000043b: DUP4 0000043c: DUP2 0000043d: DUP2 0000043e: MLOAD 0000043f: DUP2 00000440: MSTORE 00000441: PUSH1 0x20 00000443: ADD 00000444: SWAP2 00000445: POP 00000446: DUP1 00000447: MLOAD 00000448: SWAP1 00000449: PUSH1 0x20 0000044b: ADD 0000044c: SWAP1 0000044d: DUP1 0000044e: DUP4 0000044f: DUP4 00000450: DUP3 00000451: SWAP1 00000452: PUSH1 0x00 00000454: PUSH1 0x04 00000456: PUSH1 0x20 00000458: DUP5 00000459: PUSH1 0x1f 0000045b: ADD 0000045c: DIV 0000045d: PUSH1 0x0f 0000045f: MUL 00000460: PUSH1 0x03 00000462: ADD 00000463: CALL 00000464: POP 00000465: SWAP1 00000466: POP 00000467: SWAP1 00000468: DUP2 00000469: ADD 0000046a: SWAP1 0000046b: PUSH1 0x1f 0000046d: AND 0000046e: DUP1 0000046f: ISZERO 00000470: PUSH2 0x048d 00000473: JUMPI 00000474: DUP1 00000475: DUP3 00000476: SUB 00000477: DUP1 00000478: MLOAD 00000479: PUSH1 0x01 0000047b: DUP4 0000047c: PUSH1 0x20 0000047e: SUB 0000047f: PUSH2 0x0100 00000482: EXP 00000483: SUB 00000484: NOT 00000485: AND 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP2 0000048c: POP 0000048d: JUMPDEST 0000048e: POP 0000048f: SWAP3 00000490: POP 00000491: POP 00000492: POP 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: SWAP2 00000498: SUB 00000499: SWAP1 0000049a: RETURN 0000049b: JUMPDEST 0000049c: PUSH1 0x40 0000049e: DUP1 0000049f: MLOAD 000004a0: SWAP2 000004a1: DUP3 000004a2: MSTORE 000004a3: MLOAD 000004a4: SWAP1 000004a5: DUP2 000004a6: SWAP1 000004a7: SUB 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: SWAP1 000004ac: RETURN 000004ad: JUMPDEST 000004ae: PUSH1 0x60 000004b0: SWAP1 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x20 000004b5: SWAP1 000004b6: RETURN 000004b7: JUMPDEST 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: SLOAD 000004bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d1: NOT 000004d2: AND 000004d3: DUP3 000004d4: OR 000004d5: SWAP1 000004d6: SSTORE 000004d7: POP 000004d8: JUMP 000004d9: JUMPDEST 000004da: DUP3 000004db: ADD 000004dc: SWAP2 000004dd: SWAP1 000004de: PUSH1 0x00 000004e0: MSTORE 000004e1: PUSH1 0x20 000004e3: PUSH1 0x00 000004e5: KECCAK256 000004e6: SWAP1 000004e7: JUMPDEST 000004e8: DUP2 000004e9: SLOAD 000004ea: DUP2 000004eb: MSTORE 000004ec: SWAP1 000004ed: PUSH1 0x01 000004ef: ADD 000004f0: SWAP1 000004f1: PUSH1 0x20 000004f3: ADD 000004f4: DUP1 000004f5: DUP4 000004f6: GT 000004f7: PUSH2 0x04e7 000004fa: JUMPI 000004fb: DUP3 000004fc: SWAP1 000004fd: SUB 000004fe: PUSH1 0x1f 00000500: AND 00000501: DUP3 00000502: ADD 00000503: SWAP2 00000504: JUMPDEST 00000505: POP 00000506: POP 00000507: POP 00000508: POP 00000509: POP 0000050a: DUP2 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: PUSH1 0x02 00000513: EXP 00000514: SUB 00000515: DUP3 00000516: AND 00000517: PUSH1 0x00 00000519: SWAP1 0000051a: DUP2 0000051b: MSTORE 0000051c: PUSH1 0x40 0000051e: SWAP1 0000051f: KECCAK256 00000520: SLOAD 00000521: DUP1 00000522: DUP3 00000523: ADD 00000524: LT 00000525: ISZERO 00000526: PUSH2 0x052e 00000529: JUMPI 0000052a: PUSH2 0x0002 0000052d: JUMP 0000052e: JUMPDEST 0000052f: CALLER 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: PUSH1 0x02 00000536: EXP 00000537: SUB 00000538: AND 00000539: PUSH1 0x00 0000053b: SWAP1 0000053c: DUP2 0000053d: MSTORE 0000053e: PUSH1 0x07 00000540: PUSH1 0x20 00000542: MSTORE 00000543: PUSH1 0x40 00000545: SWAP1 00000546: KECCAK256 00000547: SLOAD 00000548: PUSH1 0xff 0000054a: AND 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH2 0x0002 00000553: JUMP 00000554: JUMPDEST 00000555: DUP1 00000556: PUSH1 0x06 00000558: PUSH1 0x00 0000055a: POP 0000055b: PUSH1 0x00 0000055d: CALLER 0000055e: PUSH1 0x01 00000560: PUSH1 0xa0 00000562: PUSH1 0x02 00000564: EXP 00000565: SUB 00000566: AND 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x20 0000056b: ADD 0000056c: SWAP1 0000056d: DUP2 0000056e: MSTORE 0000056f: PUSH1 0x20 00000571: ADD 00000572: PUSH1 0x00 00000574: KECCAK256 00000575: PUSH1 0x00 00000577: DUP3 00000578: DUP3 00000579: DUP3 0000057a: POP 0000057b: SLOAD 0000057c: SUB 0000057d: SWAP3 0000057e: POP 0000057f: POP 00000580: DUP2 00000581: SWAP1 00000582: SSTORE 00000583: POP 00000584: DUP1 00000585: PUSH1 0x06 00000587: PUSH1 0x00 00000589: POP 0000058a: PUSH1 0x00 0000058c: DUP5 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: PUSH1 0x02 00000593: EXP 00000594: SUB 00000595: AND 00000596: DUP2 00000597: MSTORE 00000598: PUSH1 0x20 0000059a: ADD 0000059b: SWAP1 0000059c: DUP2 0000059d: MSTORE 0000059e: PUSH1 0x20 000005a0: ADD 000005a1: PUSH1 0x00 000005a3: KECCAK256 000005a4: PUSH1 0x00 000005a6: DUP3 000005a7: DUP3 000005a8: DUP3 000005a9: POP 000005aa: SLOAD 000005ab: ADD 000005ac: SWAP3 000005ad: POP 000005ae: POP 000005af: DUP2 000005b0: SWAP1 000005b1: SSTORE 000005b2: POP 000005b3: DUP2 000005b4: PUSH1 0x01 000005b6: PUSH1 0xa0 000005b8: PUSH1 0x02 000005ba: EXP 000005bb: SUB 000005bc: AND 000005bd: CALLER 000005be: PUSH1 0x01 000005c0: PUSH1 0xa0 000005c2: PUSH1 0x02 000005c4: EXP 000005c5: SUB 000005c6: AND 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: MLOAD 000005cb: PUSH1 0x20 000005cd: PUSH2 0x0894 000005d0: DUP4 000005d1: CODECOPY 000005d2: DUP2 000005d3: MLOAD 000005d4: SWAP2 000005d5: MSTORE 000005d6: DUP4 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: DUP1 000005db: DUP3 000005dc: DUP2 000005dd: MSTORE 000005de: PUSH1 0x20 000005e0: ADD 000005e1: SWAP2 000005e2: POP 000005e3: POP 000005e4: PUSH1 0x40 000005e6: MLOAD 000005e7: DUP1 000005e8: SWAP2 000005e9: SUB 000005ea: SWAP1 000005eb: LOG3 000005ec: POP 000005ed: POP 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: PUSH1 0x02 000005f6: EXP 000005f7: SUB 000005f8: DUP4 000005f9: AND 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x40 000005fe: DUP2 000005ff: KECCAK256 00000600: SLOAD 00000601: DUP3 00000602: DUP2 00000603: ADD 00000604: LT 00000605: ISZERO 00000606: PUSH2 0x060e 00000609: JUMPI 0000060a: PUSH2 0x0002 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x01 00000611: PUSH1 0xa0 00000613: PUSH1 0x02 00000615: EXP 00000616: SUB 00000617: DUP1 00000618: DUP6 00000619: AND 0000061a: DUP1 0000061b: DUP4 0000061c: MSTORE 0000061d: PUSH1 0x08 0000061f: PUSH1 0x20 00000621: SWAP1 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x40 00000626: DUP1 00000627: DUP6 00000628: KECCAK256 00000629: CALLER 0000062a: SWAP1 0000062b: SWAP5 0000062c: AND 0000062d: DUP1 0000062e: DUP7 0000062f: MSTORE 00000630: SWAP4 00000631: DUP3 00000632: MSTORE 00000633: DUP1 00000634: DUP6 00000635: KECCAK256 00000636: SLOAD 00000637: SWAP3 00000638: DUP6 00000639: MSTORE 0000063a: PUSH1 0x09 0000063c: DUP3 0000063d: MSTORE 0000063e: DUP1 0000063f: DUP6 00000640: KECCAK256 00000641: SWAP4 00000642: DUP6 00000643: MSTORE 00000644: SWAP3 00000645: SWAP1 00000646: MSTORE 00000647: SWAP1 00000648: DUP3 00000649: KECCAK256 0000064a: SLOAD 0000064b: DUP4 0000064c: ADD 0000064d: GT 0000064e: ISZERO 0000064f: PUSH2 0x0657 00000652: JUMPI 00000653: PUSH2 0x0002 00000656: JUMP 00000657: JUMPDEST 00000658: DUP2 00000659: PUSH1 0x06 0000065b: PUSH1 0x00 0000065d: POP 0000065e: PUSH1 0x00 00000660: DUP7 00000661: PUSH1 0x01 00000663: PUSH1 0xa0 00000665: PUSH1 0x02 00000667: EXP 00000668: SUB 00000669: AND 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: SWAP1 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x20 00000674: ADD 00000675: PUSH1 0x00 00000677: KECCAK256 00000678: PUSH1 0x00 0000067a: DUP3 0000067b: DUP3 0000067c: DUP3 0000067d: POP 0000067e: SLOAD 0000067f: SUB 00000680: SWAP3 00000681: POP 00000682: POP 00000683: DUP2 00000684: SWAP1 00000685: SSTORE 00000686: POP 00000687: DUP2 00000688: PUSH1 0x06 0000068a: PUSH1 0x00 0000068c: POP 0000068d: PUSH1 0x00 0000068f: DUP6 00000690: PUSH1 0x01 00000692: PUSH1 0xa0 00000694: PUSH1 0x02 00000696: EXP 00000697: SUB 00000698: AND 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x20 0000069d: ADD 0000069e: SWAP1 0000069f: DUP2 000006a0: MSTORE 000006a1: PUSH1 0x20 000006a3: ADD 000006a4: PUSH1 0x00 000006a6: KECCAK256 000006a7: PUSH1 0x00 000006a9: DUP3 000006aa: DUP3 000006ab: DUP3 000006ac: POP 000006ad: SLOAD 000006ae: ADD 000006af: SWAP3 000006b0: POP 000006b1: POP 000006b2: DUP2 000006b3: SWAP1 000006b4: SSTORE 000006b5: POP 000006b6: DUP2 000006b7: PUSH1 0x09 000006b9: PUSH1 0x00 000006bb: POP 000006bc: PUSH1 0x00 000006be: DUP7 000006bf: PUSH1 0x01 000006c1: PUSH1 0xa0 000006c3: PUSH1 0x02 000006c5: EXP 000006c6: SUB 000006c7: AND 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x20 000006cc: ADD 000006cd: SWAP1 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x20 000006d2: ADD 000006d3: PUSH1 0x00 000006d5: KECCAK256 000006d6: PUSH1 0x00 000006d8: POP 000006d9: PUSH1 0x00 000006db: CALLER 000006dc: PUSH1 0x01 000006de: PUSH1 0xa0 000006e0: PUSH1 0x02 000006e2: EXP 000006e3: SUB 000006e4: AND 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x20 000006e9: ADD 000006ea: SWAP1 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: PUSH1 0x00 000006f2: KECCAK256 000006f3: PUSH1 0x00 000006f5: DUP3 000006f6: DUP3 000006f7: DUP3 000006f8: POP 000006f9: SLOAD 000006fa: ADD 000006fb: SWAP3 000006fc: POP 000006fd: POP 000006fe: DUP2 000006ff: SWAP1 00000700: SSTORE 00000701: POP 00000702: DUP3 00000703: PUSH1 0x01 00000705: PUSH1 0xa0 00000707: PUSH1 0x02 00000709: EXP 0000070a: SUB 0000070b: AND 0000070c: CALLER 0000070d: PUSH1 0x01 0000070f: PUSH1 0xa0 00000711: PUSH1 0x02 00000713: EXP 00000714: SUB 00000715: AND 00000716: PUSH1 0x00 00000718: DUP1 00000719: MLOAD 0000071a: PUSH1 0x20 0000071c: PUSH2 0x0894 0000071f: DUP4 00000720: CODECOPY 00000721: DUP2 00000722: MLOAD 00000723: SWAP2 00000724: MSTORE 00000725: DUP5 00000726: PUSH1 0x40 00000728: MLOAD 00000729: DUP1 0000072a: DUP3 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x20 0000072f: ADD 00000730: SWAP2 00000731: POP 00000732: POP 00000733: PUSH1 0x40 00000735: MLOAD 00000736: DUP1 00000737: SWAP2 00000738: SUB 00000739: SWAP1 0000073a: LOG3 0000073b: SWAP4 0000073c: SWAP3 0000073d: POP 0000073e: POP 0000073f: POP 00000740: JUMP 00000741: JUMPDEST 00000742: PUSH1 0x01 00000744: PUSH1 0xa0 00000746: PUSH1 0x02 00000748: EXP 00000749: SUB 0000074a: DUP3 0000074b: AND 0000074c: PUSH1 0x00 0000074e: DUP2 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x06 00000753: PUSH1 0x20 00000755: SWAP1 00000756: DUP2 00000757: MSTORE 00000758: PUSH1 0x40 0000075a: DUP3 0000075b: KECCAK256 0000075c: DUP1 0000075d: SLOAD 0000075e: DUP6 0000075f: ADD 00000760: SWAP1 00000761: SSTORE 00000762: PUSH1 0x60 00000764: DUP5 00000765: DUP2 00000766: MSTORE 00000767: PUSH1 0x00 00000769: DUP1 0000076a: MLOAD 0000076b: PUSH1 0x20 0000076d: PUSH2 0x0894 00000770: DUP4 00000771: CODECOPY 00000772: DUP2 00000773: MLOAD 00000774: SWAP2 00000775: MSTORE 00000776: SWAP2 00000777: SWAP1 00000778: LOG3 00000779: POP 0000077a: POP 0000077b: JUMP 0000077c: JUMPDEST 0000077d: PUSH1 0x01 0000077f: PUSH1 0xa0 00000781: PUSH1 0x02 00000783: EXP 00000784: SUB 00000785: DUP3 00000786: AND 00000787: PUSH1 0x00 00000789: DUP2 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x07 0000078e: PUSH1 0x20 00000790: MSTORE 00000791: PUSH1 0x40 00000793: SWAP1 00000794: DUP2 00000795: SWAP1 00000796: KECCAK256 00000797: DUP1 00000798: SLOAD 00000799: PUSH1 0xff 0000079b: NOT 0000079c: AND 0000079d: DUP5 0000079e: OR 0000079f: SWAP1 000007a0: SSTORE 000007a1: PUSH1 0x60 000007a3: SWAP2 000007a4: DUP3 000007a5: MSTORE 000007a6: PUSH1 0x80 000007a8: DUP4 000007a9: SWAP1 000007aa: MSTORE 000007ab: PUSH32 0x48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a5 000007cc: SWAP2 000007cd: LOG1 000007ce: POP 000007cf: POP 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x04 000007d4: SWAP2 000007d5: SWAP1 000007d6: SWAP2 000007d7: SSTORE 000007d8: PUSH1 0x05 000007da: SSTORE 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH1 0x40 000007df: PUSH1 0x00 000007e1: DUP2 000007e2: DUP2 000007e3: KECCAK256 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: PUSH1 0x02 000007ea: EXP 000007eb: SUB 000007ec: CALLER 000007ed: DUP2 000007ee: AND 000007ef: DUP1 000007f0: DUP5 000007f1: MSTORE 000007f2: SWAP4 000007f3: DUP4 000007f4: KECCAK256 000007f5: DUP1 000007f6: SLOAD 000007f7: DUP7 000007f8: ADD 000007f9: SWAP1 000007fa: SSTORE 000007fb: ADDRESS 000007fc: AND 000007fd: SWAP2 000007fe: DUP3 000007ff: SWAP1 00000800: MSTORE 00000801: DUP1 00000802: SLOAD 00000803: DUP5 00000804: SWAP1 00000805: SUB 00000806: SWAP1 00000807: SSTORE 00000808: PUSH1 0x60 0000080a: DUP4 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x00 0000080f: DUP1 00000810: MLOAD 00000811: PUSH1 0x20 00000813: PUSH2 0x0894 00000816: DUP4 00000817: CODECOPY 00000818: DUP2 00000819: MLOAD 0000081a: SWAP2 0000081b: MSTORE 0000081c: SWAP1 0000081d: PUSH1 0x20 0000081f: SWAP1 00000820: LOG3 00000821: POP 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH1 0x40 00000826: PUSH1 0x00 00000828: DUP2 00000829: DUP2 0000082a: KECCAK256 0000082b: ADDRESS 0000082c: PUSH1 0x01 0000082e: PUSH1 0xa0 00000830: PUSH1 0x02 00000832: EXP 00000833: SUB 00000834: SWAP1 00000835: DUP2 00000836: AND 00000837: DUP4 00000838: MSTORE 00000839: SWAP3 0000083a: DUP3 0000083b: KECCAK256 0000083c: DUP1 0000083d: SLOAD 0000083e: DUP6 0000083f: ADD 00000840: SWAP1 00000841: SSTORE 00000842: CALLER 00000843: SWAP1 00000844: SWAP3 00000845: AND 00000846: DUP1 00000847: DUP3 00000848: MSTORE 00000849: DUP3 0000084a: SLOAD 0000084b: DUP5 0000084c: SWAP1 0000084d: SUB 0000084e: SWAP1 0000084f: SWAP3 00000850: SSTORE 00000851: PUSH1 0x04 00000853: SLOAD 00000854: DUP4 00000855: MUL 00000856: PUSH1 0x60 00000858: DUP3 00000859: DUP2 0000085a: DUP2 0000085b: DUP2 0000085c: DUP6 0000085d: DUP9 0000085e: DUP4 0000085f: CALL 00000860: POP 00000861: POP 00000862: PUSH1 0x40 00000864: DUP1 00000865: MLOAD 00000866: DUP6 00000867: DUP2 00000868: MSTORE 00000869: SWAP1 0000086a: MLOAD 0000086b: ADDRESS 0000086c: PUSH1 0x01 0000086e: PUSH1 0xa0 00000870: PUSH1 0x02 00000872: EXP 00000873: SUB 00000874: AND 00000875: SWAP5 00000876: SWAP4 00000877: POP 00000878: PUSH1 0x00 0000087a: DUP1 0000087b: MLOAD 0000087c: PUSH1 0x20 0000087e: PUSH2 0x0894 00000881: DUP4 00000882: CODECOPY 00000883: DUP2 00000884: MLOAD 00000885: SWAP2 00000886: MSTORE 00000887: SWAP3 00000888: POP 00000889: SWAP1 0000088a: DUP2 0000088b: SWAP1 0000088c: SUB 0000088d: PUSH1 0x20 0000088f: ADD 00000890: SWAP1 00000891: LOG3 00000892: POP 00000893: JUMP 00000894: UNKNOWN(0xDD) 00000895: CALLCODE 00000896: MSTORE 00000897: UNKNOWN(0xAD) 00000898: SHL 00000899: UNKNOWN(0xE2) 0000089a: UNKNOWN(0xC8) 0000089b: SWAP12 0000089c: PUSH10 0xc2b068fc378daa952ba7 000008a7: CALL 000008a8: PUSH4 0xc4a11628 000008ad: CREATE2 000008ae: GAS 000008af: UNKNOWN(0x4D) 000008b0: CREATE2 000008b1: UNKNOWN(0x23) 000008b2: UNKNOWN(0xB3) 000008b3: UNKNOWN(0xEF)
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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x729f8ede7edb517e697646755016ead85073feb2dfadbcb0bcb55b39da4b5f83
call_targets:
0xdf1db8da82513cc33b52c20828b2d3c337e59896
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x729f8ede7edb517e697646755016ead85073feb2dfadbcb0bcb55b39da4b5f83",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdf1db8da82513cc33b52c20828b2d3c337e59896"
],
"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": "0x05fefda7",
"selector": "0x05fefda7",
"calldata_variants": [
"0x05fefda7",
"0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79c65068",
"selector": "0x79c65068",
"calldata_variants": [
"0x79c65068",
"0x79c650680000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 496,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1123,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x729f8ede7edb517e697646755016ead85073feb2dfadbcb0bcb55b39da4b5f83
call_targets:
0xdf1db8da82513cc33b52c20828b2d3c337e59896
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x729f8ede7edb517e697646755016ead85073feb2dfadbcb0bcb55b39da4b5f83",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdf1db8da82513cc33b52c20828b2d3c337e59896"
],
"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": "0x05fefda7",
"selector": "0x05fefda7",
"calldata_variants": [
"0x05fefda7",
"0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79c65068",
"selector": "0x79c65068",
"calldata_variants": [
"0x79c65068",
"0x79c650680000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 496,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1123,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x8148e6a1984b079f6c29e0f1ae4296cc483bbcedf4f73d6b44c6d90853df2fb3
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x8148e6a1984b079f6c29e0f1ae4296cc483bbcedf4f73d6b44c6d90853df2fb3",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x05fefda7",
"selector": "0x05fefda7",
"calldata_variants": [
"0x05fefda7",
"0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79c65068",
"selector": "0x79c65068",
"calldata_variants": [
"0x79c65068",
"0x79c650680000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|