019b3836-28ee-7134-b472-aa9309b4883b
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 |
|---|---|---|---|---|
| 1337 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 1338 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44936 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 44937 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 44938 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 44939 | 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 0x0098 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x0bbcc2d4 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0130 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x13af4035 00000025: EQ 00000026: PUSH2 0x01d6 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x26043942 00000030: EQ 00000031: PUSH2 0x020c 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3bbed4a0 0000003b: EQ 0000003c: PUSH2 0x0267 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3ed48679 00000046: EQ 00000047: PUSH2 0x02a0 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x43b7db2b 00000051: EQ 00000052: PUSH2 0x03fe 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x5cf0f357 0000005c: EQ 0000005d: PUSH2 0x044b 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x651e723c 00000067: EQ 00000068: PUSH2 0x047f 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x66d003ac 00000072: EQ 00000073: PUSH2 0x054a 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8a9564c2 0000007d: EQ 0000007e: PUSH2 0x055c 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8da5cb5b 00000088: EQ 00000089: PUSH2 0x0574 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x93423e9c 00000093: EQ 00000094: PUSH2 0x0586 00000097: JUMPI 00000098: JUMPDEST 00000099: PUSH2 0x0609 0000009c: PUSH1 0x00 0000009e: PUSH1 0x01 000000a0: JUMPDEST 000000a1: PUSH1 0x02 000000a3: SLOAD 000000a4: DUP2 000000a5: LT 000000a6: ISZERO 000000a7: PUSH2 0x061b 000000aa: JUMPI 000000ab: ORIGIN 000000ac: PUSH1 0x01 000000ae: PUSH1 0xa0 000000b0: PUSH1 0x02 000000b2: EXP 000000b3: SUB 000000b4: AND 000000b5: PUSH1 0x02 000000b7: PUSH1 0x00 000000b9: POP 000000ba: DUP3 000000bb: DUP2 000000bc: SLOAD 000000bd: DUP2 000000be: LT 000000bf: ISZERO 000000c0: PUSH2 0x0002 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: SWAP2 000000c7: SWAP1 000000c8: SWAP2 000000c9: MSTORE 000000ca: PUSH1 0x00 000000cc: DUP1 000000cd: MLOAD 000000ce: PUSH1 0x20 000000d0: PUSH2 0x0898 000000d3: DUP4 000000d4: CODECOPY 000000d5: DUP2 000000d6: MLOAD 000000d7: SWAP2 000000d8: MSTORE 000000d9: ADD 000000da: SLOAD 000000db: PUSH1 0x01 000000dd: PUSH1 0xa0 000000df: PUSH1 0x02 000000e1: EXP 000000e2: SUB 000000e3: AND 000000e4: EQ 000000e5: ISZERO 000000e6: PUSH2 0x0620 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: CALLDATASIZE 000000ed: GT 000000ee: ISZERO 000000ef: PUSH2 0x0628 000000f2: JUMPI 000000f3: PUSH1 0x03 000000f5: SLOAD 000000f6: PUSH1 0x40 000000f8: MLOAD 000000f9: PUSH1 0x01 000000fb: PUSH1 0xa0 000000fd: PUSH1 0x02 000000ff: EXP 00000100: SUB 00000101: SWAP2 00000102: SWAP1 00000103: SWAP2 00000104: AND 00000105: SWAP1 00000106: PUSH1 0x00 00000108: SWAP1 00000109: CALLDATASIZE 0000010a: SWAP1 0000010b: DUP1 0000010c: DUP4 0000010d: DUP4 0000010e: DUP1 0000010f: DUP3 00000110: DUP5 00000111: CALLDATACOPY 00000112: POP 00000113: POP 00000114: POP 00000115: SWAP1 00000116: DUP2 00000117: ADD 00000118: SWAP2 00000119: SWAP1 0000011a: DUP1 0000011b: DUP4 0000011c: SUB 0000011d: DUP2 0000011e: DUP4 0000011f: DUP7 00000120: PUSH2 0x61da 00000123: GAS 00000124: SUB 00000125: CALL 00000126: SWAP2 00000127: POP 00000128: POP 00000129: SWAP2 0000012a: POP 0000012b: POP 0000012c: PUSH2 0x061d 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH2 0x0609 00000134: PUSH1 0x24 00000136: PUSH1 0x04 00000138: DUP1 00000139: CALLDATALOAD 0000013a: SWAP2 0000013b: DUP3 0000013c: ADD 0000013d: SWAP2 0000013e: ADD 0000013f: CALLDATALOAD 00000140: PUSH1 0x00 00000142: DUP1 00000143: SLOAD 00000144: PUSH1 0x01 00000146: PUSH1 0xa0 00000148: PUSH1 0x02 0000014a: EXP 0000014b: SUB 0000014c: SWAP1 0000014d: DUP2 0000014e: AND 0000014f: CALLER 00000150: SWAP1 00000151: SWAP2 00000152: AND 00000153: EQ 00000154: ISZERO 00000155: PUSH2 0x0666 00000158: JUMPI 00000159: PUSH2 0x0663 0000015c: DUP4 0000015d: DUP4 0000015e: DUP1 0000015f: DUP1 00000160: PUSH1 0x20 00000162: MUL 00000163: PUSH1 0x20 00000165: ADD 00000166: PUSH1 0x40 00000168: MLOAD 00000169: SWAP1 0000016a: DUP2 0000016b: ADD 0000016c: PUSH1 0x40 0000016e: MSTORE 0000016f: DUP1 00000170: SWAP4 00000171: SWAP3 00000172: SWAP2 00000173: SWAP1 00000174: DUP2 00000175: DUP2 00000176: MSTORE 00000177: PUSH1 0x20 00000179: ADD 0000017a: DUP4 0000017b: DUP4 0000017c: PUSH1 0x20 0000017e: MUL 0000017f: DUP1 00000180: DUP3 00000181: DUP5 00000182: CALLDATACOPY 00000183: POP 00000184: POP 00000185: POP 00000186: POP 00000187: POP 00000188: POP 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: DUP1 0000018d: JUMPDEST 0000018e: DUP4 0000018f: MLOAD 00000190: DUP3 00000191: LT 00000192: ISZERO 00000193: PUSH2 0x064f 00000196: JUMPI 00000197: PUSH1 0x00 00000199: PUSH1 0x01 0000019b: PUSH1 0x00 0000019d: POP 0000019e: PUSH1 0x00 000001a0: DUP7 000001a1: DUP6 000001a2: DUP2 000001a3: MLOAD 000001a4: DUP2 000001a5: LT 000001a6: ISZERO 000001a7: PUSH2 0x0002 000001aa: JUMPI 000001ab: PUSH1 0x20 000001ad: SWAP1 000001ae: DUP2 000001af: MUL 000001b0: SWAP1 000001b1: SWAP2 000001b2: ADD 000001b3: DUP2 000001b4: ADD 000001b5: MLOAD 000001b6: PUSH1 0x01 000001b8: PUSH1 0xa0 000001ba: PUSH1 0x02 000001bc: EXP 000001bd: SUB 000001be: AND 000001bf: SWAP1 000001c0: SWAP2 000001c1: MSTORE 000001c2: MSTORE 000001c3: PUSH1 0x40 000001c5: DUP2 000001c6: KECCAK256 000001c7: SLOAD 000001c8: GT 000001c9: ISZERO 000001ca: PUSH2 0x0689 000001cd: JUMPI 000001ce: PUSH1 0x00 000001d0: SWAP3 000001d1: POP 000001d2: PUSH2 0x0654 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH2 0x0609 000001da: PUSH1 0x04 000001dc: CALLDATALOAD 000001dd: PUSH1 0x00 000001df: DUP1 000001e0: SLOAD 000001e1: PUSH1 0x01 000001e3: PUSH1 0xa0 000001e5: PUSH1 0x02 000001e7: EXP 000001e8: SUB 000001e9: SWAP1 000001ea: DUP2 000001eb: AND 000001ec: CALLER 000001ed: SWAP1 000001ee: SWAP2 000001ef: AND 000001f0: EQ 000001f1: ISZERO 000001f2: PUSH2 0x065e 000001f5: JUMPI 000001f6: DUP1 000001f7: SLOAD 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: PUSH1 0x02 000001fe: EXP 000001ff: SUB 00000200: NOT 00000201: AND 00000202: DUP3 00000203: OR 00000204: SWAP1 00000205: SSTORE 00000206: PUSH1 0x01 00000208: PUSH2 0x065e 0000020b: JUMP 0000020c: JUMPDEST 0000020d: PUSH2 0x0609 00000210: PUSH1 0x00 00000212: PUSH1 0x01 00000214: JUMPDEST 00000215: PUSH1 0x02 00000217: SLOAD 00000218: DUP2 00000219: LT 0000021a: ISZERO 0000021b: PUSH2 0x061b 0000021e: JUMPI 0000021f: ORIGIN 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: PUSH1 0x02 00000226: EXP 00000227: SUB 00000228: AND 00000229: PUSH1 0x02 0000022b: PUSH1 0x00 0000022d: POP 0000022e: DUP3 0000022f: DUP2 00000230: SLOAD 00000231: DUP2 00000232: LT 00000233: ISZERO 00000234: PUSH2 0x0002 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: SWAP2 0000023b: SWAP1 0000023c: SWAP2 0000023d: MSTORE 0000023e: PUSH1 0x00 00000240: DUP1 00000241: MLOAD 00000242: PUSH1 0x20 00000244: PUSH2 0x0898 00000247: DUP4 00000248: CODECOPY 00000249: DUP2 0000024a: MLOAD 0000024b: SWAP2 0000024c: MSTORE 0000024d: ADD 0000024e: SLOAD 0000024f: PUSH1 0x01 00000251: PUSH1 0xa0 00000253: PUSH1 0x02 00000255: EXP 00000256: SUB 00000257: AND 00000258: EQ 00000259: ISZERO 0000025a: PUSH2 0x066c 0000025d: JUMPI 0000025e: PUSH1 0x01 00000260: SWAP2 00000261: POP 00000262: POP 00000263: PUSH2 0x061d 00000266: JUMP 00000267: JUMPDEST 00000268: PUSH2 0x0609 0000026b: PUSH1 0x04 0000026d: CALLDATALOAD 0000026e: PUSH1 0x00 00000270: DUP1 00000271: SLOAD 00000272: PUSH1 0x01 00000274: PUSH1 0xa0 00000276: PUSH1 0x02 00000278: EXP 00000279: SUB 0000027a: SWAP1 0000027b: DUP2 0000027c: AND 0000027d: CALLER 0000027e: SWAP1 0000027f: SWAP2 00000280: AND 00000281: EQ 00000282: ISZERO 00000283: PUSH2 0x065e 00000286: JUMPI 00000287: POP 00000288: PUSH1 0x03 0000028a: DUP1 0000028b: SLOAD 0000028c: PUSH1 0x01 0000028e: PUSH1 0xa0 00000290: PUSH1 0x02 00000292: EXP 00000293: SUB 00000294: NOT 00000295: AND 00000296: DUP3 00000297: OR 00000298: SWAP1 00000299: SSTORE 0000029a: PUSH1 0x01 0000029c: PUSH2 0x065e 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH1 0x40 000002a3: DUP1 000002a4: MLOAD 000002a5: PUSH1 0x44 000002a7: CALLDATALOAD 000002a8: PUSH1 0x04 000002aa: DUP2 000002ab: DUP2 000002ac: ADD 000002ad: CALLDATALOAD 000002ae: PUSH1 0x20 000002b0: DUP2 000002b1: DUP2 000002b2: MUL 000002b3: DUP6 000002b4: DUP2 000002b5: ADD 000002b6: DUP3 000002b7: ADD 000002b8: SWAP1 000002b9: SWAP7 000002ba: MSTORE 000002bb: DUP2 000002bc: DUP6 000002bd: MSTORE 000002be: PUSH2 0x0609 000002c1: SWAP6 000002c2: DUP4 000002c3: CALLDATALOAD 000002c4: SWAP6 000002c5: PUSH1 0x24 000002c7: DUP1 000002c8: CALLDATALOAD 000002c9: SWAP7 000002ca: PUSH1 0x64 000002cc: SWAP6 000002cd: SWAP3 000002ce: SWAP5 000002cf: SWAP2 000002d0: ADD 000002d1: SWAP3 000002d2: DUP3 000002d3: SWAP2 000002d4: DUP6 000002d5: ADD 000002d6: SWAP1 000002d7: DUP5 000002d8: SWAP1 000002d9: DUP1 000002da: DUP3 000002db: DUP5 000002dc: CALLDATACOPY 000002dd: POP 000002de: POP 000002df: PUSH1 0x40 000002e1: DUP1 000002e2: MLOAD 000002e3: SWAP7 000002e4: CALLDATALOAD 000002e5: DUP1 000002e6: DUP10 000002e7: ADD 000002e8: CALLDATALOAD 000002e9: PUSH1 0x20 000002eb: DUP2 000002ec: DUP2 000002ed: MUL 000002ee: DUP1 000002ef: DUP12 000002f0: ADD 000002f1: DUP3 000002f2: ADD 000002f3: SWAP1 000002f4: SWAP5 000002f5: MSTORE 000002f6: DUP2 000002f7: DUP11 000002f8: MSTORE 000002f9: SWAP8 000002fa: SWAP10 000002fb: SWAP9 000002fc: PUSH1 0x84 000002fe: SWAP9 000002ff: SWAP1 00000300: SWAP8 00000301: POP 00000302: PUSH1 0x24 00000304: SWAP3 00000305: SWAP1 00000306: SWAP3 00000307: ADD 00000308: SWAP6 00000309: POP 0000030a: SWAP4 0000030b: POP 0000030c: DUP4 0000030d: SWAP3 0000030e: POP 0000030f: DUP6 00000310: ADD 00000311: SWAP1 00000312: DUP5 00000313: SWAP1 00000314: DUP1 00000315: DUP3 00000316: DUP5 00000317: CALLDATACOPY 00000318: POP 00000319: SWAP5 0000031a: SWAP7 0000031b: POP 0000031c: POP 0000031d: SWAP4 0000031e: CALLDATALOAD 0000031f: SWAP4 00000320: POP 00000321: POP 00000322: PUSH1 0xa4 00000324: CALLDATALOAD 00000325: SWAP2 00000326: POP 00000327: POP 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: PUSH1 0x01 0000032d: JUMPDEST 0000032e: PUSH1 0x02 00000330: SLOAD 00000331: DUP2 00000332: LT 00000333: ISZERO 00000334: PUSH2 0x0674 00000337: JUMPI 00000338: ORIGIN 00000339: PUSH1 0x01 0000033b: PUSH1 0xa0 0000033d: PUSH1 0x02 0000033f: EXP 00000340: SUB 00000341: AND 00000342: PUSH1 0x02 00000344: PUSH1 0x00 00000346: POP 00000347: DUP3 00000348: DUP2 00000349: SLOAD 0000034a: DUP2 0000034b: LT 0000034c: ISZERO 0000034d: PUSH2 0x0002 00000350: JUMPI 00000351: PUSH1 0x00 00000353: SWAP2 00000354: SWAP1 00000355: SWAP2 00000356: MSTORE 00000357: PUSH1 0x00 00000359: DUP1 0000035a: MLOAD 0000035b: PUSH1 0x20 0000035d: PUSH2 0x0898 00000360: DUP4 00000361: CODECOPY 00000362: DUP2 00000363: MLOAD 00000364: SWAP2 00000365: MSTORE 00000366: ADD 00000367: SLOAD 00000368: PUSH1 0x01 0000036a: PUSH1 0xa0 0000036c: PUSH1 0x02 0000036e: EXP 0000036f: SUB 00000370: AND 00000371: EQ 00000372: ISZERO 00000373: PUSH2 0x0681 00000376: JUMPI 00000377: PUSH1 0x03 00000379: SLOAD 0000037a: PUSH1 0x40 0000037c: DUP1 0000037d: MLOAD 0000037e: PUSH32 0xbeabacc800000000000000000000000000000000000000000000000000000000 0000039f: DUP2 000003a0: MSTORE 000003a1: PUSH1 0x01 000003a3: PUSH1 0xa0 000003a5: PUSH1 0x02 000003a7: EXP 000003a8: SUB 000003a9: DUP13 000003aa: DUP2 000003ab: AND 000003ac: PUSH1 0x04 000003ae: DUP4 000003af: ADD 000003b0: MSTORE 000003b1: DUP9 000003b2: DUP2 000003b3: AND 000003b4: PUSH1 0x24 000003b6: DUP4 000003b7: ADD 000003b8: MSTORE 000003b9: PUSH1 0x44 000003bb: DUP3 000003bc: ADD 000003bd: DUP9 000003be: SWAP1 000003bf: MSTORE 000003c0: SWAP2 000003c1: MLOAD 000003c2: SWAP3 000003c3: SWAP1 000003c4: SWAP2 000003c5: AND 000003c6: SWAP4 000003c7: POP 000003c8: DUP4 000003c9: SWAP2 000003ca: PUSH4 0xbeabacc8 000003cf: SWAP2 000003d0: PUSH1 0x64 000003d2: DUP2 000003d3: DUP2 000003d4: ADD 000003d5: SWAP3 000003d6: PUSH1 0x20 000003d8: SWAP3 000003d9: SWAP1 000003da: SWAP2 000003db: SWAP1 000003dc: DUP3 000003dd: SWAP1 000003de: SUB 000003df: ADD 000003e0: DUP2 000003e1: PUSH1 0x00 000003e3: DUP8 000003e4: PUSH2 0x61da 000003e7: GAS 000003e8: SUB 000003e9: CALL 000003ea: ISZERO 000003eb: PUSH2 0x0002 000003ee: JUMPI 000003ef: POP 000003f0: POP 000003f1: PUSH1 0x40 000003f3: MLOAD 000003f4: MLOAD 000003f5: SWAP4 000003f6: POP 000003f7: PUSH2 0x0676 000003fa: SWAP2 000003fb: POP 000003fc: POP 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH2 0x0609 00000402: PUSH1 0x04 00000404: CALLDATALOAD 00000405: PUSH1 0x00 00000407: DUP1 00000408: SLOAD 00000409: PUSH1 0x01 0000040b: PUSH1 0xa0 0000040d: PUSH1 0x02 0000040f: EXP 00000410: SUB 00000411: SWAP1 00000412: DUP2 00000413: AND 00000414: CALLER 00000415: SWAP1 00000416: SWAP2 00000417: AND 00000418: EQ 00000419: ISZERO 0000041a: PUSH2 0x065e 0000041d: JUMPI 0000041e: PUSH2 0x065b 00000421: DUP3 00000422: PUSH1 0x01 00000424: PUSH1 0xa0 00000426: PUSH1 0x02 00000428: EXP 00000429: SUB 0000042a: DUP2 0000042b: AND 0000042c: PUSH1 0x00 0000042e: SWAP1 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x01 00000433: PUSH1 0x20 00000435: DUP2 00000436: SWAP1 00000437: MSTORE 00000438: PUSH1 0x40 0000043a: DUP3 0000043b: KECCAK256 0000043c: SLOAD 0000043d: SWAP1 0000043e: DUP3 0000043f: SWAP1 00000440: DUP3 00000441: LT 00000442: ISZERO 00000443: PUSH2 0x0764 00000446: JUMPI 00000447: PUSH2 0x0654 0000044a: JUMP 0000044b: JUMPDEST 0000044c: PUSH2 0x0632 0000044f: PUSH1 0x04 00000451: CALLDATALOAD 00000452: PUSH1 0x02 00000454: DUP1 00000455: SLOAD 00000456: DUP3 00000457: SWAP1 00000458: DUP2 00000459: LT 0000045a: ISZERO 0000045b: PUSH2 0x0002 0000045e: JUMPI 0000045f: POP 00000460: PUSH1 0x00 00000462: MSTORE 00000463: PUSH1 0x00 00000465: DUP1 00000466: MLOAD 00000467: PUSH1 0x20 00000469: PUSH2 0x0898 0000046c: DUP4 0000046d: CODECOPY 0000046e: DUP2 0000046f: MLOAD 00000470: SWAP2 00000471: MSTORE 00000472: ADD 00000473: SLOAD 00000474: PUSH1 0x01 00000476: PUSH1 0xa0 00000478: PUSH1 0x02 0000047a: EXP 0000047b: SUB 0000047c: AND 0000047d: DUP2 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x40 00000482: DUP1 00000483: MLOAD 00000484: PUSH1 0x44 00000486: CALLDATALOAD 00000487: PUSH1 0x04 00000489: DUP2 0000048a: DUP2 0000048b: ADD 0000048c: CALLDATALOAD 0000048d: PUSH1 0x20 0000048f: DUP2 00000490: DUP2 00000491: MUL 00000492: DUP6 00000493: DUP2 00000494: ADD 00000495: DUP3 00000496: ADD 00000497: SWAP1 00000498: SWAP7 00000499: MSTORE 0000049a: DUP2 0000049b: DUP6 0000049c: MSTORE 0000049d: PUSH2 0x0609 000004a0: SWAP6 000004a1: DUP4 000004a2: CALLDATALOAD 000004a3: SWAP6 000004a4: PUSH1 0x24 000004a6: DUP1 000004a7: CALLDATALOAD 000004a8: SWAP7 000004a9: PUSH1 0x64 000004ab: SWAP6 000004ac: SWAP3 000004ad: SWAP5 000004ae: SWAP2 000004af: ADD 000004b0: SWAP3 000004b1: DUP3 000004b2: SWAP2 000004b3: DUP6 000004b4: ADD 000004b5: SWAP1 000004b6: DUP5 000004b7: SWAP1 000004b8: DUP1 000004b9: DUP3 000004ba: DUP5 000004bb: CALLDATACOPY 000004bc: POP 000004bd: POP 000004be: PUSH1 0x40 000004c0: DUP1 000004c1: MLOAD 000004c2: SWAP7 000004c3: CALLDATALOAD 000004c4: DUP1 000004c5: DUP10 000004c6: ADD 000004c7: CALLDATALOAD 000004c8: PUSH1 0x20 000004ca: DUP2 000004cb: DUP2 000004cc: MUL 000004cd: DUP1 000004ce: DUP12 000004cf: ADD 000004d0: DUP3 000004d1: ADD 000004d2: SWAP1 000004d3: SWAP5 000004d4: MSTORE 000004d5: DUP2 000004d6: DUP11 000004d7: MSTORE 000004d8: SWAP8 000004d9: SWAP10 000004da: SWAP9 000004db: PUSH1 0x84 000004dd: SWAP9 000004de: SWAP1 000004df: SWAP8 000004e0: POP 000004e1: PUSH1 0x24 000004e3: SWAP3 000004e4: SWAP1 000004e5: SWAP3 000004e6: ADD 000004e7: SWAP6 000004e8: POP 000004e9: SWAP4 000004ea: POP 000004eb: DUP4 000004ec: SWAP3 000004ed: POP 000004ee: DUP6 000004ef: ADD 000004f0: SWAP1 000004f1: DUP5 000004f2: SWAP1 000004f3: DUP1 000004f4: DUP3 000004f5: DUP5 000004f6: CALLDATACOPY 000004f7: POP 000004f8: POP 000004f9: PUSH1 0x40 000004fb: DUP1 000004fc: MLOAD 000004fd: PUSH1 0xa4 000004ff: CALLDATALOAD 00000500: DUP1 00000501: DUP11 00000502: ADD 00000503: CALLDATALOAD 00000504: PUSH1 0x20 00000506: DUP2 00000507: DUP2 00000508: MUL 00000509: DUP1 0000050a: DUP6 0000050b: ADD 0000050c: DUP3 0000050d: ADD 0000050e: SWAP1 0000050f: SWAP6 00000510: MSTORE 00000511: DUP2 00000512: DUP5 00000513: MSTORE 00000514: SWAP9 00000515: SWAP11 00000516: SWAP10 00000517: CALLDATALOAD 00000518: SWAP10 00000519: SWAP9 0000051a: PUSH1 0xc4 0000051c: SWAP9 0000051d: POP 0000051e: SWAP3 0000051f: SWAP7 00000520: POP 00000521: PUSH1 0x24 00000523: SWAP2 00000524: SWAP1 00000525: SWAP2 00000526: ADD 00000527: SWAP5 00000528: POP 00000529: SWAP3 0000052a: POP 0000052b: DUP3 0000052c: SWAP2 0000052d: SWAP1 0000052e: DUP6 0000052f: ADD 00000530: SWAP1 00000531: DUP5 00000532: SWAP1 00000533: DUP1 00000534: DUP3 00000535: DUP5 00000536: CALLDATACOPY 00000537: POP 00000538: PUSH1 0x01 0000053a: SWAP14 0000053b: SWAP13 0000053c: POP 0000053d: POP 0000053e: POP 0000053f: POP 00000540: POP 00000541: POP 00000542: POP 00000543: POP 00000544: POP 00000545: POP 00000546: POP 00000547: POP 00000548: POP 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x0632 0000054e: PUSH1 0x03 00000550: SLOAD 00000551: PUSH1 0x01 00000553: PUSH1 0xa0 00000555: PUSH1 0x02 00000557: EXP 00000558: SUB 00000559: AND 0000055a: DUP2 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH2 0x0609 00000560: PUSH1 0x04 00000562: CALLDATALOAD 00000563: PUSH1 0x01 00000565: PUSH1 0x20 00000567: MSTORE 00000568: PUSH1 0x00 0000056a: SWAP1 0000056b: DUP2 0000056c: MSTORE 0000056d: PUSH1 0x40 0000056f: SWAP1 00000570: KECCAK256 00000571: SLOAD 00000572: DUP2 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH2 0x0632 00000578: PUSH1 0x00 0000057a: SLOAD 0000057b: PUSH1 0x01 0000057d: PUSH1 0xa0 0000057f: PUSH1 0x02 00000581: EXP 00000582: SUB 00000583: AND 00000584: DUP2 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH2 0x0609 0000058a: PUSH1 0x04 0000058c: CALLDATALOAD 0000058d: PUSH1 0x03 0000058f: SLOAD 00000590: PUSH1 0x40 00000592: DUP1 00000593: MLOAD 00000594: PUSH32 0x93423e9c00000000000000000000000000000000000000000000000000000000 000005b5: DUP2 000005b6: MSTORE 000005b7: PUSH1 0x01 000005b9: PUSH1 0xa0 000005bb: PUSH1 0x02 000005bd: EXP 000005be: SUB 000005bf: DUP5 000005c0: DUP2 000005c1: AND 000005c2: PUSH1 0x04 000005c4: DUP4 000005c5: ADD 000005c6: MSTORE 000005c7: SWAP2 000005c8: MLOAD 000005c9: PUSH1 0x00 000005cb: SWAP4 000005cc: SWAP1 000005cd: SWAP3 000005ce: AND 000005cf: SWAP2 000005d0: DUP4 000005d1: SWAP2 000005d2: DUP4 000005d3: SWAP2 000005d4: PUSH4 0x93423e9c 000005d9: SWAP2 000005da: PUSH1 0x24 000005dc: DUP2 000005dd: DUP2 000005de: ADD 000005df: SWAP3 000005e0: PUSH1 0x20 000005e2: SWAP3 000005e3: SWAP1 000005e4: SWAP2 000005e5: SWAP1 000005e6: DUP3 000005e7: SWAP1 000005e8: SUB 000005e9: ADD 000005ea: DUP2 000005eb: DUP8 000005ec: DUP8 000005ed: PUSH2 0x61da 000005f0: GAS 000005f1: SUB 000005f2: CALL 000005f3: ISZERO 000005f4: PUSH2 0x0002 000005f7: JUMPI 000005f8: POP 000005f9: POP 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: MLOAD 000005fe: SWAP4 000005ff: POP 00000600: DUP4 00000601: SWAP2 00000602: POP 00000603: PUSH2 0x0654 00000606: SWAP1 00000607: POP 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH1 0x40 0000060c: DUP1 0000060d: MLOAD 0000060e: SWAP2 0000060f: DUP3 00000610: MSTORE 00000611: MLOAD 00000612: SWAP1 00000613: DUP2 00000614: SWAP1 00000615: SUB 00000616: PUSH1 0x20 00000618: ADD 00000619: SWAP1 0000061a: RETURN 0000061b: JUMPDEST 0000061c: POP 0000061d: JUMPDEST 0000061e: SWAP1 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x01 00000623: ADD 00000624: PUSH2 0x00a0 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x00 0000062b: SWAP2 0000062c: POP 0000062d: POP 0000062e: PUSH2 0x061d 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x40 00000635: DUP1 00000636: MLOAD 00000637: PUSH1 0x01 00000639: PUSH1 0xa0 0000063b: PUSH1 0x02 0000063d: EXP 0000063e: SUB 0000063f: SWAP3 00000640: SWAP1 00000641: SWAP3 00000642: AND 00000643: DUP3 00000644: MSTORE 00000645: MLOAD 00000646: SWAP1 00000647: DUP2 00000648: SWAP1 00000649: SUB 0000064a: PUSH1 0x20 0000064c: ADD 0000064d: SWAP1 0000064e: RETURN 0000064f: JUMPDEST 00000650: PUSH1 0x01 00000652: SWAP3 00000653: POP 00000654: JUMPDEST 00000655: POP 00000656: POP 00000657: SWAP2 00000658: SWAP1 00000659: POP 0000065a: JUMP 0000065b: JUMPDEST 0000065c: SWAP1 0000065d: POP 0000065e: JUMPDEST 0000065f: SWAP2 00000660: SWAP1 00000661: POP 00000662: JUMP 00000663: JUMPDEST 00000664: SWAP1 00000665: POP 00000666: JUMPDEST 00000667: SWAP3 00000668: SWAP2 00000669: POP 0000066a: POP 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH1 0x01 0000066f: ADD 00000670: PUSH2 0x0214 00000673: JUMP 00000674: JUMPDEST 00000675: POP 00000676: JUMPDEST 00000677: POP 00000678: SWAP7 00000679: SWAP6 0000067a: POP 0000067b: POP 0000067c: POP 0000067d: POP 0000067e: POP 0000067f: POP 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x01 00000684: ADD 00000685: PUSH2 0x032d 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH1 0x02 0000068c: DUP1 0000068d: SLOAD 0000068e: PUSH1 0x01 00000690: DUP2 00000691: ADD 00000692: DUP1 00000693: DUP4 00000694: SSTORE 00000695: SWAP1 00000696: SWAP2 00000697: SWAP1 00000698: DUP3 00000699: DUP1 0000069a: ISZERO 0000069b: DUP3 0000069c: SWAP1 0000069d: GT 0000069e: PUSH2 0x06d4 000006a1: JUMPI 000006a2: PUSH1 0x00 000006a4: DUP4 000006a5: SWAP1 000006a6: MSTORE 000006a7: PUSH2 0x06d4 000006aa: SWAP1 000006ab: PUSH1 0x00 000006ad: DUP1 000006ae: MLOAD 000006af: PUSH1 0x20 000006b1: PUSH2 0x0898 000006b4: DUP4 000006b5: CODECOPY 000006b6: DUP2 000006b7: MLOAD 000006b8: SWAP2 000006b9: MSTORE 000006ba: SWAP1 000006bb: DUP2 000006bc: ADD 000006bd: SWAP1 000006be: DUP4 000006bf: ADD 000006c0: JUMPDEST 000006c1: DUP1 000006c2: DUP3 000006c3: GT 000006c4: ISZERO 000006c5: PUSH2 0x061b 000006c8: JUMPI 000006c9: PUSH1 0x00 000006cb: DUP2 000006cc: SSTORE 000006cd: PUSH1 0x01 000006cf: ADD 000006d0: PUSH2 0x06c0 000006d3: JUMP 000006d4: JUMPDEST 000006d5: POP 000006d6: POP 000006d7: POP 000006d8: SWAP1 000006d9: POP 000006da: DUP4 000006db: DUP3 000006dc: DUP2 000006dd: MLOAD 000006de: DUP2 000006df: LT 000006e0: ISZERO 000006e1: PUSH2 0x0002 000006e4: JUMPI 000006e5: SWAP1 000006e6: PUSH1 0x20 000006e8: ADD 000006e9: SWAP1 000006ea: PUSH1 0x20 000006ec: MUL 000006ed: ADD 000006ee: MLOAD 000006ef: PUSH1 0x02 000006f1: PUSH1 0x00 000006f3: POP 000006f4: DUP3 000006f5: DUP2 000006f6: SLOAD 000006f7: DUP2 000006f8: LT 000006f9: ISZERO 000006fa: PUSH2 0x0002 000006fd: JUMPI 000006fe: POP 000006ff: PUSH1 0x00 00000701: SWAP1 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x00 00000706: DUP1 00000707: MLOAD 00000708: PUSH1 0x20 0000070a: PUSH2 0x0898 0000070d: DUP4 0000070e: CODECOPY 0000070f: DUP2 00000710: MLOAD 00000711: SWAP2 00000712: MSTORE 00000713: DUP4 00000714: ADD 00000715: DUP1 00000716: SLOAD 00000717: PUSH1 0x01 00000719: PUSH1 0xa0 0000071b: PUSH1 0x02 0000071d: EXP 0000071e: SUB 0000071f: NOT 00000720: AND 00000721: SWAP1 00000722: SWAP3 00000723: OR 00000724: SWAP1 00000725: SWAP2 00000726: SSTORE 00000727: DUP5 00000728: MLOAD 00000729: DUP3 0000072a: SWAP2 0000072b: PUSH1 0x01 0000072d: SWAP2 0000072e: DUP8 0000072f: SWAP1 00000730: DUP7 00000731: SWAP1 00000732: DUP2 00000733: LT 00000734: ISZERO 00000735: PUSH2 0x0002 00000738: JUMPI 00000739: POP 0000073a: POP 0000073b: PUSH1 0x20 0000073d: DUP6 0000073e: DUP2 0000073f: MUL 00000740: DUP9 00000741: ADD 00000742: DUP2 00000743: ADD 00000744: MLOAD 00000745: PUSH1 0x01 00000747: PUSH1 0xa0 00000749: PUSH1 0x02 0000074b: EXP 0000074c: SUB 0000074d: AND 0000074e: DUP3 0000074f: MSTORE 00000750: SWAP2 00000751: SWAP1 00000752: SWAP2 00000753: MSTORE 00000754: PUSH1 0x40 00000756: SWAP1 00000757: KECCAK256 00000758: SSTORE 00000759: PUSH1 0x01 0000075b: SWAP2 0000075c: SWAP1 0000075d: SWAP2 0000075e: ADD 0000075f: SWAP1 00000760: PUSH2 0x018d 00000763: JUMP 00000764: JUMPDEST 00000765: PUSH1 0x01 00000767: PUSH1 0xa0 00000769: PUSH1 0x02 0000076b: EXP 0000076c: SUB 0000076d: DUP5 0000076e: AND 0000076f: PUSH1 0x00 00000771: SWAP1 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x01 00000776: PUSH1 0x20 00000778: DUP2 00000779: SWAP1 0000077a: MSTORE 0000077b: PUSH1 0x40 0000077d: DUP3 0000077e: KECCAK256 0000077f: SWAP2 00000780: SWAP1 00000781: SWAP2 00000782: SSTORE 00000783: PUSH1 0x02 00000785: SLOAD 00000786: SWAP1 00000787: DUP4 00000788: ADD 00000789: LT 0000078a: ISZERO 0000078b: PUSH2 0x0812 0000078e: JUMPI 0000078f: PUSH1 0x02 00000791: DUP1 00000792: SLOAD 00000793: PUSH1 0x00 00000795: NOT 00000796: DUP2 00000797: ADD 00000798: SWAP1 00000799: DUP2 0000079a: LT 0000079b: ISZERO 0000079c: PUSH2 0x0002 0000079f: JUMPI 000007a0: POP 000007a1: DUP1 000007a2: SLOAD 000007a3: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5acd 000007c4: ADD 000007c5: SLOAD 000007c6: PUSH1 0x01 000007c8: PUSH1 0xa0 000007ca: PUSH1 0x02 000007cc: EXP 000007cd: SUB 000007ce: AND 000007cf: PUSH1 0x00 000007d1: DUP2 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x40 000007d6: SWAP1 000007d7: KECCAK256 000007d8: DUP5 000007d9: SWAP1 000007da: SSTORE 000007db: DUP2 000007dc: SLOAD 000007dd: SWAP1 000007de: SWAP3 000007df: POP 000007e0: DUP3 000007e1: SWAP2 000007e2: SWAP1 000007e3: DUP5 000007e4: SWAP1 000007e5: DUP2 000007e6: LT 000007e7: ISZERO 000007e8: PUSH2 0x0002 000007eb: JUMPI 000007ec: POP 000007ed: PUSH1 0x00 000007ef: MSTORE 000007f0: POP 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: MLOAD 000007f5: PUSH1 0x20 000007f7: PUSH2 0x0898 000007fa: DUP4 000007fb: CODECOPY 000007fc: DUP2 000007fd: MLOAD 000007fe: SWAP2 000007ff: MSTORE 00000800: DUP3 00000801: ADD 00000802: DUP1 00000803: SLOAD 00000804: PUSH1 0x01 00000806: PUSH1 0xa0 00000808: PUSH1 0x02 0000080a: EXP 0000080b: SUB 0000080c: NOT 0000080d: AND 0000080e: DUP3 0000080f: OR 00000810: SWAP1 00000811: SSTORE 00000812: JUMPDEST 00000813: PUSH1 0x02 00000815: DUP1 00000816: SLOAD 00000817: PUSH1 0x00 00000819: NOT 0000081a: DUP2 0000081b: ADD 0000081c: SWAP1 0000081d: DUP2 0000081e: LT 0000081f: ISZERO 00000820: PUSH2 0x0002 00000823: JUMPI 00000824: POP 00000825: DUP1 00000826: SLOAD 00000827: PUSH1 0x00 00000829: DUP3 0000082a: SWAP1 0000082b: MSTORE 0000082c: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5acd 0000084d: ADD 0000084e: DUP1 0000084f: SLOAD 00000850: PUSH1 0x01 00000852: PUSH1 0xa0 00000854: PUSH1 0x02 00000856: EXP 00000857: SUB 00000858: NOT 00000859: AND 0000085a: SWAP1 0000085b: SSTORE 0000085c: DUP1 0000085d: SLOAD 0000085e: PUSH1 0x00 00000860: NOT 00000861: DUP2 00000862: ADD 00000863: DUP1 00000864: DUP4 00000865: SSTORE 00000866: SWAP1 00000867: SWAP2 00000868: SWAP1 00000869: DUP3 0000086a: DUP1 0000086b: ISZERO 0000086c: DUP3 0000086d: SWAP1 0000086e: GT 0000086f: PUSH2 0x088b 00000872: JUMPI 00000873: DUP2 00000874: DUP4 00000875: PUSH1 0x00 00000877: MSTORE 00000878: PUSH1 0x20 0000087a: PUSH1 0x00 0000087c: KECCAK256 0000087d: SWAP2 0000087e: DUP3 0000087f: ADD 00000880: SWAP2 00000881: ADD 00000882: PUSH2 0x088b 00000885: SWAP2 00000886: SWAP1 00000887: PUSH2 0x06c0 0000088a: JUMP 0000088b: JUMPDEST 0000088c: POP 0000088d: POP 0000088e: POP 0000088f: POP 00000890: PUSH1 0x01 00000892: SWAP3 00000893: POP 00000894: PUSH2 0x0654 00000897: JUMP 00000898: BLOCKHASH 00000899: JUMPI 0000089a: DUP8 0000089b: STATICCALL 0000089c: SLT 0000089d: UNKNOWN(0xA8) 0000089e: UNKNOWN(0x23) 0000089f: UNKNOWN(0xE0) 000008a0: CALLCODE 000008a1: UNKNOWN(0xB7) 000008a2: PUSH4 0x1cc41b3b 000008a7: UNKNOWN(0xA8) 000008a8: DUP3 000008a9: DUP12 000008aa: CALLER 000008ab: UNKNOWN(0x21) 000008ac: UNKNOWN(0xCA) 000008ad: DUP2 000008ae: GT 000008af: GT 000008b0: STATICCALL 000008b1: PUSH22
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0bbcc2d4",
"selector": "0x0bbcc2d4",
"calldata_variants": [
"0x0bbcc2d4",
"0x0bbcc2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26043942",
"selector": "0x26043942",
"calldata_variants": [
"0x26043942",
"0x260439420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bbed4a0",
"selector": "0x3bbed4a0",
"calldata_variants": [
"0x3bbed4a0",
"0x3bbed4a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43b7db2b",
"selector": "0x43b7db2b",
"calldata_variants": [
"0x43b7db2b",
"0x43b7db2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cf0f357",
"selector": "0x5cf0f357",
"calldata_variants": [
"0x5cf0f357",
"0x5cf0f3570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 171,
"type": "tx_origin_used"
},
{
"pc": 543,
"type": "tx_origin_used"
},
{
"pc": 824,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xde972a76d8b6341b92fa931572ba58a5c388482afcbb565fd616cd32ecfeece3
call_targets:
0x9af09991ad63814e53ffc1bccf213ee74027608b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xde972a76d8b6341b92fa931572ba58a5c388482afcbb565fd616cd32ecfeece3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9af09991ad63814e53ffc1bccf213ee74027608b"
],
"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": "0x0bbcc2d4",
"selector": "0x0bbcc2d4",
"calldata_variants": [
"0x0bbcc2d4",
"0x0bbcc2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26043942",
"selector": "0x26043942",
"calldata_variants": [
"0x26043942",
"0x260439420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bbed4a0",
"selector": "0x3bbed4a0",
"calldata_variants": [
"0x3bbed4a0",
"0x3bbed4a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43b7db2b",
"selector": "0x43b7db2b",
"calldata_variants": [
"0x43b7db2b",
"0x43b7db2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cf0f357",
"selector": "0x5cf0f357",
"calldata_variants": [
"0x5cf0f357",
"0x5cf0f3570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 293,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 171,
"type": "tx_origin_used"
},
{
"pc": 543,
"type": "tx_origin_used"
},
{
"pc": 824,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xde972a76d8b6341b92fa931572ba58a5c388482afcbb565fd616cd32ecfeece3
call_targets:
0x9af09991ad63814e53ffc1bccf213ee74027608b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xde972a76d8b6341b92fa931572ba58a5c388482afcbb565fd616cd32ecfeece3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9af09991ad63814e53ffc1bccf213ee74027608b"
],
"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": "0x0bbcc2d4",
"selector": "0x0bbcc2d4",
"calldata_variants": [
"0x0bbcc2d4",
"0x0bbcc2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26043942",
"selector": "0x26043942",
"calldata_variants": [
"0x26043942",
"0x260439420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bbed4a0",
"selector": "0x3bbed4a0",
"calldata_variants": [
"0x3bbed4a0",
"0x3bbed4a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43b7db2b",
"selector": "0x43b7db2b",
"calldata_variants": [
"0x43b7db2b",
"0x43b7db2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5cf0f357",
"selector": "0x5cf0f357",
"calldata_variants": [
"0x5cf0f357",
"0x5cf0f3570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 293,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 171,
"type": "tx_origin_used"
},
{
"pc": 543,
"type": "tx_origin_used"
},
{
"pc": 824,
"type": "tx_origin_used"
}
]
}
|