019ba927-db76-7350-aaad-80a314f96353
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 |
|---|---|---|---|---|
| 34906 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34907 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34908 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34909 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34910 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34911 | detector.run | complete | 1 / 3 | 3 months ago |
| 34912 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x0066 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb5c5f672 0000002f: EQ 00000030: PUSH2 0x0091 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x00ba 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0064 00000060: PUSH2 0x00e3 00000063: JUMP 00000064: JUMPDEST 00000065: STOP 00000066: JUMPDEST 00000067: CALLVALUE 00000068: DUP1 00000069: ISZERO 0000006a: PUSH2 0x0072 0000006d: JUMPI 0000006e: PUSH1 0x00 00000070: DUP1 00000071: REVERT 00000072: JUMPDEST 00000073: POP 00000074: PUSH2 0x007b 00000077: PUSH2 0x00f7 0000007a: JUMP 0000007b: JUMPDEST 0000007c: PUSH1 0x40 0000007e: MLOAD 0000007f: PUSH2 0x0088 00000082: SWAP2 00000083: SWAP1 00000084: PUSH2 0x052e 00000087: JUMP 00000088: JUMPDEST 00000089: PUSH1 0x40 0000008b: MLOAD 0000008c: DUP1 0000008d: SWAP2 0000008e: SUB 0000008f: SWAP1 00000090: RETURN 00000091: JUMPDEST 00000092: CALLVALUE 00000093: DUP1 00000094: ISZERO 00000095: PUSH2 0x009d 00000098: JUMPI 00000099: PUSH1 0x00 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: POP 0000009f: PUSH2 0x00b8 000000a2: PUSH1 0x04 000000a4: DUP1 000000a5: CALLDATASIZE 000000a6: SUB 000000a7: DUP2 000000a8: ADD 000000a9: SWAP1 000000aa: PUSH2 0x00b3 000000ad: SWAP2 000000ae: SWAP1 000000af: PUSH2 0x05b0 000000b2: JUMP 000000b3: JUMPDEST 000000b4: PUSH2 0x0120 000000b7: JUMP 000000b8: JUMPDEST 000000b9: STOP 000000ba: JUMPDEST 000000bb: CALLVALUE 000000bc: DUP1 000000bd: ISZERO 000000be: PUSH2 0x00c6 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: POP 000000c8: PUSH2 0x00e1 000000cb: PUSH1 0x04 000000cd: DUP1 000000ce: CALLDATASIZE 000000cf: SUB 000000d0: DUP2 000000d1: ADD 000000d2: SWAP1 000000d3: PUSH2 0x00dc 000000d6: SWAP2 000000d7: SWAP1 000000d8: PUSH2 0x0603 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH2 0x0314 000000e0: JUMP 000000e1: JUMPDEST 000000e2: STOP 000000e3: JUMPDEST 000000e4: PUSH2 0x00eb 000000e7: PUSH2 0x039a 000000ea: JUMP 000000eb: JUMPDEST 000000ec: PUSH2 0x00f5 000000ef: PUSH1 0x00 000000f1: PUSH2 0x0421 000000f4: JUMP 000000f5: JUMPDEST 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH1 0x00 000000fa: DUP1 000000fb: PUSH1 0x00 000000fd: SWAP1 000000fe: SLOAD 000000ff: SWAP1 00000100: PUSH2 0x0100 00000103: EXP 00000104: SWAP1 00000105: DIV 00000106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011b: AND 0000011c: SWAP1 0000011d: POP 0000011e: SWAP1 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH2 0x0128 00000124: PUSH2 0x039a 00000127: JUMP 00000128: JUMPDEST 00000129: DUP1 0000012a: SELFBALANCE 0000012b: LT 0000012c: ISZERO 0000012d: PUSH2 0x016b 00000130: JUMPI 00000131: PUSH1 0x40 00000133: MLOAD 00000134: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000155: DUP2 00000156: MSTORE 00000157: PUSH1 0x04 00000159: ADD 0000015a: PUSH2 0x0162 0000015d: SWAP1 0000015e: PUSH2 0x068d 00000161: JUMP 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: DUP1 00000167: SWAP2 00000168: SUB 00000169: SWAP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: PUSH1 0x00 0000016e: DUP3 0000016f: GT 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017c 00000175: JUMPI 00000176: POP 00000177: PUSH1 0x64 00000179: DUP3 0000017a: GT 0000017b: ISZERO 0000017c: JUMPDEST 0000017d: PUSH2 0x01bb 00000180: JUMPI 00000181: PUSH1 0x40 00000183: MLOAD 00000184: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x04 000001a9: ADD 000001aa: PUSH2 0x01b2 000001ad: SWAP1 000001ae: PUSH2 0x06f9 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: DUP1 000001b7: SWAP2 000001b8: SUB 000001b9: SWAP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: PUSH1 0x00 000001be: DUP2 000001bf: GT 000001c0: PUSH2 0x01fe 000001c3: JUMPI 000001c4: PUSH1 0x40 000001c6: MLOAD 000001c7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001e8: DUP2 000001e9: MSTORE 000001ea: PUSH1 0x04 000001ec: ADD 000001ed: PUSH2 0x01f5 000001f0: SWAP1 000001f1: PUSH2 0x0765 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: DUP1 000001fa: SWAP2 000001fb: SUB 000001fc: SWAP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: PUSH1 0x00 00000201: PUSH1 0x64 00000203: DUP4 00000204: DUP4 00000205: PUSH2 0x020e 00000208: SWAP2 00000209: SWAP1 0000020a: PUSH2 0x07b4 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH2 0x0218 00000212: SWAP2 00000213: SWAP1 00000214: PUSH2 0x0825 00000217: JUMP 00000218: JUMPDEST 00000219: SWAP1 0000021a: POP 0000021b: PUSH1 0x00 0000021d: DUP2 0000021e: DUP4 0000021f: PUSH2 0x0228 00000222: SWAP2 00000223: SWAP1 00000224: PUSH2 0x0856 00000227: JUMP 00000228: JUMPDEST 00000229: SWAP1 0000022a: POP 0000022b: DUP1 0000022c: SELFBALANCE 0000022d: LT 0000022e: ISZERO 0000022f: PUSH2 0x026d 00000232: JUMPI 00000233: PUSH1 0x40 00000235: MLOAD 00000236: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x04 0000025b: ADD 0000025c: PUSH2 0x0264 0000025f: SWAP1 00000260: PUSH2 0x08d6 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: DUP5 0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000284: AND 00000285: PUSH2 0x08fc 00000288: DUP4 00000289: SWAP1 0000028a: DUP2 0000028b: ISZERO 0000028c: MUL 0000028d: SWAP1 0000028e: PUSH1 0x40 00000290: MLOAD 00000291: PUSH1 0x00 00000293: PUSH1 0x40 00000295: MLOAD 00000296: DUP1 00000297: DUP4 00000298: SUB 00000299: DUP2 0000029a: DUP6 0000029b: DUP9 0000029c: DUP9 0000029d: CALL 0000029e: SWAP4 0000029f: POP 000002a0: POP 000002a1: POP 000002a2: POP 000002a3: ISZERO 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02b3 000002a9: JUMPI 000002aa: RETURNDATASIZE 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: RETURNDATACOPY 000002af: RETURNDATASIZE 000002b0: PUSH1 0x00 000002b2: REVERT 000002b3: JUMPDEST 000002b4: POP 000002b5: PUSH18 0x6bbe73c2c7878dc9dc19e0d947e4c4270000 000002c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dd: AND 000002de: PUSH2 0x08fc 000002e1: DUP3 000002e2: SWAP1 000002e3: DUP2 000002e4: ISZERO 000002e5: MUL 000002e6: SWAP1 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: PUSH1 0x00 000002ec: PUSH1 0x40 000002ee: MLOAD 000002ef: DUP1 000002f0: DUP4 000002f1: SUB 000002f2: DUP2 000002f3: DUP6 000002f4: DUP9 000002f5: DUP9 000002f6: CALL 000002f7: SWAP4 000002f8: POP 000002f9: POP 000002fa: POP 000002fb: POP 000002fc: ISZERO 000002fd: DUP1 000002fe: ISZERO 000002ff: PUSH2 0x030c 00000302: JUMPI 00000303: RETURNDATASIZE 00000304: PUSH1 0x00 00000306: DUP1 00000307: RETURNDATACOPY 00000308: RETURNDATASIZE 00000309: PUSH1 0x00 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: POP 0000030f: POP 00000310: POP 00000311: POP 00000312: POP 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH2 0x031c 00000318: PUSH2 0x039a 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH1 0x00 0000031f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000334: AND 00000335: DUP2 00000336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034b: AND 0000034c: SUB 0000034d: PUSH2 0x038e 00000350: JUMPI 00000351: PUSH1 0x00 00000353: PUSH1 0x40 00000355: MLOAD 00000356: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000 00000377: DUP2 00000378: MSTORE 00000379: PUSH1 0x04 0000037b: ADD 0000037c: PUSH2 0x0385 0000037f: SWAP2 00000380: SWAP1 00000381: PUSH2 0x052e 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: SWAP2 0000038b: SUB 0000038c: SWAP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: PUSH2 0x0397 00000392: DUP2 00000393: PUSH2 0x0421 00000396: JUMP 00000397: JUMPDEST 00000398: POP 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x03a2 0000039e: PUSH2 0x04e5 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b8: AND 000003b9: PUSH2 0x03c0 000003bc: PUSH2 0x00f7 000003bf: JUMP 000003c0: JUMPDEST 000003c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d6: AND 000003d7: EQ 000003d8: PUSH2 0x041f 000003db: JUMPI 000003dc: PUSH2 0x03e3 000003df: PUSH2 0x04e5 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 00000408: DUP2 00000409: MSTORE 0000040a: PUSH1 0x04 0000040c: ADD 0000040d: PUSH2 0x0416 00000410: SWAP2 00000411: SWAP1 00000412: PUSH2 0x052e 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: DUP1 0000041b: SWAP2 0000041c: SUB 0000041d: SWAP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH1 0x00 00000424: DUP1 00000425: PUSH1 0x00 00000427: SWAP1 00000428: SLOAD 00000429: SWAP1 0000042a: PUSH2 0x0100 0000042d: EXP 0000042e: SWAP1 0000042f: DIV 00000430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000445: AND 00000446: SWAP1 00000447: POP 00000448: DUP2 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: PUSH2 0x0100 0000044f: EXP 00000450: DUP2 00000451: SLOAD 00000452: DUP2 00000453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000468: MUL 00000469: NOT 0000046a: AND 0000046b: SWAP1 0000046c: DUP4 0000046d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000482: AND 00000483: MUL 00000484: OR 00000485: SWAP1 00000486: SSTORE 00000487: POP 00000488: DUP2 00000489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049e: AND 0000049f: DUP2 000004a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b5: AND 000004b6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: DUP1 000004de: SWAP2 000004df: SUB 000004e0: SWAP1 000004e1: LOG3 000004e2: POP 000004e3: POP 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH1 0x00 000004e8: CALLER 000004e9: SWAP1 000004ea: POP 000004eb: SWAP1 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x00 000004f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000505: DUP3 00000506: AND 00000507: SWAP1 00000508: POP 00000509: SWAP2 0000050a: SWAP1 0000050b: POP 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH1 0x00 00000510: PUSH2 0x0518 00000513: DUP3 00000514: PUSH2 0x04ed 00000517: JUMP 00000518: JUMPDEST 00000519: SWAP1 0000051a: POP 0000051b: SWAP2 0000051c: SWAP1 0000051d: POP 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x0528 00000523: DUP2 00000524: PUSH2 0x050d 00000527: JUMP 00000528: JUMPDEST 00000529: DUP3 0000052a: MSTORE 0000052b: POP 0000052c: POP 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH1 0x00 00000531: PUSH1 0x20 00000533: DUP3 00000534: ADD 00000535: SWAP1 00000536: POP 00000537: PUSH2 0x0543 0000053a: PUSH1 0x00 0000053c: DUP4 0000053d: ADD 0000053e: DUP5 0000053f: PUSH2 0x051f 00000542: JUMP 00000543: JUMPDEST 00000544: SWAP3 00000545: SWAP2 00000546: POP 00000547: POP 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x00 0000054c: DUP1 0000054d: REVERT 0000054e: JUMPDEST 0000054f: PUSH2 0x0557 00000552: DUP2 00000553: PUSH2 0x050d 00000556: JUMP 00000557: JUMPDEST 00000558: DUP2 00000559: EQ 0000055a: PUSH2 0x0562 0000055d: JUMPI 0000055e: PUSH1 0x00 00000560: DUP1 00000561: REVERT 00000562: JUMPDEST 00000563: POP 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x00 00000568: DUP2 00000569: CALLDATALOAD 0000056a: SWAP1 0000056b: POP 0000056c: PUSH2 0x0574 0000056f: DUP2 00000570: PUSH2 0x054e 00000573: JUMP 00000574: JUMPDEST 00000575: SWAP3 00000576: SWAP2 00000577: POP 00000578: POP 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x00 0000057d: DUP2 0000057e: SWAP1 0000057f: POP 00000580: SWAP2 00000581: SWAP1 00000582: POP 00000583: JUMP 00000584: JUMPDEST 00000585: PUSH2 0x058d 00000588: DUP2 00000589: PUSH2 0x057a 0000058c: JUMP 0000058d: JUMPDEST 0000058e: DUP2 0000058f: EQ 00000590: PUSH2 0x0598 00000593: JUMPI 00000594: PUSH1 0x00 00000596: DUP1 00000597: REVERT 00000598: JUMPDEST 00000599: POP 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x00 0000059e: DUP2 0000059f: CALLDATALOAD 000005a0: SWAP1 000005a1: POP 000005a2: PUSH2 0x05aa 000005a5: DUP2 000005a6: PUSH2 0x0584 000005a9: JUMP 000005aa: JUMPDEST 000005ab: SWAP3 000005ac: SWAP2 000005ad: POP 000005ae: POP 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH1 0x00 000005b3: DUP1 000005b4: PUSH1 0x00 000005b6: PUSH1 0x60 000005b8: DUP5 000005b9: DUP7 000005ba: SUB 000005bb: SLT 000005bc: ISZERO 000005bd: PUSH2 0x05c9 000005c0: JUMPI 000005c1: PUSH2 0x05c8 000005c4: PUSH2 0x0549 000005c7: JUMP 000005c8: JUMPDEST 000005c9: JUMPDEST 000005ca: PUSH1 0x00 000005cc: PUSH2 0x05d7 000005cf: DUP7 000005d0: DUP3 000005d1: DUP8 000005d2: ADD 000005d3: PUSH2 0x0565 000005d6: JUMP 000005d7: JUMPDEST 000005d8: SWAP4 000005d9: POP 000005da: POP 000005db: PUSH1 0x20 000005dd: PUSH2 0x05e8 000005e0: DUP7 000005e1: DUP3 000005e2: DUP8 000005e3: ADD 000005e4: PUSH2 0x059b 000005e7: JUMP 000005e8: JUMPDEST 000005e9: SWAP3 000005ea: POP 000005eb: POP 000005ec: PUSH1 0x40 000005ee: PUSH2 0x05f9 000005f1: DUP7 000005f2: DUP3 000005f3: DUP8 000005f4: ADD 000005f5: PUSH2 0x059b 000005f8: JUMP 000005f9: JUMPDEST 000005fa: SWAP2 000005fb: POP 000005fc: POP 000005fd: SWAP3 000005fe: POP 000005ff: SWAP3 00000600: POP 00000601: SWAP3 00000602: JUMP 00000603: JUMPDEST 00000604: PUSH1 0x00 00000606: PUSH1 0x20 00000608: DUP3 00000609: DUP5 0000060a: SUB 0000060b: SLT 0000060c: ISZERO 0000060d: PUSH2 0x0619 00000610: JUMPI 00000611: PUSH2 0x0618 00000614: PUSH2 0x0549 00000617: JUMP 00000618: JUMPDEST 00000619: JUMPDEST 0000061a: PUSH1 0x00 0000061c: PUSH2 0x0627 0000061f: DUP5 00000620: DUP3 00000621: DUP6 00000622: ADD 00000623: PUSH2 0x0565 00000626: JUMP 00000627: JUMPDEST 00000628: SWAP2 00000629: POP 0000062a: POP 0000062b: SWAP3 0000062c: SWAP2 0000062d: POP 0000062e: POP 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x00 00000633: DUP3 00000634: DUP3 00000635: MSTORE 00000636: PUSH1 0x20 00000638: DUP3 00000639: ADD 0000063a: SWAP1 0000063b: POP 0000063c: SWAP3 0000063d: SWAP2 0000063e: POP 0000063f: POP 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH32 0x496e73756666696369656e742062616c616e6365000000000000000000000000 00000663: PUSH1 0x00 00000665: DUP3 00000666: ADD 00000667: MSTORE 00000668: POP 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH1 0x00 0000066d: PUSH2 0x0677 00000670: PUSH1 0x14 00000672: DUP4 00000673: PUSH2 0x0630 00000676: JUMP 00000677: JUMPDEST 00000678: SWAP2 00000679: POP 0000067a: PUSH2 0x0682 0000067d: DUP3 0000067e: PUSH2 0x0641 00000681: JUMP 00000682: JUMPDEST 00000683: PUSH1 0x20 00000685: DUP3 00000686: ADD 00000687: SWAP1 00000688: POP 00000689: SWAP2 0000068a: SWAP1 0000068b: POP 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x00 00000690: PUSH1 0x20 00000692: DUP3 00000693: ADD 00000694: SWAP1 00000695: POP 00000696: DUP2 00000697: DUP2 00000698: SUB 00000699: PUSH1 0x00 0000069b: DUP4 0000069c: ADD 0000069d: MSTORE 0000069e: PUSH2 0x06a6 000006a1: DUP2 000006a2: PUSH2 0x066a 000006a5: JUMP 000006a6: JUMPDEST 000006a7: SWAP1 000006a8: POP 000006a9: SWAP2 000006aa: SWAP1 000006ab: POP 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH32 0x496e76616c69642070657263656e746167650000000000000000000000000000 000006cf: PUSH1 0x00 000006d1: DUP3 000006d2: ADD 000006d3: MSTORE 000006d4: POP 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH1 0x00 000006d9: PUSH2 0x06e3 000006dc: PUSH1 0x12 000006de: DUP4 000006df: PUSH2 0x0630 000006e2: JUMP 000006e3: JUMPDEST 000006e4: SWAP2 000006e5: POP 000006e6: PUSH2 0x06ee 000006e9: DUP3 000006ea: PUSH2 0x06ad 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x20 000006f1: DUP3 000006f2: ADD 000006f3: SWAP1 000006f4: POP 000006f5: SWAP2 000006f6: SWAP1 000006f7: POP 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x00 000006fc: PUSH1 0x20 000006fe: DUP3 000006ff: ADD 00000700: SWAP1 00000701: POP 00000702: DUP2 00000703: DUP2 00000704: SUB 00000705: PUSH1 0x00 00000707: DUP4 00000708: ADD 00000709: MSTORE 0000070a: PUSH2 0x0712 0000070d: DUP2 0000070e: PUSH2 0x06d6 00000711: JUMP 00000712: JUMPDEST 00000713: SWAP1 00000714: POP 00000715: SWAP2 00000716: SWAP1 00000717: POP 00000718: JUMP 00000719: JUMPDEST 0000071a: PUSH32 0x496e76616c696420746f74616c20616d6f756e74000000000000000000000000 0000073b: PUSH1 0x00 0000073d: DUP3 0000073e: ADD 0000073f: MSTORE 00000740: POP 00000741: JUMP 00000742: JUMPDEST 00000743: PUSH1 0x00 00000745: PUSH2 0x074f 00000748: PUSH1 0x14 0000074a: DUP4 0000074b: PUSH2 0x0630 0000074e: JUMP 0000074f: JUMPDEST 00000750: SWAP2 00000751: POP 00000752: PUSH2 0x075a 00000755: DUP3 00000756: PUSH2 0x0719 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH1 0x20 0000075d: DUP3 0000075e: ADD 0000075f: SWAP1 00000760: POP 00000761: SWAP2 00000762: SWAP1 00000763: POP 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x00 00000768: PUSH1 0x20 0000076a: DUP3 0000076b: ADD 0000076c: SWAP1 0000076d: POP 0000076e: DUP2 0000076f: DUP2 00000770: SUB 00000771: PUSH1 0x00 00000773: DUP4 00000774: ADD 00000775: MSTORE 00000776: PUSH2 0x077e 00000779: DUP2 0000077a: PUSH2 0x0742 0000077d: JUMP 0000077e: JUMPDEST 0000077f: SWAP1 00000780: POP 00000781: SWAP2 00000782: SWAP1 00000783: POP 00000784: JUMP 00000785: JUMPDEST 00000786: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000007a7: PUSH1 0x00 000007a9: MSTORE 000007aa: PUSH1 0x11 000007ac: PUSH1 0x04 000007ae: MSTORE 000007af: PUSH1 0x24 000007b1: PUSH1 0x00 000007b3: REVERT 000007b4: JUMPDEST 000007b5: PUSH1 0x00 000007b7: PUSH2 0x07bf 000007ba: DUP3 000007bb: PUSH2 0x057a 000007be: JUMP 000007bf: JUMPDEST 000007c0: SWAP2 000007c1: POP 000007c2: PUSH2 0x07ca 000007c5: DUP4 000007c6: PUSH2 0x057a 000007c9: JUMP 000007ca: JUMPDEST 000007cb: SWAP3 000007cc: POP 000007cd: DUP3 000007ce: DUP3 000007cf: MUL 000007d0: PUSH2 0x07d8 000007d3: DUP2 000007d4: PUSH2 0x057a 000007d7: JUMP 000007d8: JUMPDEST 000007d9: SWAP2 000007da: POP 000007db: DUP3 000007dc: DUP3 000007dd: DIV 000007de: DUP5 000007df: EQ 000007e0: DUP4 000007e1: ISZERO 000007e2: OR 000007e3: PUSH2 0x07ef 000007e6: JUMPI 000007e7: PUSH2 0x07ee 000007ea: PUSH2 0x0785 000007ed: JUMP 000007ee: JUMPDEST 000007ef: JUMPDEST 000007f0: POP 000007f1: SWAP3 000007f2: SWAP2 000007f3: POP 000007f4: POP 000007f5: JUMP 000007f6: JUMPDEST 000007f7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000818: PUSH1 0x00 0000081a: MSTORE 0000081b: PUSH1 0x12 0000081d: PUSH1 0x04 0000081f: MSTORE 00000820: PUSH1 0x24 00000822: PUSH1 0x00 00000824: REVERT 00000825: JUMPDEST 00000826: PUSH1 0x00 00000828: PUSH2 0x0830 0000082b: DUP3 0000082c: PUSH2 0x057a 0000082f: JUMP 00000830: JUMPDEST 00000831: SWAP2 00000832: POP 00000833: PUSH2 0x083b 00000836: DUP4 00000837: PUSH2 0x057a 0000083a: JUMP 0000083b: JUMPDEST 0000083c: SWAP3 0000083d: POP 0000083e: DUP3 0000083f: PUSH2 0x084b 00000842: JUMPI 00000843: PUSH2 0x084a 00000846: PUSH2 0x07f6 00000849: JUMP 0000084a: JUMPDEST 0000084b: JUMPDEST 0000084c: DUP3 0000084d: DUP3 0000084e: DIV 0000084f: SWAP1 00000850: POP 00000851: SWAP3 00000852: SWAP2 00000853: POP 00000854: POP 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x00 00000859: PUSH2 0x0861 0000085c: DUP3 0000085d: PUSH2 0x057a 00000860: JUMP 00000861: JUMPDEST 00000862: SWAP2 00000863: POP 00000864: PUSH2 0x086c 00000867: DUP4 00000868: PUSH2 0x057a 0000086b: JUMP 0000086c: JUMPDEST 0000086d: SWAP3 0000086e: POP 0000086f: DUP3 00000870: DUP3 00000871: SUB 00000872: SWAP1 00000873: POP 00000874: DUP2 00000875: DUP2 00000876: GT 00000877: ISZERO 00000878: PUSH2 0x0884 0000087b: JUMPI 0000087c: PUSH2 0x0883 0000087f: PUSH2 0x0785 00000882: JUMP 00000883: JUMPDEST 00000884: JUMPDEST 00000885: SWAP3 00000886: SWAP2 00000887: POP 00000888: POP 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH32 0x496e73756666696369656e742062616c616e636520666f72206f776e65720000 000008ac: PUSH1 0x00 000008ae: DUP3 000008af: ADD 000008b0: MSTORE 000008b1: POP 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x00 000008b6: PUSH2 0x08c0 000008b9: PUSH1 0x1e 000008bb: DUP4 000008bc: PUSH2 0x0630 000008bf: JUMP 000008c0: JUMPDEST 000008c1: SWAP2 000008c2: POP 000008c3: PUSH2 0x08cb 000008c6: DUP3 000008c7: PUSH2 0x088a 000008ca: JUMP 000008cb: JUMPDEST 000008cc: PUSH1 0x20 000008ce: DUP3 000008cf: ADD 000008d0: SWAP1 000008d1: POP 000008d2: SWAP2 000008d3: SWAP1 000008d4: POP 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x00 000008d9: PUSH1 0x20 000008db: DUP3 000008dc: ADD 000008dd: SWAP1 000008de: POP 000008df: DUP2 000008e0: DUP2 000008e1: SUB 000008e2: PUSH1 0x00 000008e4: DUP4 000008e5: ADD 000008e6: MSTORE 000008e7: PUSH2 0x08ef 000008ea: DUP2 000008eb: PUSH2 0x08b3 000008ee: JUMP 000008ef: JUMPDEST 000008f0: SWAP1 000008f1: POP 000008f2: SWAP2 000008f3: SWAP1 000008f4: POP 000008f5: JUMP 000008f6: INVALID 000008f7: LOG2 000008f8: PUSH5 0x6970667358 000008fe: UNKNOWN(0x22) 000008ff: SLT 00000900: KECCAK256 00000901: SLOAD 00000902: UNKNOWN(0x0E) 00000903: UNKNOWN(0x2A) 00000904: PUSH11 0x468f783521727326c123a0 00000910: DUP12 00000911: DUP12 00000912: DUP15 00000913: UNKNOWN(0xA6) 00000914: BLOBBASEFEE 00000915: UNKNOWN(0x2A) 00000916: UNKNOWN(0x2E) 00000917: TLOAD 00000918: PUSH0 00000919: CALL 0000091a: OR 0000091b: GASPRICE 0000091c: PUSH10 0xee4ee98564736f6c6343 00000927: STOP 00000928: ADDMOD 00000929: AND 0000092a: STOP 0000092b: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9d16c1e9f0a2aaa099b55f5cea91fe2e642fa79a60879c8b3b2a66486c3de231
call_targets:
0xb3e3a696c859825367e6ec37087258b6b9e6bd1d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9d16c1e9f0a2aaa099b55f5cea91fe2e642fa79a60879c8b3b2a66486c3de231",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb3e3a696c859825367e6ec37087258b6b9e6bd1d"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb5c5f672",
"selector": "0xb5c5f672",
"calldata_variants": [
"0xb5c5f672",
"0xb5c5f6720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 669,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 758,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9d16c1e9f0a2aaa099b55f5cea91fe2e642fa79a60879c8b3b2a66486c3de231
call_targets:
0xb3e3a696c859825367e6ec37087258b6b9e6bd1d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9d16c1e9f0a2aaa099b55f5cea91fe2e642fa79a60879c8b3b2a66486c3de231",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb3e3a696c859825367e6ec37087258b6b9e6bd1d"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb5c5f672",
"selector": "0xb5c5f672",
"calldata_variants": [
"0xb5c5f672",
"0xb5c5f6720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 669,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 758,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|