019b3836-440a-733b-969d-9eb2feda44b8
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 |
|---|---|---|---|---|
| 5799 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 5800 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 81555 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 81556 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 81557 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 81558 | 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: PUSH1 0xe0 00000007: PUSH1 0x02 00000009: EXP 0000000a: PUSH1 0x00 0000000c: CALLDATALOAD 0000000d: DIV 0000000e: PUSH4 0x1437f9a3 00000013: DUP2 00000014: EQ 00000015: PUSH2 0x003c 00000018: JUMPI 00000019: DUP1 0000001a: PUSH4 0x2c329e99 0000001f: EQ 00000020: PUSH2 0x015d 00000023: JUMPI 00000024: DUP1 00000025: PUSH4 0x6673ce2b 0000002a: EQ 0000002b: PUSH2 0x024d 0000002e: JUMPI 0000002f: DUP1 00000030: PUSH4 0xdb641ab4 00000035: EQ 00000036: PUSH2 0x02e0 00000039: JUMPI 0000003a: JUMPDEST 0000003b: STOP 0000003c: JUMPDEST 0000003d: PUSH2 0x003a 00000040: PUSH1 0x04 00000042: CALLDATALOAD 00000043: PUSH1 0x0b 00000045: DUP1 00000046: SLOAD 00000047: PUSH21 0xff0000000000000000000000000000000000000000 0000005d: NOT 0000005e: AND 0000005f: SWAP1 00000060: SSTORE 00000061: PUSH2 0xffff 00000064: DUP2 00000065: AND 00000066: PUSH1 0x06 00000068: SSTORE 00000069: CALLVALUE 0000006a: PUSH2 0x04c9 0000006d: PUSH1 0x0b 0000006f: DUP1 00000070: SLOAD 00000071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000086: NOT 00000087: AND 00000088: CALLER 00000089: OR 0000008a: SWAP1 0000008b: SSTORE 0000008c: PUSH1 0x00 0000008e: PUSH1 0x01 00000090: PUSH1 0xa0 00000092: PUSH1 0x02 00000094: EXP 00000095: SUB 00000096: ADDRESS 00000097: AND 00000098: BALANCE 00000099: CALLVALUE 0000009a: PUSH1 0x08 0000009c: MUL 0000009d: GT 0000009e: ISZERO 0000009f: PUSH2 0x061d 000000a2: JUMPI 000000a3: PUSH1 0x40 000000a5: DUP1 000000a6: MLOAD 000000a7: PUSH1 0x60 000000a9: DUP2 000000aa: ADD 000000ab: DUP3 000000ac: MSTORE 000000ad: PUSH1 0x29 000000af: DUP2 000000b0: MSTORE 000000b1: PUSH32 0x426574206973206c6172676572207468616e2067616d65732773206162696c69 000000d2: PUSH1 0x20 000000d4: DUP3 000000d5: DUP2 000000d6: ADD 000000d7: SWAP2 000000d8: DUP3 000000d9: MSTORE 000000da: PUSH32 0x747920746f207061790000000000000000000000000000000000000000000000 000000fb: SWAP4 000000fc: DUP4 000000fd: ADD 000000fe: SWAP4 000000ff: SWAP1 00000100: SWAP4 00000101: MSTORE 00000102: PUSH1 0x09 00000104: DUP1 00000105: SLOAD 00000106: DUP2 00000107: DUP7 00000108: MSTORE 00000109: PUSH1 0x53 0000010b: DUP3 0000010c: SSTORE 0000010d: SWAP1 0000010e: SWAP4 0000010f: PUSH1 0x02 00000111: PUSH1 0x01 00000113: DUP4 00000114: AND 00000115: ISZERO 00000116: PUSH2 0x0100 00000119: MUL 0000011a: PUSH1 0x00 0000011c: NOT 0000011d: ADD 0000011e: SWAP1 0000011f: SWAP3 00000120: AND 00000121: SWAP2 00000122: SWAP1 00000123: SWAP2 00000124: DIV 00000125: PUSH1 0x1f 00000127: ADD 00000128: DIV 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: MLOAD 0000012d: PUSH1 0x20 0000012f: PUSH2 0x0a06 00000132: DUP4 00000133: CODECOPY 00000134: DUP2 00000135: MLOAD 00000136: SWAP2 00000137: MSTORE 00000138: SWAP1 00000139: DUP2 0000013a: ADD 0000013b: SWAP3 0000013c: PUSH1 0x49 0000013e: ADD 0000013f: JUMPDEST 00000140: DUP3 00000141: DUP2 00000142: GT 00000143: ISZERO 00000144: PUSH2 0x06a5 00000147: JUMPI 00000148: DUP3 00000149: MLOAD 0000014a: DUP3 0000014b: PUSH1 0x00 0000014d: POP 0000014e: SSTORE 0000014f: SWAP2 00000150: PUSH1 0x20 00000152: ADD 00000153: SWAP2 00000154: SWAP1 00000155: PUSH1 0x01 00000157: ADD 00000158: SWAP1 00000159: PUSH2 0x013f 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: DUP1 00000161: MLOAD 00000162: PUSH1 0x20 00000164: DUP2 00000165: DUP2 00000166: ADD 00000167: DUP4 00000168: MSTORE 00000169: PUSH1 0x00 0000016b: SWAP1 0000016c: SWAP2 0000016d: MSTORE 0000016e: PUSH1 0x0a 00000170: SLOAD 00000171: PUSH1 0x02 00000173: SLOAD 00000174: DUP4 00000175: MLOAD 00000176: PUSH1 0x60 00000178: DUP2 00000179: ADD 0000017a: DUP6 0000017b: MSTORE 0000017c: PUSH1 0x3e 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH32 0x626c6f636b74696d652069732074686520756e69782074696d657374616d7020 000001a1: SWAP4 000001a2: DUP2 000001a3: ADD 000001a4: SWAP4 000001a5: SWAP1 000001a6: SWAP4 000001a7: MSTORE 000001a8: PUSH32 0x6f662074686520626c6f636b2077686572652074686520626574207761730000 000001c9: SWAP4 000001ca: DUP4 000001cb: ADD 000001cc: SWAP4 000001cd: SWAP1 000001ce: SWAP4 000001cf: MSTORE 000001d0: SWAP2 000001d1: SWAP1 000001d2: PUSH1 0x40 000001d4: MLOAD 000001d5: DUP1 000001d6: DUP5 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: ADD 000001dc: DUP4 000001dd: DUP2 000001de: MSTORE 000001df: PUSH1 0x20 000001e1: ADD 000001e2: DUP1 000001e3: PUSH1 0x20 000001e5: ADD 000001e6: DUP3 000001e7: DUP2 000001e8: SUB 000001e9: DUP3 000001ea: MSTORE 000001eb: DUP4 000001ec: DUP2 000001ed: DUP2 000001ee: MLOAD 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: SWAP2 000001f5: POP 000001f6: DUP1 000001f7: MLOAD 000001f8: SWAP1 000001f9: PUSH1 0x20 000001fb: ADD 000001fc: SWAP1 000001fd: DUP1 000001fe: DUP4 000001ff: DUP4 00000200: DUP3 00000201: SWAP1 00000202: PUSH1 0x00 00000204: PUSH1 0x04 00000206: PUSH1 0x20 00000208: DUP5 00000209: PUSH1 0x1f 0000020b: ADD 0000020c: DIV 0000020d: PUSH1 0x0f 0000020f: MUL 00000210: PUSH1 0x03 00000212: ADD 00000213: CALL 00000214: POP 00000215: SWAP1 00000216: POP 00000217: SWAP1 00000218: DUP2 00000219: ADD 0000021a: SWAP1 0000021b: PUSH1 0x1f 0000021d: AND 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x023d 00000223: JUMPI 00000224: DUP1 00000225: DUP3 00000226: SUB 00000227: DUP1 00000228: MLOAD 00000229: PUSH1 0x01 0000022b: DUP4 0000022c: PUSH1 0x20 0000022e: SUB 0000022f: PUSH2 0x0100 00000232: EXP 00000233: SUB 00000234: NOT 00000235: AND 00000236: DUP2 00000237: MSTORE 00000238: PUSH1 0x20 0000023a: ADD 0000023b: SWAP2 0000023c: POP 0000023d: JUMPDEST 0000023e: POP 0000023f: SWAP5 00000240: POP 00000241: POP 00000242: POP 00000243: POP 00000244: POP 00000245: PUSH1 0x40 00000247: MLOAD 00000248: DUP1 00000249: SWAP2 0000024a: SUB 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: PUSH2 0x03d7 00000251: PUSH1 0x40 00000253: DUP1 00000254: MLOAD 00000255: PUSH1 0x20 00000257: DUP2 00000258: DUP2 00000259: ADD 0000025a: DUP4 0000025b: MSTORE 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: DUP4 00000260: MSTORE 00000261: DUP4 00000262: MLOAD 00000263: DUP1 00000264: DUP4 00000265: ADD 00000266: DUP6 00000267: MSTORE 00000268: DUP2 00000269: DUP2 0000026a: MSTORE 0000026b: PUSH1 0x0b 0000026d: SLOAD 0000026e: PUSH1 0x06 00000270: SLOAD 00000271: PUSH1 0x05 00000273: SLOAD 00000274: PUSH1 0x09 00000276: DUP1 00000277: SLOAD 00000278: DUP10 00000279: MLOAD 0000027a: PUSH1 0x02 0000027c: PUSH1 0x00 0000027e: NOT 0000027f: PUSH1 0x01 00000281: DUP5 00000282: AND 00000283: ISZERO 00000284: PUSH2 0x0100 00000287: MUL 00000288: ADD 00000289: SWAP1 0000028a: SWAP3 0000028b: AND 0000028c: SWAP2 0000028d: SWAP1 0000028e: SWAP2 0000028f: DIV 00000290: PUSH1 0x1f 00000292: DUP2 00000293: ADD 00000294: DUP10 00000295: SWAP1 00000296: DIV 00000297: DUP10 00000298: MUL 00000299: DUP3 0000029a: ADD 0000029b: DUP10 0000029c: ADD 0000029d: SWAP1 0000029e: SWAP11 0000029f: MSTORE 000002a0: DUP10 000002a1: DUP2 000002a2: MSTORE 000002a3: SWAP8 000002a4: SWAP9 000002a5: SWAP3 000002a6: SWAP8 000002a7: PUSH1 0x01 000002a9: PUSH1 0xa0 000002ab: PUSH1 0x02 000002ad: EXP 000002ae: SUB 000002af: SWAP5 000002b0: SWAP1 000002b1: SWAP5 000002b2: AND 000002b3: SWAP7 000002b4: SWAP2 000002b5: SWAP6 000002b6: SWAP5 000002b7: SWAP4 000002b8: SWAP3 000002b9: SWAP1 000002ba: SWAP2 000002bb: DUP4 000002bc: ADD 000002bd: DUP3 000002be: DUP3 000002bf: DUP1 000002c0: ISZERO 000002c1: PUSH2 0x055d 000002c4: JUMPI 000002c5: DUP1 000002c6: PUSH1 0x1f 000002c8: LT 000002c9: PUSH2 0x0532 000002cc: JUMPI 000002cd: PUSH2 0x0100 000002d0: DUP1 000002d1: DUP4 000002d2: SLOAD 000002d3: DIV 000002d4: MUL 000002d5: DUP4 000002d6: MSTORE 000002d7: SWAP2 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP2 000002dc: PUSH2 0x055d 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x40 000002e3: DUP1 000002e4: MLOAD 000002e5: PUSH1 0x20 000002e7: DUP2 000002e8: DUP2 000002e9: ADD 000002ea: DUP4 000002eb: MSTORE 000002ec: PUSH1 0x00 000002ee: SWAP1 000002ef: SWAP2 000002f0: MSTORE 000002f1: DUP2 000002f2: MLOAD 000002f3: PUSH1 0x60 000002f5: DUP2 000002f6: ADD 000002f7: DUP4 000002f8: MSTORE 000002f9: PUSH1 0x24 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH32 0x47616d652062616c616e63652069732073686f776e20696e2066756c6c204574 0000031e: SWAP2 0000031f: DUP2 00000320: ADD 00000321: SWAP2 00000322: SWAP1 00000323: SWAP2 00000324: MSTORE 00000325: PUSH32 0x6865727300000000000000000000000000000000000000000000000000000000 00000346: SWAP2 00000347: DUP2 00000348: ADD 00000349: SWAP2 0000034a: SWAP1 0000034b: SWAP2 0000034c: MSTORE 0000034d: PUSH8 0x0de0b6b3a7640000 00000356: ADDRESS 00000357: PUSH1 0x01 00000359: PUSH1 0xa0 0000035b: PUSH1 0x02 0000035d: EXP 0000035e: SUB 0000035f: AND 00000360: BALANCE 00000361: DIV 00000362: SWAP1 00000363: PUSH1 0x40 00000365: MLOAD 00000366: DUP1 00000367: DUP4 00000368: DUP2 00000369: MSTORE 0000036a: PUSH1 0x20 0000036c: ADD 0000036d: DUP1 0000036e: PUSH1 0x20 00000370: ADD 00000371: DUP3 00000372: DUP2 00000373: SUB 00000374: DUP3 00000375: MSTORE 00000376: DUP4 00000377: DUP2 00000378: DUP2 00000379: MLOAD 0000037a: DUP2 0000037b: MSTORE 0000037c: PUSH1 0x20 0000037e: ADD 0000037f: SWAP2 00000380: POP 00000381: DUP1 00000382: MLOAD 00000383: SWAP1 00000384: PUSH1 0x20 00000386: ADD 00000387: SWAP1 00000388: DUP1 00000389: DUP4 0000038a: DUP4 0000038b: DUP3 0000038c: SWAP1 0000038d: PUSH1 0x00 0000038f: PUSH1 0x04 00000391: PUSH1 0x20 00000393: DUP5 00000394: PUSH1 0x1f 00000396: ADD 00000397: DIV 00000398: PUSH1 0x0f 0000039a: MUL 0000039b: PUSH1 0x03 0000039d: ADD 0000039e: CALL 0000039f: POP 000003a0: SWAP1 000003a1: POP 000003a2: SWAP1 000003a3: DUP2 000003a4: ADD 000003a5: SWAP1 000003a6: PUSH1 0x1f 000003a8: AND 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03c8 000003ae: JUMPI 000003af: DUP1 000003b0: DUP3 000003b1: SUB 000003b2: DUP1 000003b3: MLOAD 000003b4: PUSH1 0x01 000003b6: DUP4 000003b7: PUSH1 0x20 000003b9: SUB 000003ba: PUSH2 0x0100 000003bd: EXP 000003be: SUB 000003bf: NOT 000003c0: AND 000003c1: DUP2 000003c2: MSTORE 000003c3: PUSH1 0x20 000003c5: ADD 000003c6: SWAP2 000003c7: POP 000003c8: JUMPDEST 000003c9: POP 000003ca: SWAP4 000003cb: POP 000003cc: POP 000003cd: POP 000003ce: POP 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: DUP1 000003d3: SWAP2 000003d4: SUB 000003d5: SWAP1 000003d6: RETURN 000003d7: JUMPDEST 000003d8: PUSH1 0x40 000003da: MLOAD 000003db: DUP1 000003dc: DUP1 000003dd: PUSH1 0x20 000003df: ADD 000003e0: DUP8 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: DUP7 000003e7: PUSH1 0x01 000003e9: PUSH1 0xa0 000003eb: PUSH1 0x02 000003ed: EXP 000003ee: SUB 000003ef: AND 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: DUP6 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x20 000003fa: ADD 000003fb: DUP5 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH1 0x20 00000400: ADD 00000401: DUP1 00000402: PUSH1 0x20 00000404: ADD 00000405: DUP4 00000406: DUP2 00000407: SUB 00000408: DUP4 00000409: MSTORE 0000040a: DUP10 0000040b: DUP2 0000040c: DUP2 0000040d: MLOAD 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x20 00000412: ADD 00000413: SWAP2 00000414: POP 00000415: DUP1 00000416: MLOAD 00000417: SWAP1 00000418: PUSH1 0x20 0000041a: ADD 0000041b: SWAP1 0000041c: DUP1 0000041d: DUP4 0000041e: DUP4 0000041f: DUP3 00000420: SWAP1 00000421: PUSH1 0x00 00000423: PUSH1 0x04 00000425: PUSH1 0x20 00000427: DUP5 00000428: PUSH1 0x1f 0000042a: ADD 0000042b: DIV 0000042c: PUSH1 0x0f 0000042e: MUL 0000042f: PUSH1 0x03 00000431: ADD 00000432: CALL 00000433: POP 00000434: SWAP1 00000435: POP 00000436: SWAP1 00000437: DUP2 00000438: ADD 00000439: SWAP1 0000043a: PUSH1 0x1f 0000043c: AND 0000043d: DUP1 0000043e: ISZERO 0000043f: PUSH2 0x045c 00000442: JUMPI 00000443: DUP1 00000444: DUP3 00000445: SUB 00000446: DUP1 00000447: MLOAD 00000448: PUSH1 0x01 0000044a: DUP4 0000044b: PUSH1 0x20 0000044d: SUB 0000044e: PUSH2 0x0100 00000451: EXP 00000452: SUB 00000453: NOT 00000454: AND 00000455: DUP2 00000456: MSTORE 00000457: PUSH1 0x20 00000459: ADD 0000045a: SWAP2 0000045b: POP 0000045c: JUMPDEST 0000045d: POP 0000045e: DUP4 0000045f: DUP2 00000460: SUB 00000461: DUP3 00000462: MSTORE 00000463: DUP5 00000464: DUP2 00000465: DUP2 00000466: MLOAD 00000467: DUP2 00000468: MSTORE 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP2 0000046d: POP 0000046e: DUP1 0000046f: MLOAD 00000470: SWAP1 00000471: PUSH1 0x20 00000473: ADD 00000474: SWAP1 00000475: DUP1 00000476: DUP4 00000477: DUP4 00000478: DUP3 00000479: SWAP1 0000047a: PUSH1 0x00 0000047c: PUSH1 0x04 0000047e: PUSH1 0x20 00000480: DUP5 00000481: PUSH1 0x1f 00000483: ADD 00000484: DIV 00000485: PUSH1 0x0f 00000487: MUL 00000488: PUSH1 0x03 0000048a: ADD 0000048b: CALL 0000048c: POP 0000048d: SWAP1 0000048e: POP 0000048f: SWAP1 00000490: DUP2 00000491: ADD 00000492: SWAP1 00000493: PUSH1 0x1f 00000495: AND 00000496: DUP1 00000497: ISZERO 00000498: PUSH2 0x04b5 0000049b: JUMPI 0000049c: DUP1 0000049d: DUP3 0000049e: SUB 0000049f: DUP1 000004a0: MLOAD 000004a1: PUSH1 0x01 000004a3: DUP4 000004a4: PUSH1 0x20 000004a6: SUB 000004a7: PUSH2 0x0100 000004aa: EXP 000004ab: SUB 000004ac: NOT 000004ad: AND 000004ae: DUP2 000004af: MSTORE 000004b0: PUSH1 0x20 000004b2: ADD 000004b3: SWAP2 000004b4: POP 000004b5: JUMPDEST 000004b6: POP 000004b7: SWAP9 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: POP 000004bc: POP 000004bd: POP 000004be: POP 000004bf: POP 000004c0: POP 000004c1: PUSH1 0x40 000004c3: MLOAD 000004c4: DUP1 000004c5: SWAP2 000004c6: SUB 000004c7: SWAP1 000004c8: RETURN 000004c9: JUMPDEST 000004ca: PUSH1 0x0b 000004cc: SLOAD 000004cd: PUSH2 0x052e 000004d0: SWAP1 000004d1: PUSH1 0xa0 000004d3: PUSH1 0x02 000004d5: EXP 000004d6: SWAP1 000004d7: DIV 000004d8: PUSH1 0xff 000004da: AND 000004db: DUP3 000004dc: PUSH1 0x01 000004de: DUP3 000004df: EQ 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04fd 000004e5: JUMPI 000004e6: POP 000004e7: PUSH9 0x02b5e3af16b1880000 000004f1: ADDRESS 000004f2: PUSH1 0x01 000004f4: PUSH1 0xa0 000004f6: PUSH1 0x02 000004f8: EXP 000004f9: SUB 000004fa: AND 000004fb: BALANCE 000004fc: GT 000004fd: JUMPDEST 000004fe: ISZERO 000004ff: PUSH2 0x09a0 00000502: JUMPI 00000503: PUSH1 0x40 00000505: MLOAD 00000506: PUSH1 0x07 00000508: SLOAD 00000509: PUSH1 0x01 0000050b: PUSH1 0xa0 0000050d: PUSH1 0x02 0000050f: EXP 00000510: SUB 00000511: AND 00000512: SWAP1 00000513: PUSH1 0x00 00000515: SWAP1 00000516: PUSH1 0x01 00000518: PUSH1 0x80 0000051a: PUSH1 0x02 0000051c: EXP 0000051d: SUB 0000051e: DUP5 0000051f: AND 00000520: SWAP1 00000521: DUP3 00000522: DUP2 00000523: DUP2 00000524: DUP2 00000525: DUP6 00000526: DUP9 00000527: DUP4 00000528: CALL 00000529: POP 0000052a: POP 0000052b: POP 0000052c: POP 0000052d: POP 0000052e: JUMPDEST 0000052f: POP 00000530: POP 00000531: JUMP 00000532: JUMPDEST 00000533: DUP3 00000534: ADD 00000535: SWAP2 00000536: SWAP1 00000537: PUSH1 0x00 00000539: MSTORE 0000053a: PUSH1 0x20 0000053c: PUSH1 0x00 0000053e: KECCAK256 0000053f: SWAP1 00000540: JUMPDEST 00000541: DUP2 00000542: SLOAD 00000543: DUP2 00000544: MSTORE 00000545: SWAP1 00000546: PUSH1 0x01 00000548: ADD 00000549: SWAP1 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: DUP1 0000054e: DUP4 0000054f: GT 00000550: PUSH2 0x0540 00000553: JUMPI 00000554: DUP3 00000555: SWAP1 00000556: SUB 00000557: PUSH1 0x1f 00000559: AND 0000055a: DUP3 0000055b: ADD 0000055c: SWAP2 0000055d: JUMPDEST 0000055e: POP 0000055f: POP 00000560: PUSH1 0x08 00000562: SLOAD 00000563: PUSH1 0x40 00000565: DUP1 00000566: MLOAD 00000567: PUSH1 0xa0 00000569: DUP2 0000056a: ADD 0000056b: DUP3 0000056c: MSTORE 0000056d: PUSH1 0x79 0000056f: DUP2 00000570: MSTORE 00000571: PUSH32 0x546865207269676874206c6f7474657279206e756d6265722069732074686520 00000592: PUSH1 0x20 00000594: DUP3 00000595: ADD 00000596: MSTORE 00000597: PUSH32 0x6c61737420636861726163746572206f662074686520626c6f636b74696d6520 000005b8: SWAP2 000005b9: DUP2 000005ba: ADD 000005bb: SWAP2 000005bc: SWAP1 000005bd: SWAP2 000005be: MSTORE 000005bf: PUSH32 0x6f662074686520626c6f636b20696e2077686963682074686520626574207761 000005e0: PUSH1 0x60 000005e2: DUP3 000005e3: ADD 000005e4: MSTORE 000005e5: PUSH32 0x732e204f6e65204574682069732031302a2a3138205765692e00000000000000 00000606: PUSH1 0x80 00000608: DUP3 00000609: ADD 0000060a: MSTORE 0000060b: SWAP5 0000060c: SWAP11 0000060d: POP 0000060e: SWAP6 0000060f: POP 00000610: SWAP3 00000611: SWAP4 00000612: POP 00000613: POP 00000614: POP 00000615: POP 00000616: SWAP1 00000617: SWAP2 00000618: SWAP3 00000619: SWAP4 0000061a: SWAP5 0000061b: SWAP6 0000061c: JUMP 0000061d: JUMPDEST 0000061e: CALLVALUE 0000061f: PUSH1 0x00 00000621: EQ 00000622: ISZERO 00000623: PUSH2 0x06f2 00000626: JUMPI 00000627: PUSH1 0x40 00000629: DUP1 0000062a: MLOAD 0000062b: DUP1 0000062c: DUP3 0000062d: ADD 0000062e: SWAP1 0000062f: SWAP2 00000630: MSTORE 00000631: PUSH1 0x0e 00000633: DUP2 00000634: MSTORE 00000635: PUSH32 0x576167657220776173207a65726f000000000000000000000000000000000000 00000656: PUSH1 0x20 00000658: SWAP2 00000659: DUP3 0000065a: ADD 0000065b: SWAP1 0000065c: DUP2 0000065d: MSTORE 0000065e: PUSH1 0x09 00000660: DUP1 00000661: SLOAD 00000662: PUSH1 0x00 00000664: DUP3 00000665: SWAP1 00000666: MSTORE 00000667: SWAP2 00000668: MLOAD 00000669: PUSH1 0xff 0000066b: NOT 0000066c: AND 0000066d: PUSH1 0x1c 0000066f: OR 00000670: DUP2 00000671: SSTORE 00000672: SWAP2 00000673: PUSH2 0x074a 00000676: SWAP2 00000677: PUSH1 0x02 00000679: PUSH1 0x01 0000067b: DUP3 0000067c: AND 0000067d: ISZERO 0000067e: PUSH2 0x0100 00000681: MUL 00000682: PUSH1 0x00 00000684: NOT 00000685: ADD 00000686: SWAP1 00000687: SWAP2 00000688: AND 00000689: DIV 0000068a: PUSH1 0x1f 0000068c: ADD 0000068d: DIV 0000068e: PUSH1 0x00 00000690: DUP1 00000691: MLOAD 00000692: PUSH1 0x20 00000694: PUSH2 0x0a06 00000697: DUP4 00000698: CODECOPY 00000699: DUP2 0000069a: MLOAD 0000069b: SWAP2 0000069c: MSTORE 0000069d: SWAP1 0000069e: DUP2 0000069f: ADD 000006a0: SWAP1 000006a1: PUSH2 0x06ad 000006a4: JUMP 000006a5: JUMPDEST 000006a6: POP 000006a7: PUSH2 0x06c1 000006aa: SWAP3 000006ab: SWAP2 000006ac: POP 000006ad: JUMPDEST 000006ae: DUP1 000006af: DUP3 000006b0: GT 000006b1: ISZERO 000006b2: PUSH2 0x06ee 000006b5: JUMPI 000006b6: PUSH1 0x00 000006b8: DUP2 000006b9: SSTORE 000006ba: PUSH1 0x01 000006bc: ADD 000006bd: PUSH2 0x06ad 000006c0: JUMP 000006c1: JUMPDEST 000006c2: POP 000006c3: POP 000006c4: PUSH1 0x00 000006c6: PUSH1 0x08 000006c8: DUP2 000006c9: SWAP1 000006ca: SSTORE 000006cb: PUSH1 0x40 000006cd: MLOAD 000006ce: CALLER 000006cf: PUSH1 0x01 000006d1: PUSH1 0xa0 000006d3: PUSH1 0x02 000006d5: EXP 000006d6: SUB 000006d7: AND 000006d8: SWAP2 000006d9: SWAP1 000006da: CALLVALUE 000006db: SWAP1 000006dc: DUP3 000006dd: DUP2 000006de: DUP2 000006df: DUP2 000006e0: DUP6 000006e1: DUP9 000006e2: DUP4 000006e3: CALL 000006e4: SWAP4 000006e5: POP 000006e6: POP 000006e7: POP 000006e8: POP 000006e9: POP 000006ea: PUSH2 0x099d 000006ed: JUMP 000006ee: JUMPDEST 000006ef: POP 000006f0: SWAP1 000006f1: JUMP 000006f2: JUMPDEST 000006f3: POP 000006f4: TIMESTAMP 000006f5: PUSH1 0x02 000006f7: DUP2 000006f8: SWAP1 000006f9: SSTORE 000006fa: PUSH1 0x0a 000006fc: DUP1 000006fd: DUP3 000006fe: DIV 000006ff: PUSH1 0x03 00000701: DUP2 00000702: SWAP1 00000703: SSTORE 00000704: DUP2 00000705: MUL 00000706: PUSH1 0x04 00000708: DUP2 00000709: SWAP1 0000070a: SSTORE 0000070b: SWAP1 0000070c: SWAP2 0000070d: SUB 0000070e: PUSH1 0x05 00000710: SSTORE 00000711: NUMBER 00000712: SWAP1 00000713: SSTORE 00000714: PUSH1 0x06 00000716: SLOAD 00000717: CALLVALUE 00000718: SWAP1 00000719: PUSH2 0x270f 0000071c: EQ 0000071d: DUP1 0000071e: ISZERO 0000071f: PUSH2 0x0737 00000722: JUMPI 00000723: POP 00000724: PUSH1 0x07 00000726: SLOAD 00000727: PUSH1 0x01 00000729: PUSH1 0xa0 0000072b: PUSH1 0x02 0000072d: EXP 0000072e: SUB 0000072f: SWAP1 00000730: DUP2 00000731: AND 00000732: CALLER 00000733: SWAP1 00000734: SWAP2 00000735: AND 00000736: EQ 00000737: JUMPDEST 00000738: ISZERO 00000739: PUSH2 0x0756 0000073c: JUMPI 0000073d: PUSH1 0x07 0000073f: SLOAD 00000740: PUSH1 0x01 00000742: PUSH1 0xa0 00000744: PUSH1 0x02 00000746: EXP 00000747: SUB 00000748: AND 00000749: SELFDESTRUCT 0000074a: JUMPDEST 0000074b: POP 0000074c: POP 0000074d: PUSH1 0x00 0000074f: PUSH1 0x08 00000751: SSTORE 00000752: PUSH2 0x099d 00000755: JUMP 00000756: JUMPDEST 00000757: PUSH1 0x06 00000759: SLOAD 0000075a: PUSH1 0x09 0000075c: SWAP1 0000075d: GT 0000075e: ISZERO 0000075f: PUSH2 0x07e1 00000762: JUMPI 00000763: PUSH1 0x40 00000765: DUP1 00000766: MLOAD 00000767: DUP1 00000768: DUP3 00000769: ADD 0000076a: SWAP1 0000076b: SWAP2 0000076c: MSTORE 0000076d: PUSH1 0x1c 0000076f: DUP2 00000770: MSTORE 00000771: PUSH32 0x67697665206120636861726163746572206265747765656e20302d3900000000 00000792: PUSH1 0x20 00000794: SWAP2 00000795: DUP3 00000796: ADD 00000797: SWAP1 00000798: DUP2 00000799: MSTORE 0000079a: PUSH1 0x09 0000079c: DUP1 0000079d: SLOAD 0000079e: PUSH1 0x00 000007a0: DUP3 000007a1: SWAP1 000007a2: MSTORE 000007a3: SWAP2 000007a4: MLOAD 000007a5: PUSH1 0xff 000007a7: NOT 000007a8: AND 000007a9: PUSH1 0x38 000007ab: OR 000007ac: DUP2 000007ad: SSTORE 000007ae: SWAP2 000007af: PUSH2 0x087e 000007b2: SWAP2 000007b3: PUSH1 0x02 000007b5: PUSH1 0x01 000007b7: DUP3 000007b8: AND 000007b9: ISZERO 000007ba: PUSH2 0x0100 000007bd: MUL 000007be: PUSH1 0x00 000007c0: NOT 000007c1: ADD 000007c2: SWAP1 000007c3: SWAP2 000007c4: AND 000007c5: DIV 000007c6: PUSH1 0x1f 000007c8: ADD 000007c9: DIV 000007ca: PUSH1 0x00 000007cc: DUP1 000007cd: MLOAD 000007ce: PUSH1 0x20 000007d0: PUSH2 0x0a06 000007d3: DUP4 000007d4: CODECOPY 000007d5: DUP2 000007d6: MLOAD 000007d7: SWAP2 000007d8: MSTORE 000007d9: SWAP1 000007da: DUP2 000007db: ADD 000007dc: SWAP1 000007dd: PUSH2 0x06ad 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH1 0x05 000007e4: SLOAD 000007e5: PUSH1 0x06 000007e7: SLOAD 000007e8: EQ 000007e9: PUSH2 0x08a6 000007ec: JUMPI 000007ed: PUSH1 0x01 000007ef: PUSH1 0x80 000007f1: PUSH1 0x02 000007f3: EXP 000007f4: SUB 000007f5: DUP2 000007f6: AND 000007f7: PUSH1 0x00 000007f9: NOT 000007fa: SWAP1 000007fb: DUP2 000007fc: MUL 000007fd: PUSH1 0x08 000007ff: SWAP1 00000800: DUP2 00000801: SSTORE 00000802: PUSH1 0x40 00000804: DUP1 00000805: MLOAD 00000806: DUP1 00000807: DUP3 00000808: ADD 00000809: SWAP1 0000080a: SWAP2 0000080b: MSTORE 0000080c: PUSH1 0x04 0000080e: DUP2 0000080f: MSTORE 00000810: PUSH32 0x4c6f737300000000000000000000000000000000000000000000000000000000 00000831: PUSH1 0x20 00000833: SWAP2 00000834: DUP3 00000835: ADD 00000836: SWAP1 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x09 0000083b: DUP1 0000083c: SLOAD 0000083d: PUSH1 0x00 0000083f: DUP3 00000840: SWAP1 00000841: MSTORE 00000842: SWAP2 00000843: MLOAD 00000844: PUSH1 0xff 00000846: NOT 00000847: AND 00000848: SWAP1 00000849: SWAP4 0000084a: OR 0000084b: DUP4 0000084c: SSTORE 0000084d: SWAP2 0000084e: SWAP3 0000084f: PUSH2 0x0943 00000852: SWAP3 00000853: PUSH1 0x02 00000855: PUSH1 0x01 00000857: DUP3 00000858: AND 00000859: ISZERO 0000085a: PUSH2 0x0100 0000085d: MUL 0000085e: SWAP1 0000085f: SWAP3 00000860: ADD 00000861: AND 00000862: DIV 00000863: PUSH1 0x1f 00000865: ADD 00000866: DIV 00000867: PUSH1 0x00 00000869: DUP1 0000086a: MLOAD 0000086b: PUSH1 0x20 0000086d: PUSH2 0x0a06 00000870: DUP4 00000871: CODECOPY 00000872: DUP2 00000873: MLOAD 00000874: SWAP2 00000875: MSTORE 00000876: SWAP1 00000877: DUP2 00000878: ADD 00000879: SWAP1 0000087a: PUSH2 0x06ad 0000087d: JUMP 0000087e: JUMPDEST 0000087f: POP 00000880: POP 00000881: PUSH1 0x40 00000883: MLOAD 00000884: CALLER 00000885: PUSH1 0x01 00000887: PUSH1 0xa0 00000889: PUSH1 0x02 0000088b: EXP 0000088c: SUB 0000088d: AND 0000088e: SWAP1 0000088f: PUSH1 0x00 00000891: SWAP1 00000892: CALLVALUE 00000893: SWAP1 00000894: DUP3 00000895: DUP2 00000896: DUP2 00000897: DUP2 00000898: DUP6 00000899: DUP9 0000089a: DUP4 0000089b: CALL 0000089c: SWAP4 0000089d: POP 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: POP 000008a2: PUSH2 0x099d 000008a5: JUMP 000008a6: JUMPDEST 000008a7: PUSH1 0x05 000008a9: SLOAD 000008aa: PUSH1 0x06 000008ac: SLOAD 000008ad: EQ 000008ae: ISZERO 000008af: PUSH2 0x099d 000008b2: JUMPI 000008b3: PUSH1 0x08 000008b5: DUP2 000008b6: DUP2 000008b7: MUL 000008b8: PUSH1 0x01 000008ba: PUSH1 0x80 000008bc: PUSH1 0x02 000008be: EXP 000008bf: SUB 000008c0: AND 000008c1: DUP2 000008c2: SSTORE 000008c3: PUSH1 0x40 000008c5: DUP1 000008c6: MLOAD 000008c7: DUP1 000008c8: DUP3 000008c9: ADD 000008ca: SWAP1 000008cb: SWAP2 000008cc: MSTORE 000008cd: PUSH1 0x04 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH32 0x57696e2100000000000000000000000000000000000000000000000000000000 000008f2: PUSH1 0x20 000008f4: SWAP2 000008f5: DUP3 000008f6: ADD 000008f7: SWAP1 000008f8: DUP2 000008f9: MSTORE 000008fa: PUSH1 0x09 000008fc: DUP1 000008fd: SLOAD 000008fe: PUSH1 0x00 00000900: DUP3 00000901: SWAP1 00000902: MSTORE 00000903: SWAP2 00000904: MLOAD 00000905: PUSH1 0xff 00000907: NOT 00000908: AND 00000909: SWAP1 0000090a: SWAP4 0000090b: OR 0000090c: DUP4 0000090d: SSTORE 0000090e: PUSH2 0x096e 00000911: SWAP2 00000912: PUSH1 0x02 00000914: PUSH1 0x01 00000916: DUP4 00000917: AND 00000918: ISZERO 00000919: PUSH2 0x0100 0000091c: MUL 0000091d: PUSH1 0x00 0000091f: NOT 00000920: ADD 00000921: SWAP1 00000922: SWAP3 00000923: AND 00000924: SWAP2 00000925: SWAP1 00000926: SWAP2 00000927: DIV 00000928: PUSH1 0x1f 0000092a: ADD 0000092b: DIV 0000092c: PUSH1 0x00 0000092e: DUP1 0000092f: MLOAD 00000930: PUSH1 0x20 00000932: PUSH2 0x0a06 00000935: DUP4 00000936: CODECOPY 00000937: DUP2 00000938: MLOAD 00000939: SWAP2 0000093a: MSTORE 0000093b: SWAP1 0000093c: DUP2 0000093d: ADD 0000093e: SWAP1 0000093f: PUSH2 0x06ad 00000942: JUMP 00000943: JUMPDEST 00000944: POP 00000945: POP 00000946: PUSH1 0x0b 00000948: DUP1 00000949: SLOAD 0000094a: PUSH21 0xff0000000000000000000000000000000000000000 00000960: NOT 00000961: AND 00000962: PUSH1 0xa0 00000964: PUSH1 0x02 00000966: EXP 00000967: OR 00000968: SWAP1 00000969: SSTORE 0000096a: PUSH2 0x099d 0000096d: JUMP 0000096e: JUMPDEST 0000096f: POP 00000970: POP 00000971: PUSH1 0x40 00000973: MLOAD 00000974: CALLER 00000975: PUSH1 0x01 00000977: PUSH1 0xa0 00000979: PUSH1 0x02 0000097b: EXP 0000097c: SUB 0000097d: AND 0000097e: SWAP1 0000097f: PUSH1 0x00 00000981: SWAP1 00000982: PUSH1 0x08 00000984: DUP5 00000985: MUL 00000986: PUSH1 0x01 00000988: PUSH1 0x80 0000098a: PUSH1 0x02 0000098c: EXP 0000098d: SUB 0000098e: AND 0000098f: SWAP1 00000990: DUP3 00000991: DUP2 00000992: DUP2 00000993: DUP2 00000994: DUP6 00000995: DUP9 00000996: DUP4 00000997: CALL 00000998: POP 00000999: POP 0000099a: POP 0000099b: POP 0000099c: POP 0000099d: JUMPDEST 0000099e: POP 0000099f: JUMP 000009a0: JUMPDEST 000009a1: DUP2 000009a2: PUSH1 0xff 000009a4: AND 000009a5: PUSH1 0x01 000009a7: EQ 000009a8: DUP1 000009a9: ISZERO 000009aa: PUSH2 0x09c5 000009ad: JUMPI 000009ae: POP 000009af: PUSH9 0x01158e460913d00000 000009b9: ADDRESS 000009ba: PUSH1 0x01 000009bc: PUSH1 0xa0 000009be: PUSH1 0x02 000009c0: EXP 000009c1: SUB 000009c2: AND 000009c3: BALANCE 000009c4: GT 000009c5: JUMPDEST 000009c6: ISZERO 000009c7: PUSH2 0x052e 000009ca: JUMPI 000009cb: PUSH1 0x07 000009cd: SLOAD 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: PUSH1 0x01 000009d3: PUSH1 0xa0 000009d5: PUSH1 0x02 000009d7: EXP 000009d8: SUB 000009d9: SWAP2 000009da: SWAP1 000009db: SWAP2 000009dc: AND 000009dd: SWAP1 000009de: PUSH1 0x00 000009e0: SWAP1 000009e1: PUSH1 0x02 000009e3: PUSH1 0x01 000009e5: PUSH1 0x80 000009e7: PUSH1 0x02 000009e9: EXP 000009ea: SUB 000009eb: DUP6 000009ec: DUP2 000009ed: AND 000009ee: SWAP2 000009ef: SWAP1 000009f0: SWAP2 000009f1: DIV 000009f2: AND 000009f3: SWAP1 000009f4: DUP3 000009f5: DUP2 000009f6: DUP2 000009f7: DUP2 000009f8: DUP6 000009f9: DUP9 000009fa: DUP4 000009fb: CALL 000009fc: SWAP4 000009fd: POP 000009fe: POP 000009ff: POP 00000a00: POP 00000a01: POP 00000a02: PUSH2 0x052e 00000a05: JUMP 00000a06: PUSH15 0x1540171b6c0c960b71a7020d9f6007 00000a16: PUSH32
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: 0xe2885fb97e44171f882b9c38e8f053607e0111f86074da93080ed266bf8190de
call_targets:
0xc78daa292c7f44dcbf138db81dc25272138f5aaf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe2885fb97e44171f882b9c38e8f053607e0111f86074da93080ed266bf8190de",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc78daa292c7f44dcbf138db81dc25272138f5aaf"
],
"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": "0x1437f9a3",
"selector": "0x1437f9a3",
"calldata_variants": [
"0x1437f9a3",
"0x1437f9a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c329e99",
"selector": "0x2c329e99",
"calldata_variants": [
"0x2c329e99",
"0x2c329e990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6673ce2b",
"selector": "0x6673ce2b",
"calldata_variants": [
"0x6673ce2b",
"0x6673ce2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb641ab4",
"selector": "0xdb641ab4",
"calldata_variants": [
"0xdb641ab4",
"0xdb641ab40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 531,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 926,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1074,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe2885fb97e44171f882b9c38e8f053607e0111f86074da93080ed266bf8190de
call_targets:
0xc78daa292c7f44dcbf138db81dc25272138f5aaf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe2885fb97e44171f882b9c38e8f053607e0111f86074da93080ed266bf8190de",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc78daa292c7f44dcbf138db81dc25272138f5aaf"
],
"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": "0x1437f9a3",
"selector": "0x1437f9a3",
"calldata_variants": [
"0x1437f9a3",
"0x1437f9a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c329e99",
"selector": "0x2c329e99",
"calldata_variants": [
"0x2c329e99",
"0x2c329e990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6673ce2b",
"selector": "0x6673ce2b",
"calldata_variants": [
"0x6673ce2b",
"0x6673ce2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb641ab4",
"selector": "0xdb641ab4",
"calldata_variants": [
"0xdb641ab4",
"0xdb641ab40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 531,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 926,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1074,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x01ef9f57074a183e85c434153ae63ac7bd68c9beaae247d88aa3a44b1f0513c6
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 8,
"trace_id": "0x01ef9f57074a183e85c434153ae63ac7bd68c9beaae247d88aa3a44b1f0513c6",
"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": "0x1437f9a3",
"selector": "0x1437f9a3",
"calldata_variants": [
"0x1437f9a3",
"0x1437f9a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c329e99",
"selector": "0x2c329e99",
"calldata_variants": [
"0x2c329e99",
"0x2c329e990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6673ce2b",
"selector": "0x6673ce2b",
"calldata_variants": [
"0x6673ce2b",
"0x6673ce2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb641ab4",
"selector": "0xdb641ab4",
"calldata_variants": [
"0xdb641ab4",
"0xdb641ab40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|