019b477e-cf0c-7340-8bb2-c5f544f89e13
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 |
|---|---|---|---|---|
| 27309 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27310 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70727 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70728 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70729 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70730 | 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 0x00e8 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x89a89002 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc2412676 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc2412676 0000002f: EQ 00000030: PUSH2 0x0259 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcb8c478a 0000003a: EQ 0000003b: PUSH2 0x0279 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xccb98ffc 00000045: EQ 00000046: PUSH2 0x028f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x02af 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x89a89002 00000060: EQ 00000061: PUSH2 0x01d6 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x01eb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x91b7f5ed 00000076: EQ 00000077: PUSH2 0x0223 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbf1f577b 00000081: EQ 00000082: PUSH2 0x0243 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x4b0bddd2 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4b0bddd2 0000009c: EQ 0000009d: PUSH2 0x0140 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x63a846f8 000000a7: EQ 000000a8: PUSH2 0x0160 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6513faf9 000000b2: EQ 000000b3: PUSH2 0x01a0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x6817c76c 000000bd: EQ 000000be: PUSH2 0x01c0 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x24c266b8 000000cd: EQ 000000ce: PUSH2 0x00ed 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x3197cbb6 000000d8: EQ 000000d9: PUSH2 0x0102 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x3ccfd60b 000000e3: EQ 000000e4: PUSH2 0x012b 000000e7: JUMPI 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: PUSH2 0x0100 000000f1: PUSH2 0x00fb 000000f4: CALLDATASIZE 000000f5: PUSH1 0x04 000000f7: PUSH2 0x0704 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH2 0x02cf 000000ff: JUMP 00000100: JUMPDEST 00000101: STOP 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0118 00000113: PUSH1 0x04 00000115: SLOAD 00000116: DUP2 00000117: JUMP 00000118: JUMPDEST 00000119: PUSH1 0x40 0000011b: MLOAD 0000011c: SWAP1 0000011d: DUP2 0000011e: MSTORE 0000011f: PUSH1 0x20 00000121: ADD 00000122: JUMPDEST 00000123: PUSH1 0x40 00000125: MLOAD 00000126: DUP1 00000127: SWAP2 00000128: SUB 00000129: SWAP1 0000012a: RETURN 0000012b: JUMPDEST 0000012c: CALLVALUE 0000012d: DUP1 0000012e: ISZERO 0000012f: PUSH2 0x0137 00000132: JUMPI 00000133: PUSH1 0x00 00000135: DUP1 00000136: REVERT 00000137: JUMPDEST 00000138: POP 00000139: PUSH2 0x0100 0000013c: PUSH2 0x0476 0000013f: JUMP 00000140: JUMPDEST 00000141: CALLVALUE 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: POP 0000014e: PUSH2 0x0100 00000151: PUSH2 0x015b 00000154: CALLDATASIZE 00000155: PUSH1 0x04 00000157: PUSH2 0x06af 0000015a: JUMP 0000015b: JUMPDEST 0000015c: PUSH2 0x04f4 0000015f: JUMP 00000160: JUMPDEST 00000161: CALLVALUE 00000162: DUP1 00000163: ISZERO 00000164: PUSH2 0x016c 00000167: JUMPI 00000168: PUSH1 0x00 0000016a: DUP1 0000016b: REVERT 0000016c: JUMPDEST 0000016d: POP 0000016e: PUSH2 0x0190 00000171: PUSH2 0x017b 00000174: CALLDATASIZE 00000175: PUSH1 0x04 00000177: PUSH2 0x068d 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH1 0x01 0000017e: PUSH1 0x20 00000180: MSTORE 00000181: PUSH1 0x00 00000183: SWAP1 00000184: DUP2 00000185: MSTORE 00000186: PUSH1 0x40 00000188: SWAP1 00000189: KECCAK256 0000018a: SLOAD 0000018b: PUSH1 0xff 0000018d: AND 0000018e: DUP2 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH1 0x40 00000193: MLOAD 00000194: SWAP1 00000195: ISZERO 00000196: ISZERO 00000197: DUP2 00000198: MSTORE 00000199: PUSH1 0x20 0000019b: ADD 0000019c: PUSH2 0x0122 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x0100 000001b1: PUSH2 0x01bb 000001b4: CALLDATASIZE 000001b5: PUSH1 0x04 000001b7: PUSH2 0x06eb 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x0549 000001bf: JUMP 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: DUP1 000001c3: ISZERO 000001c4: PUSH2 0x01cc 000001c7: JUMPI 000001c8: PUSH1 0x00 000001ca: DUP1 000001cb: REVERT 000001cc: JUMPDEST 000001cd: POP 000001ce: PUSH2 0x0118 000001d1: PUSH1 0x06 000001d3: SLOAD 000001d4: DUP2 000001d5: JUMP 000001d6: JUMPDEST 000001d7: CALLVALUE 000001d8: DUP1 000001d9: ISZERO 000001da: PUSH2 0x01e2 000001dd: JUMPI 000001de: PUSH1 0x00 000001e0: DUP1 000001e1: REVERT 000001e2: JUMPDEST 000001e3: POP 000001e4: PUSH2 0x0118 000001e7: PUSH1 0x07 000001e9: DUP2 000001ea: JUMP 000001eb: JUMPDEST 000001ec: CALLVALUE 000001ed: DUP1 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: POP 000001f9: PUSH1 0x00 000001fb: SLOAD 000001fc: PUSH2 0x020b 000001ff: SWAP1 00000200: PUSH1 0x01 00000202: PUSH1 0x01 00000204: PUSH1 0xa0 00000206: SHL 00000207: SUB 00000208: AND 00000209: DUP2 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH1 0x40 0000020e: MLOAD 0000020f: PUSH1 0x01 00000211: PUSH1 0x01 00000213: PUSH1 0xa0 00000215: SHL 00000216: SUB 00000217: SWAP1 00000218: SWAP2 00000219: AND 0000021a: DUP2 0000021b: MSTORE 0000021c: PUSH1 0x20 0000021e: ADD 0000021f: PUSH2 0x0122 00000222: JUMP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x0100 00000234: PUSH2 0x023e 00000237: CALLDATASIZE 00000238: PUSH1 0x04 0000023a: PUSH2 0x06eb 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH2 0x0578 00000242: JUMP 00000243: JUMPDEST 00000244: CALLVALUE 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x0118 00000254: PUSH1 0x05 00000256: SLOAD 00000257: DUP2 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH1 0x02 00000269: SLOAD 0000026a: PUSH2 0x020b 0000026d: SWAP1 0000026e: PUSH1 0x01 00000270: PUSH1 0x01 00000272: PUSH1 0xa0 00000274: SHL 00000275: SUB 00000276: AND 00000277: DUP2 00000278: JUMP 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x0118 0000028a: PUSH1 0x03 0000028c: SLOAD 0000028d: DUP2 0000028e: JUMP 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x0100 000002a0: PUSH2 0x02aa 000002a3: CALLDATASIZE 000002a4: PUSH1 0x04 000002a6: PUSH2 0x06eb 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH2 0x05c8 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x0100 000002c0: PUSH2 0x02ca 000002c3: CALLDATASIZE 000002c4: PUSH1 0x04 000002c6: PUSH2 0x068d 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH2 0x05f7 000002ce: JUMP 000002cf: JUMPDEST 000002d0: CALLER 000002d1: ORIGIN 000002d2: EQ 000002d3: PUSH2 0x0317 000002d6: JUMPI 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: PUSH3 0x461bcd 000002de: PUSH1 0xe5 000002e0: SHL 000002e1: DUP2 000002e2: MSTORE 000002e3: PUSH1 0x20 000002e5: PUSH1 0x04 000002e7: DUP3 000002e8: ADD 000002e9: MSTORE 000002ea: PUSH1 0x11 000002ec: PUSH1 0x24 000002ee: DUP3 000002ef: ADD 000002f0: MSTORE 000002f1: PUSH17 0x139bc81cdb585c9d0818dbdb9d1c9858dd 00000303: PUSH1 0x7a 00000305: SHL 00000306: PUSH1 0x44 00000308: DUP3 00000309: ADD 0000030a: MSTORE 0000030b: PUSH1 0x64 0000030d: ADD 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: SWAP2 00000314: SUB 00000315: SWAP1 00000316: REVERT 00000317: JUMPDEST 00000318: PUSH1 0x03 0000031a: SLOAD 0000031b: TIMESTAMP 0000031c: LT 0000031d: ISZERO 0000031e: PUSH2 0x0354 00000321: JUMPI 00000322: PUSH1 0x40 00000324: MLOAD 00000325: PUSH3 0x461bcd 00000329: PUSH1 0xe5 0000032b: SHL 0000032c: DUP2 0000032d: MSTORE 0000032e: PUSH1 0x20 00000330: PUSH1 0x04 00000332: DUP3 00000333: ADD 00000334: MSTORE 00000335: PUSH1 0x08 00000337: PUSH1 0x24 00000339: DUP3 0000033a: ADD 0000033b: MSTORE 0000033c: PUSH8 0x496e616374697665 00000345: PUSH1 0xc0 00000347: SHL 00000348: PUSH1 0x44 0000034a: DUP3 0000034b: ADD 0000034c: MSTORE 0000034d: PUSH1 0x64 0000034f: ADD 00000350: PUSH2 0x030e 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH1 0x04 00000357: SLOAD 00000358: TIMESTAMP 00000359: GT 0000035a: ISZERO 0000035b: PUSH2 0x0396 0000035e: JUMPI 0000035f: PUSH1 0x40 00000361: MLOAD 00000362: PUSH3 0x461bcd 00000366: PUSH1 0xe5 00000368: SHL 00000369: DUP2 0000036a: MSTORE 0000036b: PUSH1 0x20 0000036d: PUSH1 0x04 0000036f: DUP3 00000370: ADD 00000371: MSTORE 00000372: PUSH1 0x0d 00000374: PUSH1 0x24 00000376: DUP3 00000377: ADD 00000378: MSTORE 00000379: PUSH13 0x5061737420446561646c696e65 00000387: PUSH1 0x98 00000389: SHL 0000038a: PUSH1 0x44 0000038c: DUP3 0000038d: ADD 0000038e: MSTORE 0000038f: PUSH1 0x64 00000391: ADD 00000392: PUSH2 0x030e 00000395: JUMP 00000396: JUMPDEST 00000397: DUP2 00000398: PUSH1 0x06 0000039a: SLOAD 0000039b: PUSH2 0x03a4 0000039e: SWAP2 0000039f: SWAP1 000003a0: PUSH2 0x086d 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: EQ 000003a7: PUSH2 0x03f2 000003aa: JUMPI 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: PUSH3 0x461bcd 000003b2: PUSH1 0xe5 000003b4: SHL 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x20 000003b9: PUSH1 0x04 000003bb: DUP3 000003bc: ADD 000003bd: MSTORE 000003be: PUSH1 0x19 000003c0: PUSH1 0x24 000003c2: DUP3 000003c3: ADD 000003c4: MSTORE 000003c5: PUSH32 0x56616c75652073656e74206973206e6f7420636f727265637400000000000000 000003e6: PUSH1 0x44 000003e8: DUP3 000003e9: ADD 000003ea: MSTORE 000003eb: PUSH1 0x64 000003ed: ADD 000003ee: PUSH2 0x030e 000003f1: JUMP 000003f2: JUMPDEST 000003f3: DUP2 000003f4: PUSH1 0x05 000003f6: PUSH1 0x00 000003f8: DUP3 000003f9: DUP3 000003fa: SLOAD 000003fb: PUSH2 0x0404 000003fe: SWAP2 000003ff: SWAP1 00000400: PUSH2 0x0855 00000403: JUMP 00000404: JUMPDEST 00000405: SWAP1 00000406: SWAP2 00000407: SSTORE 00000408: POP 00000409: POP 0000040a: PUSH1 0x02 0000040c: SLOAD 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: PUSH4 0x5e315f8b 00000415: PUSH1 0xe0 00000417: SHL 00000418: DUP2 00000419: MSTORE 0000041a: PUSH1 0x01 0000041c: PUSH1 0x01 0000041e: PUSH1 0xa0 00000420: SHL 00000421: SUB 00000422: SWAP1 00000423: SWAP2 00000424: AND 00000425: SWAP1 00000426: PUSH4 0x5e315f8b 0000042b: SWAP1 0000042c: PUSH2 0x0440 0000042f: SWAP1 00000430: CALLER 00000431: SWAP1 00000432: PUSH1 0x07 00000434: SWAP1 00000435: DUP8 00000436: SWAP1 00000437: DUP8 00000438: SWAP1 00000439: PUSH1 0x04 0000043b: ADD 0000043c: PUSH2 0x07bf 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x00 00000443: PUSH1 0x40 00000445: MLOAD 00000446: DUP1 00000447: DUP4 00000448: SUB 00000449: DUP2 0000044a: PUSH1 0x00 0000044c: DUP8 0000044d: DUP1 0000044e: EXTCODESIZE 0000044f: ISZERO 00000450: DUP1 00000451: ISZERO 00000452: PUSH2 0x045a 00000455: JUMPI 00000456: PUSH1 0x00 00000458: DUP1 00000459: REVERT 0000045a: JUMPDEST 0000045b: POP 0000045c: GAS 0000045d: CALL 0000045e: ISZERO 0000045f: DUP1 00000460: ISZERO 00000461: PUSH2 0x046e 00000464: JUMPI 00000465: RETURNDATASIZE 00000466: PUSH1 0x00 00000468: DUP1 00000469: RETURNDATACOPY 0000046a: RETURNDATASIZE 0000046b: PUSH1 0x00 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: POP 00000474: POP 00000475: JUMP 00000476: JUMPDEST 00000477: CALLER 00000478: PUSH1 0x00 0000047a: SWAP1 0000047b: DUP2 0000047c: MSTORE 0000047d: PUSH1 0x01 0000047f: PUSH1 0x20 00000481: MSTORE 00000482: PUSH1 0x40 00000484: SWAP1 00000485: KECCAK256 00000486: SLOAD 00000487: PUSH1 0xff 00000489: AND 0000048a: PUSH2 0x04c1 0000048d: JUMPI 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: PUSH3 0x461bcd 00000495: PUSH1 0xe5 00000497: SHL 00000498: DUP2 00000499: MSTORE 0000049a: PUSH1 0x20 0000049c: PUSH1 0x04 0000049e: DUP3 0000049f: ADD 000004a0: MSTORE 000004a1: PUSH1 0x09 000004a3: PUSH1 0x24 000004a5: DUP3 000004a6: ADD 000004a7: MSTORE 000004a8: PUSH9 0x2737ba1020b236b4b7 000004b2: PUSH1 0xb9 000004b4: SHL 000004b5: PUSH1 0x44 000004b7: DUP3 000004b8: ADD 000004b9: MSTORE 000004ba: PUSH1 0x64 000004bc: ADD 000004bd: PUSH2 0x030e 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x40 000004c4: MLOAD 000004c5: SELFBALANCE 000004c6: SWAP1 000004c7: CALLER 000004c8: SWAP1 000004c9: DUP3 000004ca: ISZERO 000004cb: PUSH2 0x08fc 000004ce: MUL 000004cf: SWAP1 000004d0: DUP4 000004d1: SWAP1 000004d2: PUSH1 0x00 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: POP 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH1 0x00 000004f7: SLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0x01 000004fc: PUSH1 0xa0 000004fe: SHL 000004ff: SUB 00000500: AND 00000501: CALLER 00000502: EQ 00000503: PUSH2 0x051e 00000506: JUMPI 00000507: PUSH1 0x40 00000509: MLOAD 0000050a: PUSH3 0x461bcd 0000050e: PUSH1 0xe5 00000510: SHL 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x04 00000515: ADD 00000516: PUSH2 0x030e 00000519: SWAP1 0000051a: PUSH2 0x0832 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x01 00000521: PUSH1 0x01 00000523: PUSH1 0xa0 00000525: SHL 00000526: SUB 00000527: SWAP2 00000528: SWAP1 00000529: SWAP2 0000052a: AND 0000052b: PUSH1 0x00 0000052d: SWAP1 0000052e: DUP2 0000052f: MSTORE 00000530: PUSH1 0x01 00000532: PUSH1 0x20 00000534: MSTORE 00000535: PUSH1 0x40 00000537: SWAP1 00000538: KECCAK256 00000539: DUP1 0000053a: SLOAD 0000053b: PUSH1 0xff 0000053d: NOT 0000053e: AND 0000053f: SWAP2 00000540: ISZERO 00000541: ISZERO 00000542: SWAP2 00000543: SWAP1 00000544: SWAP2 00000545: OR 00000546: SWAP1 00000547: SSTORE 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x00 0000054c: SLOAD 0000054d: PUSH1 0x01 0000054f: PUSH1 0x01 00000551: PUSH1 0xa0 00000553: SHL 00000554: SUB 00000555: AND 00000556: CALLER 00000557: EQ 00000558: PUSH2 0x0573 0000055b: JUMPI 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: PUSH3 0x461bcd 00000563: PUSH1 0xe5 00000565: SHL 00000566: DUP2 00000567: MSTORE 00000568: PUSH1 0x04 0000056a: ADD 0000056b: PUSH2 0x030e 0000056e: SWAP1 0000056f: PUSH2 0x0832 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH1 0x03 00000576: SSTORE 00000577: JUMP 00000578: JUMPDEST 00000579: CALLER 0000057a: PUSH1 0x00 0000057c: SWAP1 0000057d: DUP2 0000057e: MSTORE 0000057f: PUSH1 0x01 00000581: PUSH1 0x20 00000583: MSTORE 00000584: PUSH1 0x40 00000586: SWAP1 00000587: KECCAK256 00000588: SLOAD 00000589: PUSH1 0xff 0000058b: AND 0000058c: PUSH2 0x05c3 0000058f: JUMPI 00000590: PUSH1 0x40 00000592: MLOAD 00000593: PUSH3 0x461bcd 00000597: PUSH1 0xe5 00000599: SHL 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: PUSH1 0x04 000005a0: DUP3 000005a1: ADD 000005a2: MSTORE 000005a3: PUSH1 0x09 000005a5: PUSH1 0x24 000005a7: DUP3 000005a8: ADD 000005a9: MSTORE 000005aa: PUSH9 0x2737ba1020b236b4b7 000005b4: PUSH1 0xb9 000005b6: SHL 000005b7: PUSH1 0x44 000005b9: DUP3 000005ba: ADD 000005bb: MSTORE 000005bc: PUSH1 0x64 000005be: ADD 000005bf: PUSH2 0x030e 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x06 000005c6: SSTORE 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x00 000005cb: SLOAD 000005cc: PUSH1 0x01 000005ce: PUSH1 0x01 000005d0: PUSH1 0xa0 000005d2: SHL 000005d3: SUB 000005d4: AND 000005d5: CALLER 000005d6: EQ 000005d7: PUSH2 0x05f2 000005da: JUMPI 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH3 0x461bcd 000005e2: PUSH1 0xe5 000005e4: SHL 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x04 000005e9: ADD 000005ea: PUSH2 0x030e 000005ed: SWAP1 000005ee: PUSH2 0x0832 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x04 000005f5: SSTORE 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH1 0x00 000005fa: SLOAD 000005fb: PUSH1 0x01 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: SHL 00000602: SUB 00000603: AND 00000604: CALLER 00000605: EQ 00000606: PUSH2 0x0621 00000609: JUMPI 0000060a: PUSH1 0x40 0000060c: MLOAD 0000060d: PUSH3 0x461bcd 00000611: PUSH1 0xe5 00000613: SHL 00000614: DUP2 00000615: MSTORE 00000616: PUSH1 0x04 00000618: ADD 00000619: PUSH2 0x030e 0000061c: SWAP1 0000061d: PUSH2 0x0832 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH1 0x00 00000624: DUP1 00000625: SLOAD 00000626: PUSH1 0x01 00000628: PUSH1 0x01 0000062a: PUSH1 0xa0 0000062c: SHL 0000062d: SUB 0000062e: DUP4 0000062f: DUP2 00000630: AND 00000631: PUSH1 0x01 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: SHL 00000638: SUB 00000639: NOT 0000063a: DUP4 0000063b: AND 0000063c: DUP2 0000063d: OR 0000063e: DUP5 0000063f: SSTORE 00000640: PUSH1 0x40 00000642: MLOAD 00000643: SWAP2 00000644: SWAP1 00000645: SWAP3 00000646: AND 00000647: SWAP3 00000648: DUP4 00000649: SWAP2 0000064a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000066b: SWAP2 0000066c: SWAP1 0000066d: LOG3 0000066e: POP 0000066f: POP 00000670: JUMP 00000671: JUMPDEST 00000672: DUP1 00000673: CALLDATALOAD 00000674: PUSH1 0x01 00000676: PUSH1 0x01 00000678: PUSH1 0xa0 0000067a: SHL 0000067b: SUB 0000067c: DUP2 0000067d: AND 0000067e: DUP2 0000067f: EQ 00000680: PUSH2 0x0688 00000683: JUMPI 00000684: PUSH1 0x00 00000686: DUP1 00000687: REVERT 00000688: JUMPDEST 00000689: SWAP2 0000068a: SWAP1 0000068b: POP 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x00 00000690: PUSH1 0x20 00000692: DUP3 00000693: DUP5 00000694: SUB 00000695: SLT 00000696: ISZERO 00000697: PUSH2 0x069f 0000069a: JUMPI 0000069b: PUSH1 0x00 0000069d: DUP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: PUSH2 0x06a8 000006a3: DUP3 000006a4: PUSH2 0x0671 000006a7: JUMP 000006a8: JUMPDEST 000006a9: SWAP4 000006aa: SWAP3 000006ab: POP 000006ac: POP 000006ad: POP 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH1 0x00 000006b2: DUP1 000006b3: PUSH1 0x40 000006b5: DUP4 000006b6: DUP6 000006b7: SUB 000006b8: SLT 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: PUSH2 0x06cb 000006c6: DUP4 000006c7: PUSH2 0x0671 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP2 000006cd: POP 000006ce: PUSH1 0x20 000006d0: DUP4 000006d1: ADD 000006d2: CALLDATALOAD 000006d3: DUP1 000006d4: ISZERO 000006d5: ISZERO 000006d6: DUP2 000006d7: EQ 000006d8: PUSH2 0x06e0 000006db: JUMPI 000006dc: PUSH1 0x00 000006de: DUP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: DUP1 000006e2: SWAP2 000006e3: POP 000006e4: POP 000006e5: SWAP3 000006e6: POP 000006e7: SWAP3 000006e8: SWAP1 000006e9: POP 000006ea: JUMP 000006eb: JUMPDEST 000006ec: PUSH1 0x00 000006ee: PUSH1 0x20 000006f0: DUP3 000006f1: DUP5 000006f2: SUB 000006f3: SLT 000006f4: ISZERO 000006f5: PUSH2 0x06fd 000006f8: JUMPI 000006f9: PUSH1 0x00 000006fb: DUP1 000006fc: REVERT 000006fd: JUMPDEST 000006fe: POP 000006ff: CALLDATALOAD 00000700: SWAP2 00000701: SWAP1 00000702: POP 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH1 0x00 00000707: DUP1 00000708: PUSH1 0x40 0000070a: DUP4 0000070b: DUP6 0000070c: SUB 0000070d: SLT 0000070e: ISZERO 0000070f: PUSH2 0x0717 00000712: JUMPI 00000713: PUSH1 0x00 00000715: DUP1 00000716: REVERT 00000717: JUMPDEST 00000718: DUP3 00000719: CALLDATALOAD 0000071a: SWAP2 0000071b: POP 0000071c: PUSH1 0x20 0000071e: DUP4 0000071f: ADD 00000720: CALLDATALOAD 00000721: PUSH8 0xffffffffffffffff 0000072a: DUP1 0000072b: DUP3 0000072c: GT 0000072d: ISZERO 0000072e: PUSH2 0x0736 00000731: JUMPI 00000732: PUSH1 0x00 00000734: DUP1 00000735: REVERT 00000736: JUMPDEST 00000737: DUP2 00000738: DUP6 00000739: ADD 0000073a: SWAP2 0000073b: POP 0000073c: DUP6 0000073d: PUSH1 0x1f 0000073f: DUP4 00000740: ADD 00000741: SLT 00000742: PUSH2 0x074a 00000745: JUMPI 00000746: PUSH1 0x00 00000748: DUP1 00000749: REVERT 0000074a: JUMPDEST 0000074b: DUP2 0000074c: CALLDATALOAD 0000074d: DUP2 0000074e: DUP2 0000074f: GT 00000750: ISZERO 00000751: PUSH2 0x075c 00000754: JUMPI 00000755: PUSH2 0x075c 00000758: PUSH2 0x08a2 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: PUSH1 0x1f 00000762: DUP3 00000763: ADD 00000764: PUSH1 0x1f 00000766: NOT 00000767: SWAP1 00000768: DUP2 00000769: AND 0000076a: PUSH1 0x3f 0000076c: ADD 0000076d: AND 0000076e: DUP2 0000076f: ADD 00000770: SWAP1 00000771: DUP4 00000772: DUP3 00000773: GT 00000774: DUP2 00000775: DUP4 00000776: LT 00000777: OR 00000778: ISZERO 00000779: PUSH2 0x0784 0000077c: JUMPI 0000077d: PUSH2 0x0784 00000780: PUSH2 0x08a2 00000783: JUMP 00000784: JUMPDEST 00000785: DUP2 00000786: PUSH1 0x40 00000788: MSTORE 00000789: DUP3 0000078a: DUP2 0000078b: MSTORE 0000078c: DUP9 0000078d: PUSH1 0x20 0000078f: DUP5 00000790: DUP8 00000791: ADD 00000792: ADD 00000793: GT 00000794: ISZERO 00000795: PUSH2 0x079d 00000798: JUMPI 00000799: PUSH1 0x00 0000079b: DUP1 0000079c: REVERT 0000079d: JUMPDEST 0000079e: DUP3 0000079f: PUSH1 0x20 000007a1: DUP7 000007a2: ADD 000007a3: PUSH1 0x20 000007a5: DUP4 000007a6: ADD 000007a7: CALLDATACOPY 000007a8: PUSH1 0x00 000007aa: PUSH1 0x20 000007ac: DUP5 000007ad: DUP4 000007ae: ADD 000007af: ADD 000007b0: MSTORE 000007b1: DUP1 000007b2: SWAP6 000007b3: POP 000007b4: POP 000007b5: POP 000007b6: POP 000007b7: POP 000007b8: POP 000007b9: SWAP3 000007ba: POP 000007bb: SWAP3 000007bc: SWAP1 000007bd: POP 000007be: JUMP 000007bf: JUMPDEST 000007c0: PUSH1 0x01 000007c2: DUP1 000007c3: PUSH1 0xa0 000007c5: SHL 000007c6: SUB 000007c7: DUP6 000007c8: AND 000007c9: DUP2 000007ca: MSTORE 000007cb: PUSH1 0x00 000007cd: PUSH1 0x20 000007cf: DUP6 000007d0: DUP2 000007d1: DUP5 000007d2: ADD 000007d3: MSTORE 000007d4: DUP5 000007d5: PUSH1 0x40 000007d7: DUP5 000007d8: ADD 000007d9: MSTORE 000007da: PUSH1 0x80 000007dc: PUSH1 0x60 000007de: DUP5 000007df: ADD 000007e0: MSTORE 000007e1: DUP4 000007e2: MLOAD 000007e3: DUP1 000007e4: PUSH1 0x80 000007e6: DUP6 000007e7: ADD 000007e8: MSTORE 000007e9: PUSH1 0x00 000007eb: JUMPDEST 000007ec: DUP2 000007ed: DUP2 000007ee: LT 000007ef: ISZERO 000007f0: PUSH2 0x0807 000007f3: JUMPI 000007f4: DUP6 000007f5: DUP2 000007f6: ADD 000007f7: DUP4 000007f8: ADD 000007f9: MLOAD 000007fa: DUP6 000007fb: DUP3 000007fc: ADD 000007fd: PUSH1 0xa0 000007ff: ADD 00000800: MSTORE 00000801: DUP3 00000802: ADD 00000803: PUSH2 0x07eb 00000806: JUMP 00000807: JUMPDEST 00000808: DUP2 00000809: DUP2 0000080a: GT 0000080b: ISZERO 0000080c: PUSH2 0x0819 0000080f: JUMPI 00000810: PUSH1 0x00 00000812: PUSH1 0xa0 00000814: DUP4 00000815: DUP8 00000816: ADD 00000817: ADD 00000818: MSTORE 00000819: JUMPDEST 0000081a: POP 0000081b: PUSH1 0x1f 0000081d: ADD 0000081e: PUSH1 0x1f 00000820: NOT 00000821: AND 00000822: SWAP3 00000823: SWAP1 00000824: SWAP3 00000825: ADD 00000826: PUSH1 0xa0 00000828: ADD 00000829: SWAP7 0000082a: SWAP6 0000082b: POP 0000082c: POP 0000082d: POP 0000082e: POP 0000082f: POP 00000830: POP 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x20 00000835: DUP1 00000836: DUP3 00000837: MSTORE 00000838: PUSH1 0x09 0000083a: SWAP1 0000083b: DUP3 0000083c: ADD 0000083d: MSTORE 0000083e: PUSH9 0x2737ba1027bbb732b9 00000848: PUSH1 0xb9 0000084a: SHL 0000084b: PUSH1 0x40 0000084d: DUP3 0000084e: ADD 0000084f: MSTORE 00000850: PUSH1 0x60 00000852: ADD 00000853: SWAP1 00000854: JUMP 00000855: JUMPDEST 00000856: PUSH1 0x00 00000858: DUP3 00000859: NOT 0000085a: DUP3 0000085b: GT 0000085c: ISZERO 0000085d: PUSH2 0x0868 00000860: JUMPI 00000861: PUSH2 0x0868 00000864: PUSH2 0x088c 00000867: JUMP 00000868: JUMPDEST 00000869: POP 0000086a: ADD 0000086b: SWAP1 0000086c: JUMP 0000086d: JUMPDEST 0000086e: PUSH1 0x00 00000870: DUP2 00000871: PUSH1 0x00 00000873: NOT 00000874: DIV 00000875: DUP4 00000876: GT 00000877: DUP3 00000878: ISZERO 00000879: ISZERO 0000087a: AND 0000087b: ISZERO 0000087c: PUSH2 0x0887 0000087f: JUMPI 00000880: PUSH2 0x0887 00000883: PUSH2 0x088c 00000886: JUMP 00000887: JUMPDEST 00000888: POP 00000889: MUL 0000088a: SWAP1 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH4 0x4e487b71 00000892: PUSH1 0xe0 00000894: SHL 00000895: PUSH1 0x00 00000897: MSTORE 00000898: PUSH1 0x11 0000089a: PUSH1 0x04 0000089c: MSTORE 0000089d: PUSH1 0x24 0000089f: PUSH1 0x00 000008a1: REVERT 000008a2: JUMPDEST 000008a3: PUSH4 0x4e487b71 000008a8: PUSH1 0xe0 000008aa: SHL 000008ab: PUSH1 0x00 000008ad: MSTORE 000008ae: PUSH1 0x41 000008b0: PUSH1 0x04 000008b2: MSTORE 000008b3: PUSH1 0x24 000008b5: PUSH1 0x00 000008b7: REVERT 000008b8: INVALID 000008b9: LOG2 000008ba: PUSH5 0x6970667358 000008c0: UNKNOWN(0x22) 000008c1: SLT 000008c2: KECCAK256 000008c3: EXTCODEHASH 000008c4: UNKNOWN(0xDE) 000008c5: PUSH7 0x3d5b8c344d9f18 000008cd: MSIZE 000008ce: UNKNOWN(0x4D) 000008cf: UNKNOWN(0xB5) 000008d0: UNKNOWN(0xEF) 000008d1: PUSH9 0x99e7eb34c251617bad 000008db: MSIZE 000008dc: UNKNOWN(0xDA) 000008dd: UNKNOWN(0x4B) 000008de: UNKNOWN(0xC0) 000008df: XOR 000008e0: UNKNOWN(0xDD) 000008e1: UNKNOWN(0xF8) 000008e2: UNKNOWN(0xCF) 000008e3: PUSH5 0x736f6c6343 000008e9: STOP 000008ea: ADDMOD 000008eb: SMOD 000008ec: STOP 000008ed: CALLER
| 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": "0xc2412676",
"selector": "0xc2412676",
"calldata_variants": [
"0xc2412676",
"0xc24126760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb8c478a",
"selector": "0xcb8c478a",
"calldata_variants": [
"0xcb8c478a",
"0xcb8c478a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xccb98ffc",
"selector": "0xccb98ffc",
"calldata_variants": [
"0xccb98ffc",
"0xccb98ffc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89a89002",
"selector": "0x89a89002",
"calldata_variants": [
"0x89a89002",
"0x89a890020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b7f5ed",
"selector": "0x91b7f5ed",
"calldata_variants": [
"0x91b7f5ed",
"0x91b7f5ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf1f577b",
"selector": "0xbf1f577b",
"calldata_variants": [
"0xbf1f577b",
"0xbf1f577b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 722,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6f6f63d2233ca5a24ba2e9fa31ea947dd6adcceae87f33a7f649ad7eb389afb0
call_targets:
0xe3da7202d29ea0ed6b48aa817981687ef581949a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6f6f63d2233ca5a24ba2e9fa31ea947dd6adcceae87f33a7f649ad7eb389afb0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe3da7202d29ea0ed6b48aa817981687ef581949a"
],
"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": "0xc2412676",
"selector": "0xc2412676",
"calldata_variants": [
"0xc2412676",
"0xc24126760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb8c478a",
"selector": "0xcb8c478a",
"calldata_variants": [
"0xcb8c478a",
"0xcb8c478a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xccb98ffc",
"selector": "0xccb98ffc",
"calldata_variants": [
"0xccb98ffc",
"0xccb98ffc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89a89002",
"selector": "0x89a89002",
"calldata_variants": [
"0x89a89002",
"0x89a890020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b7f5ed",
"selector": "0x91b7f5ed",
"calldata_variants": [
"0x91b7f5ed",
"0x91b7f5ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf1f577b",
"selector": "0xbf1f577b",
"calldata_variants": [
"0xbf1f577b",
"0xbf1f577b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1117,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"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": [
{
"pc": 722,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6f6f63d2233ca5a24ba2e9fa31ea947dd6adcceae87f33a7f649ad7eb389afb0
call_targets:
0xe3da7202d29ea0ed6b48aa817981687ef581949a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6f6f63d2233ca5a24ba2e9fa31ea947dd6adcceae87f33a7f649ad7eb389afb0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe3da7202d29ea0ed6b48aa817981687ef581949a"
],
"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": "0xc2412676",
"selector": "0xc2412676",
"calldata_variants": [
"0xc2412676",
"0xc24126760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb8c478a",
"selector": "0xcb8c478a",
"calldata_variants": [
"0xcb8c478a",
"0xcb8c478a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xccb98ffc",
"selector": "0xccb98ffc",
"calldata_variants": [
"0xccb98ffc",
"0xccb98ffc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89a89002",
"selector": "0x89a89002",
"calldata_variants": [
"0x89a89002",
"0x89a890020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91b7f5ed",
"selector": "0x91b7f5ed",
"calldata_variants": [
"0x91b7f5ed",
"0x91b7f5ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf1f577b",
"selector": "0xbf1f577b",
"calldata_variants": [
"0xbf1f577b",
"0xbf1f577b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1117,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 722,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|