019b477e-ae37-7131-9fc9-b70c9bc7090d
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 |
|---|---|---|---|---|
| 21555 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21556 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65158 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65159 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65160 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65161 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x008d 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x43d726d6 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0092 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x521eb273 00000046: EQ 00000047: PUSH2 0x00a9 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x8c52dc41 00000051: EQ 00000052: PUSH2 0x00da 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xc19d93fb 0000005c: EQ 0000005d: PUSH2 0x00ef 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xcb13cddb 00000067: EQ 00000068: PUSH2 0x0128 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xf2fde38b 00000072: EQ 00000073: PUSH2 0x015b 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xf340fa01 0000007d: EQ 0000007e: PUSH2 0x0190 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xfa89401a 00000088: EQ 00000089: PUSH2 0x01a4 0000008c: JUMPI 0000008d: JUMPDEST 0000008e: PUSH1 0x00 00000090: DUP1 00000091: REVERT 00000092: JUMPDEST 00000093: CALLVALUE 00000094: DUP1 00000095: ISZERO 00000096: PUSH2 0x009e 00000099: JUMPI 0000009a: PUSH1 0x00 0000009c: DUP1 0000009d: REVERT 0000009e: JUMPDEST 0000009f: POP 000000a0: PUSH2 0x00a7 000000a3: PUSH2 0x01c5 000000a6: JUMP 000000a7: JUMPDEST 000000a8: STOP 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: DUP1 000000ac: ISZERO 000000ad: PUSH2 0x00b5 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH2 0x00be 000000ba: PUSH2 0x02a0 000000bd: JUMP 000000be: JUMPDEST 000000bf: PUSH1 0x40 000000c1: DUP1 000000c2: MLOAD 000000c3: PUSH1 0x01 000000c5: PUSH1 0xa0 000000c7: PUSH1 0x02 000000c9: EXP 000000ca: SUB 000000cb: SWAP1 000000cc: SWAP3 000000cd: AND 000000ce: DUP3 000000cf: MSTORE 000000d0: MLOAD 000000d1: SWAP1 000000d2: DUP2 000000d3: SWAP1 000000d4: SUB 000000d5: PUSH1 0x20 000000d7: ADD 000000d8: SWAP1 000000d9: RETURN 000000da: JUMPDEST 000000db: CALLVALUE 000000dc: DUP1 000000dd: ISZERO 000000de: PUSH2 0x00e6 000000e1: JUMPI 000000e2: PUSH1 0x00 000000e4: DUP1 000000e5: REVERT 000000e6: JUMPDEST 000000e7: POP 000000e8: PUSH2 0x00a7 000000eb: PUSH2 0x02af 000000ee: JUMP 000000ef: JUMPDEST 000000f0: CALLVALUE 000000f1: DUP1 000000f2: ISZERO 000000f3: PUSH2 0x00fb 000000f6: JUMPI 000000f7: PUSH1 0x00 000000f9: DUP1 000000fa: REVERT 000000fb: JUMPDEST 000000fc: POP 000000fd: PUSH2 0x0104 00000100: PUSH2 0x033d 00000103: JUMP 00000104: JUMPDEST 00000105: PUSH1 0x40 00000107: MLOAD 00000108: DUP1 00000109: DUP3 0000010a: PUSH1 0x02 0000010c: DUP2 0000010d: GT 0000010e: ISZERO 0000010f: PUSH2 0x0114 00000112: JUMPI 00000113: INVALID 00000114: JUMPDEST 00000115: PUSH1 0xff 00000117: AND 00000118: DUP2 00000119: MSTORE 0000011a: PUSH1 0x20 0000011c: ADD 0000011d: SWAP2 0000011e: POP 0000011f: POP 00000120: PUSH1 0x40 00000122: MLOAD 00000123: DUP1 00000124: SWAP2 00000125: SUB 00000126: SWAP1 00000127: RETURN 00000128: JUMPDEST 00000129: CALLVALUE 0000012a: DUP1 0000012b: ISZERO 0000012c: PUSH2 0x0134 0000012f: JUMPI 00000130: PUSH1 0x00 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: POP 00000136: PUSH2 0x0149 00000139: PUSH1 0x01 0000013b: PUSH1 0xa0 0000013d: PUSH1 0x02 0000013f: EXP 00000140: SUB 00000141: PUSH1 0x04 00000143: CALLDATALOAD 00000144: AND 00000145: PUSH2 0x034d 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x40 0000014c: DUP1 0000014d: MLOAD 0000014e: SWAP2 0000014f: DUP3 00000150: MSTORE 00000151: MLOAD 00000152: SWAP1 00000153: DUP2 00000154: SWAP1 00000155: SUB 00000156: PUSH1 0x20 00000158: ADD 00000159: SWAP1 0000015a: RETURN 0000015b: JUMPDEST 0000015c: CALLVALUE 0000015d: DUP1 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: POP 00000169: PUSH2 0x017c 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: PUSH1 0x02 00000172: EXP 00000173: SUB 00000174: PUSH1 0x04 00000176: CALLDATALOAD 00000177: AND 00000178: PUSH2 0x035f 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: DUP1 00000180: MLOAD 00000181: SWAP2 00000182: ISZERO 00000183: ISZERO 00000184: DUP3 00000185: MSTORE 00000186: MLOAD 00000187: SWAP1 00000188: DUP2 00000189: SWAP1 0000018a: SUB 0000018b: PUSH1 0x20 0000018d: ADD 0000018e: SWAP1 0000018f: RETURN 00000190: JUMPDEST 00000191: PUSH2 0x00a7 00000194: PUSH1 0x01 00000196: PUSH1 0xa0 00000198: PUSH1 0x02 0000019a: EXP 0000019b: SUB 0000019c: PUSH1 0x04 0000019e: CALLDATALOAD 0000019f: AND 000001a0: PUSH2 0x03fb 000001a3: JUMP 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x00a7 000001b5: PUSH1 0x01 000001b7: PUSH1 0xa0 000001b9: PUSH1 0x02 000001bb: EXP 000001bc: SUB 000001bd: PUSH1 0x04 000001bf: CALLDATALOAD 000001c0: AND 000001c1: PUSH2 0x047f 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH1 0x00 000001c8: SLOAD 000001c9: CALLER 000001ca: PUSH1 0x01 000001cc: PUSH1 0xa0 000001ce: PUSH1 0x02 000001d0: EXP 000001d1: SUB 000001d2: SWAP1 000001d3: DUP2 000001d4: AND 000001d5: SWAP2 000001d6: AND 000001d7: EQ 000001d8: PUSH2 0x01e0 000001db: JUMPI 000001dc: PUSH1 0x00 000001de: DUP1 000001df: REVERT 000001e0: JUMPDEST 000001e1: PUSH1 0x00 000001e3: PUSH1 0x02 000001e5: DUP1 000001e6: SLOAD 000001e7: PUSH1 0xa0 000001e9: PUSH1 0x02 000001eb: EXP 000001ec: SWAP1 000001ed: DIV 000001ee: PUSH1 0xff 000001f0: AND 000001f1: SWAP1 000001f2: DUP2 000001f3: GT 000001f4: ISZERO 000001f5: PUSH2 0x01fa 000001f8: JUMPI 000001f9: INVALID 000001fa: JUMPDEST 000001fb: EQ 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: PUSH1 0x02 00000207: DUP1 00000208: SLOAD 00000209: PUSH21 0xff0000000000000000000000000000000000000000 0000021f: NOT 00000220: AND 00000221: PUSH21 0x020000000000000000000000000000000000000000 00000237: OR 00000238: SWAP1 00000239: SSTORE 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a 0000025e: SWAP1 0000025f: PUSH1 0x00 00000261: SWAP1 00000262: LOG1 00000263: PUSH1 0x02 00000265: SLOAD 00000266: PUSH1 0x40 00000268: MLOAD 00000269: PUSH1 0x01 0000026b: PUSH1 0xa0 0000026d: PUSH1 0x02 0000026f: EXP 00000270: SUB 00000271: SWAP2 00000272: DUP3 00000273: AND 00000274: SWAP2 00000275: ADDRESS 00000276: AND 00000277: BALANCE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x08fc 0000027d: MUL 0000027e: SWAP2 0000027f: PUSH1 0x00 00000281: DUP2 00000282: DUP2 00000283: DUP2 00000284: DUP6 00000285: DUP9 00000286: DUP9 00000287: CALL 00000288: SWAP4 00000289: POP 0000028a: POP 0000028b: POP 0000028c: POP 0000028d: ISZERO 0000028e: DUP1 0000028f: ISZERO 00000290: PUSH2 0x029d 00000293: JUMPI 00000294: RETURNDATASIZE 00000295: PUSH1 0x00 00000297: DUP1 00000298: RETURNDATACOPY 00000299: RETURNDATASIZE 0000029a: PUSH1 0x00 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH1 0x02 000002a3: SLOAD 000002a4: PUSH1 0x01 000002a6: PUSH1 0xa0 000002a8: PUSH1 0x02 000002aa: EXP 000002ab: SUB 000002ac: AND 000002ad: DUP2 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH1 0x00 000002b2: SLOAD 000002b3: CALLER 000002b4: PUSH1 0x01 000002b6: PUSH1 0xa0 000002b8: PUSH1 0x02 000002ba: EXP 000002bb: SUB 000002bc: SWAP1 000002bd: DUP2 000002be: AND 000002bf: SWAP2 000002c0: AND 000002c1: EQ 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: PUSH1 0x00 000002cd: PUSH1 0x02 000002cf: DUP1 000002d0: SLOAD 000002d1: PUSH1 0xa0 000002d3: PUSH1 0x02 000002d5: EXP 000002d6: SWAP1 000002d7: DIV 000002d8: PUSH1 0xff 000002da: AND 000002db: SWAP1 000002dc: DUP2 000002dd: GT 000002de: ISZERO 000002df: PUSH2 0x02e4 000002e2: JUMPI 000002e3: INVALID 000002e4: JUMPDEST 000002e5: EQ 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: PUSH1 0x02 000002f1: DUP1 000002f2: SLOAD 000002f3: PUSH21 0xff0000000000000000000000000000000000000000 00000309: NOT 0000030a: AND 0000030b: PUSH1 0xa0 0000030d: PUSH1 0x02 0000030f: EXP 00000310: OR 00000311: SWAP1 00000312: SSTORE 00000313: PUSH1 0x40 00000315: MLOAD 00000316: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 00000337: SWAP1 00000338: PUSH1 0x00 0000033a: SWAP1 0000033b: LOG1 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x02 00000340: SLOAD 00000341: PUSH1 0xa0 00000343: PUSH1 0x02 00000345: EXP 00000346: SWAP1 00000347: DIV 00000348: PUSH1 0xff 0000034a: AND 0000034b: DUP2 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH1 0x01 00000350: PUSH1 0x20 00000352: MSTORE 00000353: PUSH1 0x00 00000355: SWAP1 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x40 0000035a: SWAP1 0000035b: KECCAK256 0000035c: SLOAD 0000035d: DUP2 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH1 0x00 00000362: DUP1 00000363: SLOAD 00000364: CALLER 00000365: PUSH1 0x01 00000367: PUSH1 0xa0 00000369: PUSH1 0x02 0000036b: EXP 0000036c: SUB 0000036d: SWAP1 0000036e: DUP2 0000036f: AND 00000370: SWAP2 00000371: AND 00000372: EQ 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: PUSH1 0x02 00000382: EXP 00000383: SUB 00000384: DUP3 00000385: AND 00000386: ISZERO 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: PUSH1 0x00 00000393: DUP1 00000394: SLOAD 00000395: PUSH1 0x40 00000397: MLOAD 00000398: PUSH1 0x01 0000039a: PUSH1 0xa0 0000039c: PUSH1 0x02 0000039e: EXP 0000039f: SUB 000003a0: DUP1 000003a1: DUP7 000003a2: AND 000003a3: SWAP4 000003a4: SWAP3 000003a5: AND 000003a6: SWAP2 000003a7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000003c8: SWAP2 000003c9: LOG3 000003ca: POP 000003cb: PUSH1 0x00 000003cd: DUP1 000003ce: SLOAD 000003cf: PUSH1 0x01 000003d1: PUSH1 0xa0 000003d3: PUSH1 0x02 000003d5: EXP 000003d6: SUB 000003d7: DUP4 000003d8: AND 000003d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ee: NOT 000003ef: SWAP1 000003f0: SWAP2 000003f1: AND 000003f2: OR 000003f3: SWAP1 000003f4: SSTORE 000003f5: PUSH1 0x01 000003f7: SWAP2 000003f8: SWAP1 000003f9: POP 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH1 0x00 000003fe: SLOAD 000003ff: CALLER 00000400: PUSH1 0x01 00000402: PUSH1 0xa0 00000404: PUSH1 0x02 00000406: EXP 00000407: SUB 00000408: SWAP1 00000409: DUP2 0000040a: AND 0000040b: SWAP2 0000040c: AND 0000040d: EQ 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: PUSH1 0x00 00000419: PUSH1 0x02 0000041b: DUP1 0000041c: SLOAD 0000041d: PUSH1 0xa0 0000041f: PUSH1 0x02 00000421: EXP 00000422: SWAP1 00000423: DIV 00000424: PUSH1 0xff 00000426: AND 00000427: SWAP1 00000428: DUP2 00000429: GT 0000042a: ISZERO 0000042b: PUSH2 0x0430 0000042e: JUMPI 0000042f: INVALID 00000430: JUMPDEST 00000431: EQ 00000432: PUSH2 0x043a 00000435: JUMPI 00000436: PUSH1 0x00 00000438: DUP1 00000439: REVERT 0000043a: JUMPDEST 0000043b: PUSH1 0x01 0000043d: PUSH1 0xa0 0000043f: PUSH1 0x02 00000441: EXP 00000442: SUB 00000443: DUP2 00000444: AND 00000445: PUSH1 0x00 00000447: SWAP1 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x01 0000044c: PUSH1 0x20 0000044e: MSTORE 0000044f: PUSH1 0x40 00000451: SWAP1 00000452: KECCAK256 00000453: SLOAD 00000454: PUSH2 0x0463 00000457: SWAP1 00000458: CALLVALUE 00000459: PUSH4 0xffffffff 0000045e: PUSH2 0x0534 00000461: AND 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: PUSH1 0x02 0000046a: EXP 0000046b: SUB 0000046c: SWAP1 0000046d: SWAP2 0000046e: AND 0000046f: PUSH1 0x00 00000471: SWAP1 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x01 00000476: PUSH1 0x20 00000478: MSTORE 00000479: PUSH1 0x40 0000047b: SWAP1 0000047c: KECCAK256 0000047d: SSTORE 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x00 00000482: PUSH1 0x01 00000484: PUSH1 0x02 00000486: DUP1 00000487: SLOAD 00000488: PUSH1 0xa0 0000048a: PUSH1 0x02 0000048c: EXP 0000048d: SWAP1 0000048e: DIV 0000048f: PUSH1 0xff 00000491: AND 00000492: SWAP1 00000493: DUP2 00000494: GT 00000495: ISZERO 00000496: PUSH2 0x049b 00000499: JUMPI 0000049a: INVALID 0000049b: JUMPDEST 0000049c: EQ 0000049d: PUSH2 0x04a5 000004a0: JUMPI 000004a1: PUSH1 0x00 000004a3: DUP1 000004a4: REVERT 000004a5: JUMPDEST 000004a6: POP 000004a7: PUSH1 0x01 000004a9: PUSH1 0xa0 000004ab: PUSH1 0x02 000004ad: EXP 000004ae: SUB 000004af: DUP2 000004b0: AND 000004b1: PUSH1 0x00 000004b3: DUP2 000004b4: DUP2 000004b5: MSTORE 000004b6: PUSH1 0x01 000004b8: PUSH1 0x20 000004ba: MSTORE 000004bb: PUSH1 0x40 000004bd: DUP1 000004be: DUP3 000004bf: KECCAK256 000004c0: DUP1 000004c1: SLOAD 000004c2: SWAP1 000004c3: DUP4 000004c4: SWAP1 000004c5: SSTORE 000004c6: SWAP1 000004c7: MLOAD 000004c8: SWAP1 000004c9: SWAP3 000004ca: SWAP2 000004cb: DUP4 000004cc: ISZERO 000004cd: PUSH2 0x08fc 000004d0: MUL 000004d1: SWAP2 000004d2: DUP5 000004d3: SWAP2 000004d4: DUP2 000004d5: DUP2 000004d6: DUP2 000004d7: DUP6 000004d8: DUP9 000004d9: DUP9 000004da: CALL 000004db: SWAP4 000004dc: POP 000004dd: POP 000004de: POP 000004df: POP 000004e0: ISZERO 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x04f0 000004e6: JUMPI 000004e7: RETURNDATASIZE 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: RETURNDATACOPY 000004ec: RETURNDATASIZE 000004ed: PUSH1 0x00 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH1 0x40 000004f4: DUP1 000004f5: MLOAD 000004f6: DUP3 000004f7: DUP2 000004f8: MSTORE 000004f9: SWAP1 000004fa: MLOAD 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: PUSH1 0x02 00000501: EXP 00000502: SUB 00000503: DUP5 00000504: AND 00000505: SWAP2 00000506: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 00000527: SWAP2 00000528: SWAP1 00000529: DUP2 0000052a: SWAP1 0000052b: SUB 0000052c: PUSH1 0x20 0000052e: ADD 0000052f: SWAP1 00000530: LOG2 00000531: POP 00000532: POP 00000533: JUMP 00000534: JUMPDEST 00000535: DUP2 00000536: DUP2 00000537: ADD 00000538: DUP3 00000539: DUP2 0000053a: LT 0000053b: ISZERO 0000053c: PUSH2 0x0541 0000053f: JUMPI 00000540: INVALID 00000541: JUMPDEST 00000542: SWAP3 00000543: SWAP2 00000544: POP 00000545: POP 00000546: JUMP 00000547: STOP 00000548: LOG1 00000549: PUSH6 0x627a7a723058 00000550: KECCAK256 00000551: TIMESTAMP 00000552: UNKNOWN(0xD2) 00000553: SWAP11 00000554: CREATE2 00000555: UNKNOWN(0xCB) 00000556: PUSH10 0x698d26d32cd58d207238 00000561: SMOD 00000562: BLOBBASEFEE 00000563: UNKNOWN(0xAB) 00000564: DUP8 00000565: CALLDATACOPY 00000566: RETURNDATASIZE 00000567: DUP16 00000568: DUP13 00000569: LOG0 0000056a: UNKNOWN(0xFC) 0000056b: UNKNOWN(0x4B) 0000056c: UNKNOWN(0x2A) 0000056d: BALANCE 0000056e: UNKNOWN(0xBC) 0000056f: SWAP12 00000570: EXP 00000571: STOP 00000572: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7a9ebecbcb2f3dc45ea92e76626da36ec504db9b5939ca8a361474d565192a2f
call_targets:
0x5eb8227c1f9a3959e909642ddda4395ff463c3c7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a9ebecbcb2f3dc45ea92e76626da36ec504db9b5939ca8a361474d565192a2f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5eb8227c1f9a3959e909642ddda4395ff463c3c7"
],
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 647,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 1242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7a9ebecbcb2f3dc45ea92e76626da36ec504db9b5939ca8a361474d565192a2f
call_targets:
0x5eb8227c1f9a3959e909642ddda4395ff463c3c7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7a9ebecbcb2f3dc45ea92e76626da36ec504db9b5939ca8a361474d565192a2f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5eb8227c1f9a3959e909642ddda4395ff463c3c7"
],
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 647,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 1242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x288e1acea85e92a8a9897d13733f1da9ef146f3903c56495e15b334d794f68fe
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 16,
"trace_id": "0x288e1acea85e92a8a9897d13733f1da9ef146f3903c56495e15b334d794f68fe",
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|