019ba940-877c-7360-bf40-ea5e66583560
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 |
|---|---|---|---|---|
| 36091 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36092 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36093 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36094 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36095 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36096 | detector.run | complete | 1 / 3 | 3 months ago |
| 36097 | 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 0x0028 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH3 0xfde9f7 00000018: EQ 00000019: PUSH2 0x002d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xb837744f 00000023: EQ 00000024: PUSH2 0x0042 00000027: JUMPI 00000028: JUMPDEST 00000029: PUSH1 0x00 0000002b: DUP1 0000002c: REVERT 0000002d: JUMPDEST 0000002e: PUSH2 0x0040 00000031: PUSH2 0x003b 00000034: CALLDATASIZE 00000035: PUSH1 0x04 00000037: PUSH2 0x02f1 0000003a: JUMP 0000003b: JUMPDEST 0000003c: PUSH2 0x0055 0000003f: JUMP 00000040: JUMPDEST 00000041: STOP 00000042: JUMPDEST 00000043: PUSH2 0x0040 00000046: PUSH2 0x0050 00000049: CALLDATASIZE 0000004a: PUSH1 0x04 0000004c: PUSH2 0x02b6 0000004f: JUMP 00000050: JUMPDEST 00000051: PUSH2 0x0115 00000054: JUMP 00000055: JUMPDEST 00000056: PUSH1 0x00 00000058: SLOAD 00000059: PUSH1 0x01 0000005b: PUSH1 0x01 0000005d: PUSH1 0xa0 0000005f: SHL 00000060: SUB 00000061: AND 00000062: CALLER 00000063: EQ 00000064: PUSH2 0x006c 00000067: JUMPI 00000068: PUSH1 0x00 0000006a: DUP1 0000006b: REVERT 0000006c: JUMPDEST 0000006d: PUSH1 0x00 0000006f: JUMPDEST 00000070: DUP4 00000071: MLOAD 00000072: DUP2 00000073: LT 00000074: ISZERO 00000075: PUSH2 0x010f 00000078: JUMPI 00000079: DUP4 0000007a: DUP2 0000007b: DUP2 0000007c: MLOAD 0000007d: DUP2 0000007e: LT 0000007f: PUSH2 0x0084 00000082: JUMPI 00000083: INVALID 00000084: JUMPDEST 00000085: PUSH1 0x20 00000087: MUL 00000088: PUSH1 0x20 0000008a: ADD 0000008b: ADD 0000008c: MLOAD 0000008d: PUSH1 0x01 0000008f: PUSH1 0x01 00000091: PUSH1 0xa0 00000093: SHL 00000094: SUB 00000095: AND 00000096: CALLVALUE 00000097: DUP5 00000098: DUP5 00000099: DUP5 0000009a: DUP2 0000009b: DUP2 0000009c: LT 0000009d: PUSH2 0x00a2 000000a0: JUMPI 000000a1: INVALID 000000a2: JUMPDEST 000000a3: SWAP1 000000a4: POP 000000a5: PUSH1 0x20 000000a7: MUL 000000a8: DUP2 000000a9: ADD 000000aa: SWAP1 000000ab: PUSH2 0x00b4 000000ae: SWAP2 000000af: SWAP1 000000b0: PUSH2 0x0421 000000b3: JUMP 000000b4: JUMPDEST 000000b5: PUSH1 0x40 000000b7: MLOAD 000000b8: PUSH2 0x00c2 000000bb: SWAP3 000000bc: SWAP2 000000bd: SWAP1 000000be: PUSH2 0x03da 000000c1: JUMP 000000c2: JUMPDEST 000000c3: PUSH1 0x00 000000c5: PUSH1 0x40 000000c7: MLOAD 000000c8: DUP1 000000c9: DUP4 000000ca: SUB 000000cb: DUP2 000000cc: DUP6 000000cd: DUP8 000000ce: GAS 000000cf: CALL 000000d0: SWAP3 000000d1: POP 000000d2: POP 000000d3: POP 000000d4: RETURNDATASIZE 000000d5: DUP1 000000d6: PUSH1 0x00 000000d8: DUP2 000000d9: EQ 000000da: PUSH2 0x00ff 000000dd: JUMPI 000000de: PUSH1 0x40 000000e0: MLOAD 000000e1: SWAP2 000000e2: POP 000000e3: PUSH1 0x1f 000000e5: NOT 000000e6: PUSH1 0x3f 000000e8: RETURNDATASIZE 000000e9: ADD 000000ea: AND 000000eb: DUP3 000000ec: ADD 000000ed: PUSH1 0x40 000000ef: MSTORE 000000f0: RETURNDATASIZE 000000f1: DUP3 000000f2: MSTORE 000000f3: RETURNDATASIZE 000000f4: PUSH1 0x00 000000f6: PUSH1 0x20 000000f8: DUP5 000000f9: ADD 000000fa: RETURNDATACOPY 000000fb: PUSH2 0x0104 000000fe: JUMP 000000ff: JUMPDEST 00000100: PUSH1 0x60 00000102: SWAP2 00000103: POP 00000104: JUMPDEST 00000105: POP 00000106: POP 00000107: POP 00000108: PUSH1 0x01 0000010a: ADD 0000010b: PUSH2 0x006f 0000010e: JUMP 0000010f: JUMPDEST 00000110: POP 00000111: POP 00000112: POP 00000113: POP 00000114: JUMP 00000115: JUMPDEST 00000116: PUSH1 0x00 00000118: SLOAD 00000119: PUSH1 0x01 0000011b: PUSH1 0x01 0000011d: PUSH1 0xa0 0000011f: SHL 00000120: SUB 00000121: AND 00000122: ORIGIN 00000123: EQ 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: PUSH1 0x00 0000012f: PUSH1 0x01 00000131: DUP3 00000132: ISZERO 00000133: ISZERO 00000134: EQ 00000135: PUSH2 0x0149 00000138: JUMPI 00000139: PUSH1 0x02 0000013b: SLOAD 0000013c: PUSH1 0x01 0000013e: PUSH1 0x01 00000140: PUSH1 0xa0 00000142: SHL 00000143: SUB 00000144: AND 00000145: PUSH2 0x0156 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH1 0x01 0000014c: SLOAD 0000014d: PUSH1 0x01 0000014f: PUSH1 0x01 00000151: PUSH1 0xa0 00000153: SHL 00000154: SUB 00000155: AND 00000156: JUMPDEST 00000157: SWAP1 00000158: POP 00000159: PUSH1 0x00 0000015b: DUP4 0000015c: PUSH1 0x01 0000015e: PUSH1 0x01 00000160: PUSH1 0xa0 00000162: SHL 00000163: SUB 00000164: AND 00000165: PUSH4 0x70a08231 0000016a: DUP4 0000016b: PUSH1 0x40 0000016d: MLOAD 0000016e: DUP3 0000016f: PUSH4 0xffffffff 00000174: AND 00000175: PUSH1 0xe0 00000177: SHL 00000178: DUP2 00000179: MSTORE 0000017a: PUSH1 0x04 0000017c: ADD 0000017d: PUSH2 0x0186 00000180: SWAP2 00000181: SWAP1 00000182: PUSH2 0x03ea 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH1 0x20 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: DUP1 0000018d: DUP4 0000018e: SUB 0000018f: DUP2 00000190: DUP7 00000191: DUP1 00000192: EXTCODESIZE 00000193: ISZERO 00000194: DUP1 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: POP 000001a0: GAS 000001a1: STATICCALL 000001a2: ISZERO 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01b2 000001a8: JUMPI 000001a9: RETURNDATASIZE 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: RETURNDATACOPY 000001ae: RETURNDATASIZE 000001af: PUSH1 0x00 000001b1: REVERT 000001b2: JUMPDEST 000001b3: POP 000001b4: POP 000001b5: POP 000001b6: POP 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: RETURNDATASIZE 000001bb: PUSH1 0x1f 000001bd: NOT 000001be: PUSH1 0x1f 000001c0: DUP3 000001c1: ADD 000001c2: AND 000001c3: DUP3 000001c4: ADD 000001c5: DUP1 000001c6: PUSH1 0x40 000001c8: MSTORE 000001c9: POP 000001ca: DUP2 000001cb: ADD 000001cc: SWAP1 000001cd: PUSH2 0x01d6 000001d0: SWAP2 000001d1: SWAP1 000001d2: PUSH2 0x03c2 000001d5: JUMP 000001d6: JUMPDEST 000001d7: SWAP1 000001d8: POP 000001d9: DUP1 000001da: PUSH2 0x01e4 000001dd: JUMPI 000001de: POP 000001df: POP 000001e0: PUSH2 0x024c 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x40 000001e7: MLOAD 000001e8: PUSH4 0xdf2ab5bb 000001ed: PUSH1 0xe0 000001ef: SHL 000001f0: DUP2 000001f1: MSTORE 000001f2: PUSH1 0x01 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: SHL 000001f9: SUB 000001fa: DUP4 000001fb: AND 000001fc: SWAP1 000001fd: PUSH4 0xdf2ab5bb 00000202: SWAP1 00000203: PUSH2 0x0217 00000206: SWAP1 00000207: DUP8 00000208: SWAP1 00000209: PUSH1 0x03 0000020b: DUP7 0000020c: DIV 0000020d: SWAP1 0000020e: ADDRESS 0000020f: SWAP1 00000210: PUSH1 0x04 00000212: ADD 00000213: PUSH2 0x03fe 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH1 0x00 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: DUP1 0000021e: DUP4 0000021f: SUB 00000220: DUP2 00000221: PUSH1 0x00 00000223: DUP8 00000224: DUP1 00000225: EXTCODESIZE 00000226: ISZERO 00000227: DUP1 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: POP 00000233: GAS 00000234: CALL 00000235: ISZERO 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0245 0000023b: JUMPI 0000023c: RETURNDATASIZE 0000023d: PUSH1 0x00 0000023f: DUP1 00000240: RETURNDATACOPY 00000241: RETURNDATASIZE 00000242: PUSH1 0x00 00000244: REVERT 00000245: JUMPDEST 00000246: POP 00000247: POP 00000248: POP 00000249: POP 0000024a: POP 0000024b: POP 0000024c: JUMPDEST 0000024d: POP 0000024e: POP 0000024f: JUMP 00000250: JUMPDEST 00000251: DUP1 00000252: CALLDATALOAD 00000253: PUSH1 0x01 00000255: PUSH1 0x01 00000257: PUSH1 0xa0 00000259: SHL 0000025a: SUB 0000025b: DUP2 0000025c: AND 0000025d: DUP2 0000025e: EQ 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: SWAP3 00000269: SWAP2 0000026a: POP 0000026b: POP 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH1 0x00 00000270: DUP1 00000271: DUP4 00000272: PUSH1 0x1f 00000274: DUP5 00000275: ADD 00000276: SLT 00000277: PUSH2 0x027e 0000027a: JUMPI 0000027b: DUP1 0000027c: DUP2 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: DUP2 00000281: CALLDATALOAD 00000282: PUSH8 0xffffffffffffffff 0000028b: DUP2 0000028c: GT 0000028d: ISZERO 0000028e: PUSH2 0x0295 00000291: JUMPI 00000292: DUP2 00000293: DUP3 00000294: REVERT 00000295: JUMPDEST 00000296: PUSH1 0x20 00000298: DUP4 00000299: ADD 0000029a: SWAP2 0000029b: POP 0000029c: DUP4 0000029d: PUSH1 0x20 0000029f: DUP1 000002a0: DUP4 000002a1: MUL 000002a2: DUP6 000002a3: ADD 000002a4: ADD 000002a5: GT 000002a6: ISZERO 000002a7: PUSH2 0x02af 000002aa: JUMPI 000002ab: PUSH1 0x00 000002ad: DUP1 000002ae: REVERT 000002af: JUMPDEST 000002b0: SWAP3 000002b1: POP 000002b2: SWAP3 000002b3: SWAP1 000002b4: POP 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: PUSH1 0x40 000002bc: DUP4 000002bd: DUP6 000002be: SUB 000002bf: SLT 000002c0: ISZERO 000002c1: PUSH2 0x02c8 000002c4: JUMPI 000002c5: DUP2 000002c6: DUP3 000002c7: REVERT 000002c8: JUMPDEST 000002c9: PUSH2 0x02d2 000002cc: DUP5 000002cd: DUP5 000002ce: PUSH2 0x0250 000002d1: JUMP 000002d2: JUMPDEST 000002d3: SWAP2 000002d4: POP 000002d5: PUSH1 0x20 000002d7: DUP4 000002d8: ADD 000002d9: CALLDATALOAD 000002da: DUP1 000002db: ISZERO 000002dc: ISZERO 000002dd: DUP2 000002de: EQ 000002df: PUSH2 0x02e6 000002e2: JUMPI 000002e3: DUP2 000002e4: DUP3 000002e5: REVERT 000002e6: JUMPDEST 000002e7: DUP1 000002e8: SWAP2 000002e9: POP 000002ea: POP 000002eb: SWAP3 000002ec: POP 000002ed: SWAP3 000002ee: SWAP1 000002ef: POP 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x00 000002f4: DUP1 000002f5: PUSH1 0x00 000002f7: PUSH1 0x40 000002f9: DUP5 000002fa: DUP7 000002fb: SUB 000002fc: SLT 000002fd: ISZERO 000002fe: PUSH2 0x0305 00000301: JUMPI 00000302: DUP1 00000303: DUP2 00000304: REVERT 00000305: JUMPDEST 00000306: DUP4 00000307: CALLDATALOAD 00000308: PUSH8 0xffffffffffffffff 00000311: DUP1 00000312: DUP3 00000313: GT 00000314: ISZERO 00000315: PUSH2 0x031c 00000318: JUMPI 00000319: DUP3 0000031a: DUP4 0000031b: REVERT 0000031c: JUMPDEST 0000031d: DUP2 0000031e: DUP7 0000031f: ADD 00000320: SWAP2 00000321: POP 00000322: DUP7 00000323: PUSH1 0x1f 00000325: DUP4 00000326: ADD 00000327: SLT 00000328: PUSH2 0x032f 0000032b: JUMPI 0000032c: DUP3 0000032d: DUP4 0000032e: REVERT 0000032f: JUMPDEST 00000330: DUP2 00000331: CALLDATALOAD 00000332: DUP2 00000333: DUP2 00000334: GT 00000335: ISZERO 00000336: PUSH2 0x033d 00000339: JUMPI 0000033a: DUP4 0000033b: DUP5 0000033c: REVERT 0000033d: JUMPDEST 0000033e: PUSH1 0x20 00000340: DUP1 00000341: DUP3 00000342: MUL 00000343: PUSH2 0x034d 00000346: DUP3 00000347: DUP3 00000348: ADD 00000349: PUSH2 0x0466 0000034c: JUMP 0000034d: JUMPDEST 0000034e: DUP4 0000034f: DUP2 00000350: MSTORE 00000351: DUP3 00000352: DUP2 00000353: ADD 00000354: SWAP1 00000355: DUP7 00000356: DUP5 00000357: ADD 00000358: DUP4 00000359: DUP9 0000035a: ADD 0000035b: DUP6 0000035c: ADD 0000035d: DUP14 0000035e: LT 0000035f: ISZERO 00000360: PUSH2 0x0367 00000363: JUMPI 00000364: DUP9 00000365: DUP10 00000366: REVERT 00000367: JUMPDEST 00000368: DUP9 00000369: SWAP8 0000036a: POP 0000036b: JUMPDEST 0000036c: DUP6 0000036d: DUP9 0000036e: LT 0000036f: ISZERO 00000370: PUSH2 0x0391 00000373: JUMPI 00000374: PUSH2 0x037d 00000377: DUP14 00000378: DUP3 00000379: PUSH2 0x0250 0000037c: JUMP 0000037d: JUMPDEST 0000037e: DUP4 0000037f: MSTORE 00000380: PUSH1 0x01 00000382: SWAP8 00000383: SWAP1 00000384: SWAP8 00000385: ADD 00000386: SWAP7 00000387: SWAP2 00000388: DUP5 00000389: ADD 0000038a: SWAP2 0000038b: DUP5 0000038c: ADD 0000038d: PUSH2 0x036b 00000390: JUMP 00000391: JUMPDEST 00000392: POP 00000393: SWAP9 00000394: POP 00000395: POP 00000396: POP 00000397: DUP8 00000398: ADD 00000399: CALLDATALOAD 0000039a: SWAP3 0000039b: POP 0000039c: POP 0000039d: DUP1 0000039e: DUP3 0000039f: GT 000003a0: ISZERO 000003a1: PUSH2 0x03a8 000003a4: JUMPI 000003a5: DUP3 000003a6: DUP4 000003a7: REVERT 000003a8: JUMPDEST 000003a9: POP 000003aa: PUSH2 0x03b5 000003ad: DUP7 000003ae: DUP3 000003af: DUP8 000003b0: ADD 000003b1: PUSH2 0x026d 000003b4: JUMP 000003b5: JUMPDEST 000003b6: SWAP5 000003b7: SWAP8 000003b8: SWAP1 000003b9: SWAP7 000003ba: POP 000003bb: SWAP4 000003bc: SWAP5 000003bd: POP 000003be: POP 000003bf: POP 000003c0: POP 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH1 0x00 000003c5: PUSH1 0x20 000003c7: DUP3 000003c8: DUP5 000003c9: SUB 000003ca: SLT 000003cb: ISZERO 000003cc: PUSH2 0x03d3 000003cf: JUMPI 000003d0: DUP1 000003d1: DUP2 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: MLOAD 000003d6: SWAP2 000003d7: SWAP1 000003d8: POP 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH1 0x00 000003dd: DUP3 000003de: DUP5 000003df: DUP4 000003e0: CALLDATACOPY 000003e1: SWAP2 000003e2: ADD 000003e3: SWAP1 000003e4: DUP2 000003e5: MSTORE 000003e6: SWAP2 000003e7: SWAP1 000003e8: POP 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x01 000003ed: PUSH1 0x01 000003ef: PUSH1 0xa0 000003f1: SHL 000003f2: SUB 000003f3: SWAP2 000003f4: SWAP1 000003f5: SWAP2 000003f6: AND 000003f7: DUP2 000003f8: MSTORE 000003f9: PUSH1 0x20 000003fb: ADD 000003fc: SWAP1 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH1 0x01 00000401: PUSH1 0x01 00000403: PUSH1 0xa0 00000405: SHL 00000406: SUB 00000407: SWAP4 00000408: DUP5 00000409: AND 0000040a: DUP2 0000040b: MSTORE 0000040c: PUSH1 0x20 0000040e: DUP2 0000040f: ADD 00000410: SWAP3 00000411: SWAP1 00000412: SWAP3 00000413: MSTORE 00000414: SWAP1 00000415: SWAP2 00000416: AND 00000417: PUSH1 0x40 00000419: DUP3 0000041a: ADD 0000041b: MSTORE 0000041c: PUSH1 0x60 0000041e: ADD 0000041f: SWAP1 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH1 0x00 00000424: DUP1 00000425: DUP4 00000426: CALLDATALOAD 00000427: PUSH1 0x1e 00000429: NOT 0000042a: DUP5 0000042b: CALLDATASIZE 0000042c: SUB 0000042d: ADD 0000042e: DUP2 0000042f: SLT 00000430: PUSH2 0x0437 00000433: JUMPI 00000434: DUP3 00000435: DUP4 00000436: REVERT 00000437: JUMPDEST 00000438: DUP4 00000439: ADD 0000043a: DUP1 0000043b: CALLDATALOAD 0000043c: SWAP2 0000043d: POP 0000043e: PUSH8 0xffffffffffffffff 00000447: DUP3 00000448: GT 00000449: ISZERO 0000044a: PUSH2 0x0451 0000044d: JUMPI 0000044e: DUP3 0000044f: DUP4 00000450: REVERT 00000451: JUMPDEST 00000452: PUSH1 0x20 00000454: ADD 00000455: SWAP2 00000456: POP 00000457: CALLDATASIZE 00000458: DUP2 00000459: SWAP1 0000045a: SUB 0000045b: DUP3 0000045c: SGT 0000045d: ISZERO 0000045e: PUSH2 0x02af 00000461: JUMPI 00000462: PUSH1 0x00 00000464: DUP1 00000465: REVERT 00000466: JUMPDEST 00000467: PUSH1 0x40 00000469: MLOAD 0000046a: DUP2 0000046b: DUP2 0000046c: ADD 0000046d: PUSH8 0xffffffffffffffff 00000476: DUP2 00000477: GT 00000478: DUP3 00000479: DUP3 0000047a: LT 0000047b: OR 0000047c: ISZERO 0000047d: PUSH2 0x0485 00000480: JUMPI 00000481: PUSH1 0x00 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: PUSH1 0x40 00000488: MSTORE 00000489: SWAP2 0000048a: SWAP1 0000048b: POP 0000048c: JUMP 0000048d: INVALID 0000048e: LOG2 0000048f: PUSH5 0x6970667358 00000495: UNKNOWN(0x22) 00000496: SLT 00000497: KECCAK256 00000498: STOP 00000499: UNKNOWN(0xC5) 0000049a: UNKNOWN(0x0C) 0000049b: DUP1 0000049c: UNKNOWN(0xEC) 0000049d: PUSH29 0x0fa8ed827a9177974fd9594e532697d2876065cae4d453f5b2c764736f 000004bb: PUSH13
| 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": "0xb837744f",
"selector": "0xb837744f",
"calldata_variants": [
"0xb837744f",
"0xb837744f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 291,
"type": "tx_origin_used"
},
{
"pc": 290,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x134e3f4e3b1250e8f5215d09b016f7d46ea634fbbcd8d788ff559c0b6e2b169a
call_targets:
0x470563f16c927bc593611c5b61065df3ba1ba95a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x134e3f4e3b1250e8f5215d09b016f7d46ea634fbbcd8d788ff559c0b6e2b169a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x470563f16c927bc593611c5b61065df3ba1ba95a"
],
"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": "0xb837744f",
"selector": "0xb837744f",
"calldata_variants": [
"0xb837744f",
"0xb837744f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 207,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 564,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 291,
"type": "tx_origin_used"
},
{
"pc": 290,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x134e3f4e3b1250e8f5215d09b016f7d46ea634fbbcd8d788ff559c0b6e2b169a
call_targets:
0x470563f16c927bc593611c5b61065df3ba1ba95a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x134e3f4e3b1250e8f5215d09b016f7d46ea634fbbcd8d788ff559c0b6e2b169a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x470563f16c927bc593611c5b61065df3ba1ba95a"
],
"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": "0xb837744f",
"selector": "0xb837744f",
"calldata_variants": [
"0xb837744f",
"0xb837744f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 207,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 564,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 291,
"type": "tx_origin_used"
},
{
"pc": 290,
"type": "tx_origin_used"
}
]
}
|