019b3836-37df-7352-8fc2-47a7fb3682dd
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 |
|---|---|---|---|---|
| 3825 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3826 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 105237 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 105238 | capability.graph | complete | 1 / 3 | 1 week ago |
| 105239 | detector.run | complete | 1 / 3 | 1 week ago |
| 105240 | validation.fork | complete | 1 / 3 | 1 week 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 0x0061 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x092a1820 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x006c 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x13af4035 00000025: EQ 00000026: PUSH2 0x00cd 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x8da5cb5b 00000030: EQ 00000031: PUSH2 0x0100 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x9003adfe 0000003b: EQ 0000003c: PUSH2 0x0112 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xa60f3588 00000046: EQ 00000047: PUSH2 0x011b 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xb69ef8a8 00000051: EQ 00000052: PUSH2 0x0124 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xe97dcb62 0000005c: EQ 0000005d: PUSH2 0x012d 00000060: JUMPI 00000061: JUMPDEST 00000062: PUSH2 0x018c 00000065: PUSH2 0x018e 00000068: PUSH2 0x0131 0000006b: JUMP 0000006c: JUMPDEST 0000006d: PUSH2 0x0190 00000070: PUSH1 0x04 00000072: CALLDATALOAD 00000073: PUSH1 0x00 00000075: DUP1 00000076: SLOAD 00000077: DUP3 00000078: SWAP1 00000079: DUP2 0000007a: LT 0000007b: ISZERO 0000007c: PUSH2 0x0002 0000007f: JUMPI 00000080: POP 00000081: DUP1 00000082: MSTORE 00000083: PUSH1 0x02 00000085: MUL 00000086: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 000000a7: DUP2 000000a8: ADD 000000a9: SLOAD 000000aa: PUSH1 0x00 000000ac: DUP1 000000ad: MLOAD 000000ae: PUSH1 0x20 000000b0: PUSH2 0x03d8 000000b3: DUP4 000000b4: CODECOPY 000000b5: DUP2 000000b6: MLOAD 000000b7: SWAP2 000000b8: MSTORE 000000b9: SWAP2 000000ba: SWAP1 000000bb: SWAP2 000000bc: ADD 000000bd: SLOAD 000000be: PUSH1 0x01 000000c0: PUSH1 0xa0 000000c2: PUSH1 0x02 000000c4: EXP 000000c5: SUB 000000c6: SWAP2 000000c7: SWAP1 000000c8: SWAP2 000000c9: AND 000000ca: SWAP1 000000cb: DUP3 000000cc: JUMP 000000cd: JUMPDEST 000000ce: PUSH2 0x018c 000000d1: PUSH1 0x04 000000d3: CALLDATALOAD 000000d4: PUSH1 0x04 000000d6: SLOAD 000000d7: CALLER 000000d8: PUSH1 0x01 000000da: PUSH1 0xa0 000000dc: PUSH1 0x02 000000de: EXP 000000df: SUB 000000e0: SWAP1 000000e1: DUP2 000000e2: AND 000000e3: SWAP2 000000e4: AND 000000e5: EQ 000000e6: ISZERO 000000e7: PUSH2 0x00fd 000000ea: JUMPI 000000eb: PUSH1 0x04 000000ed: DUP1 000000ee: SLOAD 000000ef: PUSH1 0x01 000000f1: PUSH1 0xa0 000000f3: PUSH1 0x02 000000f5: EXP 000000f6: SUB 000000f7: NOT 000000f8: AND 000000f9: DUP3 000000fa: OR 000000fb: SWAP1 000000fc: SSTORE 000000fd: JUMPDEST 000000fe: POP 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH2 0x01b6 00000104: PUSH1 0x04 00000106: SLOAD 00000107: PUSH1 0x01 00000109: PUSH1 0xa0 0000010b: PUSH1 0x02 0000010d: EXP 0000010e: SUB 0000010f: AND 00000110: DUP2 00000111: JUMP 00000112: JUMPDEST 00000113: PUSH2 0x01d3 00000116: PUSH1 0x02 00000118: SLOAD 00000119: DUP2 0000011a: JUMP 0000011b: JUMPDEST 0000011c: PUSH2 0x01d3 0000011f: PUSH1 0x01 00000121: SLOAD 00000122: DUP2 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH2 0x01d3 00000128: PUSH1 0x03 0000012a: SLOAD 0000012b: DUP2 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH2 0x018c 00000131: JUMPDEST 00000132: PUSH1 0x00 00000134: DUP1 00000135: SLOAD 00000136: PUSH1 0x01 00000138: DUP2 00000139: ADD 0000013a: DUP1 0000013b: DUP4 0000013c: SSTORE 0000013d: SWAP1 0000013e: SWAP2 0000013f: SWAP1 00000140: DUP2 00000141: DUP2 00000142: DUP5 00000143: DUP1 00000144: ISZERO 00000145: DUP3 00000146: SWAP1 00000147: GT 00000148: PUSH2 0x01e5 0000014b: JUMPI 0000014c: PUSH1 0x02 0000014e: MUL 0000014f: DUP2 00000150: PUSH1 0x02 00000152: MUL 00000153: DUP4 00000154: PUSH1 0x00 00000156: MSTORE 00000157: PUSH1 0x20 00000159: PUSH1 0x00 0000015b: KECCAK256 0000015c: SWAP2 0000015d: DUP3 0000015e: ADD 0000015f: SWAP2 00000160: ADD 00000161: PUSH2 0x01e5 00000164: SWAP2 00000165: SWAP1 00000166: JUMPDEST 00000167: DUP1 00000168: DUP3 00000169: GT 0000016a: ISZERO 0000016b: PUSH2 0x029f 0000016e: JUMPI 0000016f: DUP1 00000170: SLOAD 00000171: PUSH1 0x01 00000173: PUSH1 0xa0 00000175: PUSH1 0x02 00000177: EXP 00000178: SUB 00000179: NOT 0000017a: AND 0000017b: DUP2 0000017c: SSTORE 0000017d: PUSH1 0x00 0000017f: PUSH1 0x01 00000181: SWAP2 00000182: SWAP1 00000183: SWAP2 00000184: ADD 00000185: SWAP1 00000186: DUP2 00000187: SSTORE 00000188: PUSH2 0x0166 0000018b: JUMP 0000018c: JUMPDEST 0000018d: STOP 0000018e: JUMPDEST 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH1 0x40 00000193: MLOAD 00000194: DUP1 00000195: DUP4 00000196: PUSH1 0x01 00000198: PUSH1 0xa0 0000019a: PUSH1 0x02 0000019c: EXP 0000019d: SUB 0000019e: AND 0000019f: DUP2 000001a0: MSTORE 000001a1: PUSH1 0x20 000001a3: ADD 000001a4: DUP3 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP3 000001ab: POP 000001ac: POP 000001ad: POP 000001ae: PUSH1 0x40 000001b0: MLOAD 000001b1: DUP1 000001b2: SWAP2 000001b3: SUB 000001b4: SWAP1 000001b5: RETURN 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: DUP1 000001ba: MLOAD 000001bb: PUSH1 0x01 000001bd: PUSH1 0xa0 000001bf: PUSH1 0x02 000001c1: EXP 000001c2: SUB 000001c3: SWAP3 000001c4: SWAP1 000001c5: SWAP3 000001c6: AND 000001c7: DUP3 000001c8: MSTORE 000001c9: MLOAD 000001ca: SWAP1 000001cb: DUP2 000001cc: SWAP1 000001cd: SUB 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: SWAP1 000001d2: RETURN 000001d3: JUMPDEST 000001d4: PUSH1 0x40 000001d6: DUP1 000001d7: MLOAD 000001d8: SWAP2 000001d9: DUP3 000001da: MSTORE 000001db: MLOAD 000001dc: SWAP1 000001dd: DUP2 000001de: SWAP1 000001df: SUB 000001e0: PUSH1 0x20 000001e2: ADD 000001e3: SWAP1 000001e4: RETURN 000001e5: JUMPDEST 000001e6: POP 000001e7: POP 000001e8: POP 000001e9: POP 000001ea: CALLER 000001eb: PUSH1 0x00 000001ed: PUSH1 0x00 000001ef: POP 000001f0: DUP4 000001f1: DUP2 000001f2: SLOAD 000001f3: DUP2 000001f4: LT 000001f5: ISZERO 000001f6: PUSH2 0x0002 000001f9: JUMPI 000001fa: DUP2 000001fb: DUP1 000001fc: MSTORE 000001fd: PUSH1 0x02 000001ff: MUL 00000200: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 00000221: ADD 00000222: DUP1 00000223: SLOAD 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: PUSH1 0x02 0000022a: EXP 0000022b: SUB 0000022c: NOT 0000022d: AND 0000022e: SWAP1 0000022f: SWAP3 00000230: OR 00000231: SWAP1 00000232: SWAP2 00000233: SSTORE 00000234: DUP1 00000235: SLOAD 00000236: CALLVALUE 00000237: SWAP2 00000238: SWAP1 00000239: DUP5 0000023a: SWAP1 0000023b: DUP2 0000023c: LT 0000023d: ISZERO 0000023e: PUSH2 0x0002 00000241: JUMPI 00000242: PUSH1 0x02 00000244: MUL 00000245: PUSH1 0x00 00000247: DUP1 00000248: MLOAD 00000249: PUSH1 0x20 0000024b: PUSH2 0x03d8 0000024e: DUP4 0000024f: CODECOPY 00000250: DUP2 00000251: MLOAD 00000252: SWAP2 00000253: MSTORE 00000254: ADD 00000255: SWAP2 00000256: SWAP1 00000257: SWAP2 00000258: SSTORE 00000259: DUP3 0000025a: EQ 0000025b: PUSH2 0x02a3 0000025e: JUMPI 0000025f: PUSH1 0x0a 00000261: CALLVALUE 00000262: DIV 00000263: PUSH1 0x02 00000265: DUP2 00000266: SWAP1 00000267: SSTORE 00000268: PUSH1 0x04 0000026a: SLOAD 0000026b: PUSH1 0x40 0000026d: MLOAD 0000026e: PUSH1 0x01 00000270: PUSH1 0xa0 00000272: PUSH1 0x02 00000274: EXP 00000275: SUB 00000276: SWAP2 00000277: SWAP1 00000278: SWAP2 00000279: AND 0000027a: SWAP2 0000027b: PUSH1 0x00 0000027d: SWAP2 0000027e: DUP3 0000027f: DUP2 00000280: DUP2 00000281: DUP2 00000282: DUP6 00000283: DUP9 00000284: DUP4 00000285: CALL 00000286: POP 00000287: POP 00000288: POP 00000289: PUSH1 0x02 0000028b: SSTORE 0000028c: POP 0000028d: PUSH1 0x03 0000028f: DUP1 00000290: SLOAD 00000291: PUSH1 0x0a 00000293: PUSH1 0x09 00000295: CALLVALUE 00000296: MUL 00000297: DIV 00000298: ADD 00000299: SWAP1 0000029a: SSTORE 0000029b: PUSH2 0x02a8 0000029e: JUMP 0000029f: JUMPDEST 000002a0: POP 000002a1: SWAP1 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: PUSH1 0x03 000002a7: SSTORE 000002a8: JUMPDEST 000002a9: PUSH1 0x01 000002ab: SLOAD 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: SLOAD 000002b0: PUSH1 0x05 000002b2: SWAP3 000002b3: SWAP1 000002b4: DUP2 000002b5: LT 000002b6: ISZERO 000002b7: PUSH2 0x0002 000002ba: JUMPI 000002bb: SWAP1 000002bc: DUP1 000002bd: MSTORE 000002be: PUSH1 0x03 000002c0: SLOAD 000002c1: PUSH1 0x02 000002c3: SWAP2 000002c4: SWAP1 000002c5: SWAP2 000002c6: MUL 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: MLOAD 000002cb: PUSH1 0x20 000002cd: PUSH2 0x03d8 000002d0: DUP4 000002d1: CODECOPY 000002d2: DUP2 000002d3: MLOAD 000002d4: SWAP2 000002d5: MSTORE 000002d6: ADD 000002d7: SLOAD 000002d8: PUSH1 0x07 000002da: MUL 000002db: SWAP2 000002dc: SWAP1 000002dd: SWAP2 000002de: DIV 000002df: SWAP1 000002e0: GT 000002e1: ISZERO 000002e2: PUSH2 0x03d4 000002e5: JUMPI 000002e6: PUSH1 0x01 000002e8: SLOAD 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: SLOAD 000002ed: PUSH1 0x0a 000002ef: SWAP3 000002f0: SWAP1 000002f1: DUP2 000002f2: LT 000002f3: ISZERO 000002f4: PUSH2 0x0002 000002f7: JUMPI 000002f8: PUSH1 0x01 000002fa: SLOAD 000002fb: DUP3 000002fc: SLOAD 000002fd: PUSH1 0x02 000002ff: SWAP3 00000300: SWAP1 00000301: SWAP3 00000302: MUL 00000303: PUSH1 0x00 00000305: DUP1 00000306: MLOAD 00000307: PUSH1 0x20 00000309: PUSH2 0x03d8 0000030c: DUP4 0000030d: CODECOPY 0000030e: DUP2 0000030f: MLOAD 00000310: SWAP2 00000311: MSTORE 00000312: ADD 00000313: SLOAD 00000314: SWAP4 00000315: SWAP1 00000316: SWAP4 00000317: DIV 00000318: SWAP3 00000319: SWAP1 0000031a: DUP2 0000031b: LT 0000031c: ISZERO 0000031d: PUSH2 0x0002 00000320: JUMPI 00000321: PUSH1 0x01 00000323: SLOAD 00000324: DUP3 00000325: SLOAD 00000326: PUSH1 0x02 00000328: SWAP3 00000329: SWAP1 0000032a: SWAP3 0000032b: MUL 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: MLOAD 00000330: PUSH1 0x20 00000332: PUSH2 0x03d8 00000335: DUP4 00000336: CODECOPY 00000337: DUP2 00000338: MLOAD 00000339: SWAP2 0000033a: MSTORE 0000033b: ADD 0000033c: SLOAD 0000033d: SWAP4 0000033e: SWAP1 0000033f: SWAP4 00000340: SUB 00000341: SWAP4 00000342: POP 00000343: SWAP1 00000344: SWAP2 00000345: SWAP1 00000346: DUP2 00000347: LT 00000348: ISZERO 00000349: PUSH2 0x0002 0000034c: JUMPI 0000034d: PUSH1 0x40 0000034f: MLOAD 00000350: PUSH1 0x02 00000352: SWAP2 00000353: SWAP1 00000354: SWAP2 00000355: MUL 00000356: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 00000377: ADD 00000378: SLOAD 00000379: PUSH1 0x01 0000037b: PUSH1 0xa0 0000037d: PUSH1 0x02 0000037f: EXP 00000380: SUB 00000381: AND 00000382: SWAP2 00000383: SWAP1 00000384: DUP4 00000385: SWAP1 00000386: DUP3 00000387: DUP2 00000388: DUP2 00000389: DUP2 0000038a: DUP6 0000038b: DUP9 0000038c: DUP4 0000038d: CALL 0000038e: POP 0000038f: POP 00000390: PUSH1 0x01 00000392: SLOAD 00000393: DUP3 00000394: SLOAD 00000395: PUSH1 0x05 00000397: SWAP5 00000398: POP 00000399: SWAP1 0000039a: SWAP2 0000039b: POP 0000039c: DUP2 0000039d: LT 0000039e: ISZERO 0000039f: PUSH2 0x0002 000003a2: JUMPI 000003a3: SWAP1 000003a4: DUP1 000003a5: MSTORE 000003a6: PUSH1 0x03 000003a8: DUP1 000003a9: SLOAD 000003aa: PUSH1 0x02 000003ac: SWAP3 000003ad: SWAP1 000003ae: SWAP3 000003af: MUL 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: MLOAD 000003b4: PUSH1 0x20 000003b6: PUSH2 0x03d8 000003b9: DUP4 000003ba: CODECOPY 000003bb: DUP2 000003bc: MLOAD 000003bd: SWAP2 000003be: MSTORE 000003bf: ADD 000003c0: SLOAD 000003c1: PUSH1 0x07 000003c3: MUL 000003c4: SWAP3 000003c5: SWAP1 000003c6: SWAP3 000003c7: DIV 000003c8: SWAP1 000003c9: SUB 000003ca: SWAP1 000003cb: SSTORE 000003cc: PUSH1 0x01 000003ce: DUP1 000003cf: SLOAD 000003d0: DUP2 000003d1: ADD 000003d2: SWAP1 000003d3: SSTORE 000003d4: JUMPDEST 000003d5: POP 000003d6: POP 000003d7: JUMP 000003d8: UNKNOWN(0x29) 000003d9: UNKNOWN(0x0D) 000003da: UNKNOWN(0xEC) 000003db: UNKNOWN(0xD9) 000003dc: SLOAD 000003dd: DUP12 000003de: PUSH3 0xa8d603 000003e2: GASLIMIT 000003e3: UNKNOWN(0xA9) 000003e4: DUP9 000003e5: CODESIZE 000003e6: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 000003f7: PUSH5
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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1320e683dd733ae0fbe6af26c2d86169d1d832593d1e7df6996b628344904d63
call_targets:
0xfe3672eff595cfd36ed05aaf4622d1aec3b5e852
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1320e683dd733ae0fbe6af26c2d86169d1d832593d1e7df6996b628344904d63",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfe3672eff595cfd36ed05aaf4622d1aec3b5e852"
],
"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": "0x092a1820",
"selector": "0x092a1820",
"calldata_variants": [
"0x092a1820",
"0x092a18200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9003adfe",
"selector": "0x9003adfe",
"calldata_variants": [
"0x9003adfe",
"0x9003adfe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa60f3588",
"selector": "0xa60f3588",
"calldata_variants": [
"0xa60f3588",
"0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97dcb62",
"selector": "0xe97dcb62",
"calldata_variants": [
"0xe97dcb62",
"0xe97dcb620000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 645,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 909,
"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: 0x1320e683dd733ae0fbe6af26c2d86169d1d832593d1e7df6996b628344904d63
call_targets:
0xfe3672eff595cfd36ed05aaf4622d1aec3b5e852
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1320e683dd733ae0fbe6af26c2d86169d1d832593d1e7df6996b628344904d63",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfe3672eff595cfd36ed05aaf4622d1aec3b5e852"
],
"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": "0x092a1820",
"selector": "0x092a1820",
"calldata_variants": [
"0x092a1820",
"0x092a18200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9003adfe",
"selector": "0x9003adfe",
"calldata_variants": [
"0x9003adfe",
"0x9003adfe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa60f3588",
"selector": "0xa60f3588",
"calldata_variants": [
"0xa60f3588",
"0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97dcb62",
"selector": "0xe97dcb62",
"calldata_variants": [
"0xe97dcb62",
"0xe97dcb620000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 645,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 909,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|