019b477e-bab3-72fc-b70f-981f4a9032f3
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 |
|---|---|---|---|---|
| 23783 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23784 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90105 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 90106 | capability.graph | complete | 1 / 3 | 1 week ago |
| 90107 | detector.run | complete | 1 / 3 | 1 week ago |
| 90108 | validation.fork | complete | 1 / 3 | 1 week 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 0x0077 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x3ad06d16 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00c2 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x54fd4d50 00000046: EQ 00000047: PUSH2 0x00e8 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5c60da1b 00000051: EQ 00000052: PUSH2 0x010f 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x6fde8202 0000005c: EQ 0000005d: PUSH2 0x0140 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xa9c45fcb 00000067: EQ 00000068: PUSH2 0x0155 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xf1739cae 00000072: EQ 00000073: PUSH2 0x0179 00000076: JUMPI 00000077: JUMPDEST 00000078: PUSH1 0x00 0000007a: PUSH2 0x0081 0000007d: PUSH2 0x019a 00000080: JUMP 00000081: JUMPDEST 00000082: SWAP1 00000083: POP 00000084: PUSH1 0x01 00000086: PUSH1 0xa0 00000088: PUSH1 0x02 0000008a: EXP 0000008b: SUB 0000008c: DUP2 0000008d: AND 0000008e: ISZERO 0000008f: ISZERO 00000090: PUSH2 0x0098 00000093: JUMPI 00000094: PUSH1 0x00 00000096: DUP1 00000097: REVERT 00000098: JUMPDEST 00000099: PUSH1 0x40 0000009b: MLOAD 0000009c: CALLDATASIZE 0000009d: PUSH1 0x00 0000009f: DUP3 000000a0: CALLDATACOPY 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: CALLDATASIZE 000000a5: DUP4 000000a6: DUP6 000000a7: GAS 000000a8: DELEGATECALL 000000a9: RETURNDATASIZE 000000aa: DUP3 000000ab: ADD 000000ac: PUSH1 0x40 000000ae: MSTORE 000000af: RETURNDATASIZE 000000b0: PUSH1 0x00 000000b2: DUP4 000000b3: RETURNDATACOPY 000000b4: DUP1 000000b5: DUP1 000000b6: ISZERO 000000b7: PUSH2 0x00be 000000ba: JUMPI 000000bb: RETURNDATASIZE 000000bc: DUP4 000000bd: RETURN 000000be: JUMPDEST 000000bf: RETURNDATASIZE 000000c0: DUP4 000000c1: REVERT 000000c2: JUMPDEST 000000c3: CALLVALUE 000000c4: DUP1 000000c5: ISZERO 000000c6: PUSH2 0x00ce 000000c9: JUMPI 000000ca: PUSH1 0x00 000000cc: DUP1 000000cd: REVERT 000000ce: JUMPDEST 000000cf: POP 000000d0: PUSH2 0x00e6 000000d3: PUSH1 0x04 000000d5: CALLDATALOAD 000000d6: PUSH1 0x01 000000d8: PUSH1 0xa0 000000da: PUSH1 0x02 000000dc: EXP 000000dd: SUB 000000de: PUSH1 0x24 000000e0: CALLDATALOAD 000000e1: AND 000000e2: PUSH2 0x01a9 000000e5: JUMP 000000e6: JUMPDEST 000000e7: STOP 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: DUP1 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: PUSH2 0x00fd 000000f9: PUSH2 0x01d3 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH1 0x40 00000100: DUP1 00000101: MLOAD 00000102: SWAP2 00000103: DUP3 00000104: MSTORE 00000105: MLOAD 00000106: SWAP1 00000107: DUP2 00000108: SWAP1 00000109: SUB 0000010a: PUSH1 0x20 0000010c: ADD 0000010d: SWAP1 0000010e: RETURN 0000010f: JUMPDEST 00000110: CALLVALUE 00000111: DUP1 00000112: ISZERO 00000113: PUSH2 0x011b 00000116: JUMPI 00000117: PUSH1 0x00 00000119: DUP1 0000011a: REVERT 0000011b: JUMPDEST 0000011c: POP 0000011d: PUSH2 0x0124 00000120: PUSH2 0x019a 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH1 0x40 00000127: DUP1 00000128: MLOAD 00000129: PUSH1 0x01 0000012b: PUSH1 0xa0 0000012d: PUSH1 0x02 0000012f: EXP 00000130: SUB 00000131: SWAP1 00000132: SWAP3 00000133: AND 00000134: DUP3 00000135: MSTORE 00000136: MLOAD 00000137: SWAP1 00000138: DUP2 00000139: SWAP1 0000013a: SUB 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: SWAP1 0000013f: RETURN 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 0x0124 00000151: PUSH2 0x01d9 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH2 0x00e6 00000159: PUSH1 0x04 0000015b: DUP1 0000015c: CALLDATALOAD 0000015d: SWAP1 0000015e: PUSH1 0x24 00000160: DUP1 00000161: CALLDATALOAD 00000162: PUSH1 0x01 00000164: PUSH1 0xa0 00000166: PUSH1 0x02 00000168: EXP 00000169: SUB 0000016a: AND 0000016b: SWAP2 0000016c: PUSH1 0x44 0000016e: CALLDATALOAD 0000016f: SWAP2 00000170: DUP3 00000171: ADD 00000172: SWAP2 00000173: ADD 00000174: CALLDATALOAD 00000175: PUSH2 0x01e8 00000178: JUMP 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x00e6 0000018a: PUSH1 0x01 0000018c: PUSH1 0xa0 0000018e: PUSH1 0x02 00000190: EXP 00000191: SUB 00000192: PUSH1 0x04 00000194: CALLDATALOAD 00000195: AND 00000196: PUSH2 0x0250 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x08 0000019d: SLOAD 0000019e: PUSH1 0x01 000001a0: PUSH1 0xa0 000001a2: PUSH1 0x02 000001a4: EXP 000001a5: SUB 000001a6: AND 000001a7: SWAP1 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH2 0x01b1 000001ad: PUSH2 0x01d9 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x01 000001b4: PUSH1 0xa0 000001b6: PUSH1 0x02 000001b8: EXP 000001b9: SUB 000001ba: AND 000001bb: CALLER 000001bc: EQ 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: PUSH2 0x01cf 000001c9: DUP3 000001ca: DUP3 000001cb: PUSH2 0x02d8 000001ce: JUMP 000001cf: JUMPDEST 000001d0: POP 000001d1: POP 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH1 0x07 000001d6: SLOAD 000001d7: SWAP1 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH1 0x06 000001dc: SLOAD 000001dd: PUSH1 0x01 000001df: PUSH1 0xa0 000001e1: PUSH1 0x02 000001e3: EXP 000001e4: SUB 000001e5: AND 000001e6: SWAP1 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH2 0x01f0 000001ec: PUSH2 0x01d9 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x01 000001f3: PUSH1 0xa0 000001f5: PUSH1 0x02 000001f7: EXP 000001f8: SUB 000001f9: AND 000001fa: CALLER 000001fb: EQ 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: PUSH2 0x020e 00000208: DUP5 00000209: DUP5 0000020a: PUSH2 0x01a9 0000020d: JUMP 0000020e: JUMPDEST 0000020f: ADDRESS 00000210: PUSH1 0x01 00000212: PUSH1 0xa0 00000214: PUSH1 0x02 00000216: EXP 00000217: SUB 00000218: AND 00000219: CALLVALUE 0000021a: DUP4 0000021b: DUP4 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: DUP1 00000220: DUP4 00000221: DUP4 00000222: DUP1 00000223: DUP3 00000224: DUP5 00000225: CALLDATACOPY 00000226: DUP3 00000227: ADD 00000228: SWAP2 00000229: POP 0000022a: POP 0000022b: SWAP3 0000022c: POP 0000022d: POP 0000022e: POP 0000022f: PUSH1 0x00 00000231: PUSH1 0x40 00000233: MLOAD 00000234: DUP1 00000235: DUP4 00000236: SUB 00000237: DUP2 00000238: DUP6 00000239: DUP8 0000023a: GAS 0000023b: CALL 0000023c: SWAP3 0000023d: POP 0000023e: POP 0000023f: POP 00000240: ISZERO 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH2 0x0258 00000254: PUSH2 0x01d9 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x01 0000025b: PUSH1 0xa0 0000025d: PUSH1 0x02 0000025f: EXP 00000260: SUB 00000261: AND 00000262: CALLER 00000263: EQ 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: PUSH1 0x01 0000026f: PUSH1 0xa0 00000271: PUSH1 0x02 00000273: EXP 00000274: SUB 00000275: DUP2 00000276: AND 00000277: ISZERO 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: PUSH32 0x5a3e66efaa1e445ebd894728a69d6959842ea1e97bd79b892797106e270efcd9 000002a3: PUSH2 0x02aa 000002a6: PUSH2 0x01d9 000002a9: JUMP 000002aa: JUMPDEST 000002ab: PUSH1 0x40 000002ad: DUP1 000002ae: MLOAD 000002af: PUSH1 0x01 000002b1: PUSH1 0xa0 000002b3: PUSH1 0x02 000002b5: EXP 000002b6: SUB 000002b7: SWAP3 000002b8: DUP4 000002b9: AND 000002ba: DUP2 000002bb: MSTORE 000002bc: SWAP2 000002bd: DUP5 000002be: AND 000002bf: PUSH1 0x20 000002c1: DUP4 000002c2: ADD 000002c3: MSTORE 000002c4: DUP1 000002c5: MLOAD 000002c6: SWAP2 000002c7: DUP3 000002c8: SWAP1 000002c9: SUB 000002ca: ADD 000002cb: SWAP1 000002cc: LOG1 000002cd: PUSH2 0x02d5 000002d0: DUP2 000002d1: PUSH2 0x037d 000002d4: JUMP 000002d5: JUMPDEST 000002d6: POP 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x08 000002db: SLOAD 000002dc: PUSH1 0x01 000002de: PUSH1 0xa0 000002e0: PUSH1 0x02 000002e2: EXP 000002e3: SUB 000002e4: DUP3 000002e5: DUP2 000002e6: AND 000002e7: SWAP2 000002e8: AND 000002e9: EQ 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH2 0x02fc 000002f7: DUP2 000002f8: PUSH2 0x03ac 000002fb: JUMP 000002fc: JUMPDEST 000002fd: ISZERO 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: PUSH1 0x07 0000030a: SLOAD 0000030b: DUP3 0000030c: GT 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH1 0x07 00000318: DUP3 00000319: SWAP1 0000031a: SSTORE 0000031b: PUSH1 0x08 0000031d: DUP1 0000031e: SLOAD 0000031f: PUSH1 0x01 00000321: PUSH1 0xa0 00000323: PUSH1 0x02 00000325: EXP 00000326: SUB 00000327: DUP4 00000328: AND 00000329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033e: NOT 0000033f: SWAP1 00000340: SWAP2 00000341: AND 00000342: DUP2 00000343: OR 00000344: SWAP1 00000345: SWAP2 00000346: SSTORE 00000347: PUSH1 0x40 00000349: DUP1 0000034a: MLOAD 0000034b: DUP5 0000034c: DUP2 0000034d: MSTORE 0000034e: SWAP1 0000034f: MLOAD 00000350: PUSH32 0x4289d6195cf3c2d2174adf98d0e19d4d2d08887995b99cb7b100e7ffe795820e 00000371: SWAP2 00000372: DUP2 00000373: SWAP1 00000374: SUB 00000375: PUSH1 0x20 00000377: ADD 00000378: SWAP1 00000379: LOG2 0000037a: POP 0000037b: POP 0000037c: JUMP 0000037d: JUMPDEST 0000037e: PUSH1 0x06 00000380: DUP1 00000381: SLOAD 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: NOT 00000398: AND 00000399: PUSH1 0x01 0000039b: PUSH1 0xa0 0000039d: PUSH1 0x02 0000039f: EXP 000003a0: SUB 000003a1: SWAP3 000003a2: SWAP1 000003a3: SWAP3 000003a4: AND 000003a5: SWAP2 000003a6: SWAP1 000003a7: SWAP2 000003a8: OR 000003a9: SWAP1 000003aa: SSTORE 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x00 000003af: SWAP1 000003b0: EXTCODESIZE 000003b1: GT 000003b2: SWAP1 000003b3: JUMP 000003b4: STOP 000003b5: LOG1 000003b6: PUSH6 0x627a7a723058 000003bd: KECCAK256 000003be: UNKNOWN(0xAE) 000003bf: EXTCODEHASH 000003c0: UNKNOWN(0xD2) 000003c1: SWAP5 000003c2: UNKNOWN(0xD8) 000003c3: UNKNOWN(0x4D) 000003c4: UNKNOWN(0xBF) 000003c5: UNKNOWN(0xC2) 000003c6: UNKNOWN(0xDE) 000003c7: BLOBBASEFEE 000003c8: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x7cbc79776325a50eda5597cea726ab58b922d7c0a6889e2ff60f76c5efc94d0c
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 72,
"trace_id": "0x7cbc79776325a50eda5597cea726ab58b922d7c0a6889e2ff60f76c5efc94d0c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x3ad06d16",
"selector": "0x3ad06d16",
"calldata_variants": [
"0x3ad06d16",
"0x3ad06d160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fde8202",
"selector": "0x6fde8202",
"calldata_variants": [
"0x6fde8202",
"0x6fde82020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9c45fcb",
"selector": "0xa9c45fcb",
"calldata_variants": [
"0xa9c45fcb",
"0xa9c45fcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 168,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x96f34b33ff5b4571b4bda6c1d8ddd714e571633672fb4825c4938b28f7152951
call_targets:
0xf127003ea39878efeee89aa4e22248cc6cb7728e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x96f34b33ff5b4571b4bda6c1d8ddd714e571633672fb4825c4938b28f7152951",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf127003ea39878efeee89aa4e22248cc6cb7728e"
],
"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": "0x3ad06d16",
"selector": "0x3ad06d16",
"calldata_variants": [
"0x3ad06d16",
"0x3ad06d160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fde8202",
"selector": "0x6fde8202",
"calldata_variants": [
"0x6fde8202",
"0x6fde82020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9c45fcb",
"selector": "0xa9c45fcb",
"calldata_variants": [
"0xa9c45fcb",
"0xa9c45fcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 571,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x96f34b33ff5b4571b4bda6c1d8ddd714e571633672fb4825c4938b28f7152951
call_targets:
0xf127003ea39878efeee89aa4e22248cc6cb7728e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x96f34b33ff5b4571b4bda6c1d8ddd714e571633672fb4825c4938b28f7152951",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf127003ea39878efeee89aa4e22248cc6cb7728e"
],
"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": "0x3ad06d16",
"selector": "0x3ad06d16",
"calldata_variants": [
"0x3ad06d16",
"0x3ad06d160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fde8202",
"selector": "0x6fde8202",
"calldata_variants": [
"0x6fde8202",
"0x6fde82020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9c45fcb",
"selector": "0xa9c45fcb",
"calldata_variants": [
"0xa9c45fcb",
"0xa9c45fcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 571,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|