019b3844-981b-7327-bb65-4ce6983bc92e
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 |
|---|---|---|---|---|
| 13851 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13852 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85360 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85361 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85362 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85363 | 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 0x004a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x521eb273 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x973ff2e0 00000024: EQ 00000025: PUSH2 0x0080 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa734f06e 0000002f: EQ 00000030: PUSH2 0x00c1 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb6569195 0000003a: EQ 0000003b: PUSH2 0x00d6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbccc9fcf 00000045: EQ 00000046: PUSH2 0x0102 00000049: JUMPI 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0064 00000060: PUSH2 0x0140 00000063: JUMP 00000064: JUMPDEST 00000065: PUSH1 0x40 00000067: DUP1 00000068: MLOAD 00000069: PUSH1 0x01 0000006b: PUSH1 0x01 0000006d: PUSH1 0xa0 0000006f: SHL 00000070: SUB 00000071: SWAP1 00000072: SWAP3 00000073: AND 00000074: DUP3 00000075: MSTORE 00000076: MLOAD 00000077: SWAP1 00000078: DUP2 00000079: SWAP1 0000007a: SUB 0000007b: PUSH1 0x20 0000007d: ADD 0000007e: SWAP1 0000007f: RETURN 00000080: JUMPDEST 00000081: CALLVALUE 00000082: DUP1 00000083: ISZERO 00000084: PUSH2 0x008c 00000087: JUMPI 00000088: PUSH1 0x00 0000008a: DUP1 0000008b: REVERT 0000008c: JUMPDEST 0000008d: POP 0000008e: PUSH2 0x00bf 00000091: PUSH1 0x04 00000093: DUP1 00000094: CALLDATASIZE 00000095: SUB 00000096: PUSH1 0x60 00000098: DUP2 00000099: LT 0000009a: ISZERO 0000009b: PUSH2 0x00a3 0000009e: JUMPI 0000009f: PUSH1 0x00 000000a1: DUP1 000000a2: REVERT 000000a3: JUMPDEST 000000a4: POP 000000a5: DUP1 000000a6: CALLDATALOAD 000000a7: SWAP1 000000a8: PUSH1 0x01 000000aa: PUSH1 0x01 000000ac: PUSH1 0xa0 000000ae: SHL 000000af: SUB 000000b0: PUSH1 0x20 000000b2: DUP3 000000b3: ADD 000000b4: CALLDATALOAD 000000b5: AND 000000b6: SWAP1 000000b7: PUSH1 0x40 000000b9: ADD 000000ba: CALLDATALOAD 000000bb: PUSH2 0x014f 000000be: JUMP 000000bf: JUMPDEST 000000c0: STOP 000000c1: JUMPDEST 000000c2: CALLVALUE 000000c3: DUP1 000000c4: ISZERO 000000c5: PUSH2 0x00cd 000000c8: JUMPI 000000c9: PUSH1 0x00 000000cb: DUP1 000000cc: REVERT 000000cd: JUMPDEST 000000ce: POP 000000cf: PUSH2 0x0064 000000d2: PUSH2 0x02b1 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH2 0x00bf 000000da: PUSH1 0x04 000000dc: DUP1 000000dd: CALLDATASIZE 000000de: SUB 000000df: PUSH1 0x40 000000e1: DUP2 000000e2: LT 000000e3: ISZERO 000000e4: PUSH2 0x00ec 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: POP 000000ee: DUP1 000000ef: CALLDATALOAD 000000f0: SWAP1 000000f1: PUSH1 0x20 000000f3: ADD 000000f4: CALLDATALOAD 000000f5: PUSH1 0x01 000000f7: PUSH1 0x01 000000f9: PUSH1 0xa0 000000fb: SHL 000000fc: SUB 000000fd: AND 000000fe: PUSH2 0x02c9 00000101: JUMP 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 0x012c 00000113: PUSH1 0x04 00000115: DUP1 00000116: CALLDATASIZE 00000117: SUB 00000118: PUSH1 0x20 0000011a: DUP2 0000011b: LT 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: POP 00000127: CALLDATALOAD 00000128: PUSH2 0x03c1 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x40 0000012f: DUP1 00000130: MLOAD 00000131: SWAP2 00000132: ISZERO 00000133: ISZERO 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: PUSH1 0x01 00000143: SLOAD 00000144: PUSH1 0x01 00000146: PUSH1 0x01 00000148: PUSH1 0xa0 0000014a: SHL 0000014b: SUB 0000014c: AND 0000014d: DUP2 0000014e: JUMP 0000014f: JUMPDEST 00000150: PUSH1 0x01 00000152: SLOAD 00000153: PUSH1 0x01 00000155: PUSH1 0x01 00000157: PUSH1 0xa0 00000159: SHL 0000015a: SUB 0000015b: AND 0000015c: CALLER 0000015d: EQ 0000015e: PUSH2 0x01ae 00000161: JUMPI 00000162: PUSH1 0x40 00000164: DUP1 00000165: MLOAD 00000166: PUSH3 0x461bcd 0000016a: PUSH1 0xe5 0000016c: SHL 0000016d: DUP2 0000016e: MSTORE 0000016f: PUSH1 0x20 00000171: PUSH1 0x04 00000173: DUP3 00000174: ADD 00000175: MSTORE 00000176: PUSH1 0x19 00000178: PUSH1 0x24 0000017a: DUP3 0000017b: ADD 0000017c: MSTORE 0000017d: PUSH32 0x4574684d616e616765722f6e6f742d617574686f72697a656400000000000000 0000019e: PUSH1 0x44 000001a0: DUP3 000001a1: ADD 000001a2: MSTORE 000001a3: SWAP1 000001a4: MLOAD 000001a5: SWAP1 000001a6: DUP2 000001a7: SWAP1 000001a8: SUB 000001a9: PUSH1 0x64 000001ab: ADD 000001ac: SWAP1 000001ad: REVERT 000001ae: JUMPDEST 000001af: PUSH1 0x00 000001b1: DUP2 000001b2: DUP2 000001b3: MSTORE 000001b4: PUSH1 0x20 000001b6: DUP2 000001b7: SWAP1 000001b8: MSTORE 000001b9: PUSH1 0x40 000001bb: SWAP1 000001bc: KECCAK256 000001bd: SLOAD 000001be: PUSH1 0xff 000001c0: AND 000001c1: ISZERO 000001c2: PUSH2 0x01fc 000001c5: JUMPI 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: PUSH3 0x461bcd 000001cd: PUSH1 0xe5 000001cf: SHL 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x04 000001d4: ADD 000001d5: DUP1 000001d6: DUP1 000001d7: PUSH1 0x20 000001d9: ADD 000001da: DUP3 000001db: DUP2 000001dc: SUB 000001dd: DUP3 000001de: MSTORE 000001df: PUSH1 0x2a 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH1 0x20 000001e5: ADD 000001e6: DUP1 000001e7: PUSH2 0x03d7 000001ea: PUSH1 0x2a 000001ec: SWAP2 000001ed: CODECOPY 000001ee: PUSH1 0x40 000001f0: ADD 000001f1: SWAP2 000001f2: POP 000001f3: POP 000001f4: PUSH1 0x40 000001f6: MLOAD 000001f7: DUP1 000001f8: SWAP2 000001f9: SUB 000001fa: SWAP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: PUSH1 0x00 000001ff: DUP2 00000200: DUP2 00000201: MSTORE 00000202: PUSH1 0x20 00000204: DUP2 00000205: SWAP1 00000206: MSTORE 00000207: PUSH1 0x40 00000209: DUP1 0000020a: DUP3 0000020b: KECCAK256 0000020c: DUP1 0000020d: SLOAD 0000020e: PUSH1 0xff 00000210: NOT 00000211: AND 00000212: PUSH1 0x01 00000214: OR 00000215: SWAP1 00000216: SSTORE 00000217: MLOAD 00000218: PUSH1 0x01 0000021a: PUSH1 0x01 0000021c: PUSH1 0xa0 0000021e: SHL 0000021f: SUB 00000220: DUP5 00000221: AND 00000222: SWAP2 00000223: DUP6 00000224: ISZERO 00000225: PUSH2 0x08fc 00000228: MUL 00000229: SWAP2 0000022a: DUP7 0000022b: SWAP2 0000022c: DUP2 0000022d: DUP2 0000022e: DUP2 0000022f: DUP6 00000230: DUP9 00000231: DUP9 00000232: CALL 00000233: SWAP4 00000234: POP 00000235: POP 00000236: POP 00000237: POP 00000238: ISZERO 00000239: DUP1 0000023a: ISZERO 0000023b: PUSH2 0x0248 0000023e: JUMPI 0000023f: RETURNDATASIZE 00000240: PUSH1 0x00 00000242: DUP1 00000243: RETURNDATACOPY 00000244: RETURNDATASIZE 00000245: PUSH1 0x00 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH1 0x40 0000024c: DUP1 0000024d: MLOAD 0000024e: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: DUP2 00000268: ADD 00000269: DUP6 0000026a: SWAP1 0000026b: MSTORE 0000026c: PUSH1 0x01 0000026e: PUSH1 0x01 00000270: PUSH1 0xa0 00000272: SHL 00000273: SUB 00000274: DUP5 00000275: AND 00000276: DUP2 00000277: DUP4 00000278: ADD 00000279: MSTORE 0000027a: PUSH1 0x60 0000027c: DUP2 0000027d: ADD 0000027e: DUP4 0000027f: SWAP1 00000280: MSTORE 00000281: SWAP1 00000282: MLOAD 00000283: PUSH32 0xb24e65d2501e29a3ce014b0cc2283699c081ad27f10d64f036f96912b6f8943e 000002a4: SWAP2 000002a5: DUP2 000002a6: SWAP1 000002a7: SUB 000002a8: PUSH1 0x80 000002aa: ADD 000002ab: SWAP1 000002ac: LOG1 000002ad: POP 000002ae: POP 000002af: POP 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000002c7: DUP2 000002c8: JUMP 000002c9: JUMPDEST 000002ca: PUSH1 0x01 000002cc: PUSH1 0x01 000002ce: PUSH1 0xa0 000002d0: SHL 000002d1: SUB 000002d2: DUP2 000002d3: AND 000002d4: PUSH2 0x030e 000002d7: JUMPI 000002d8: PUSH1 0x40 000002da: MLOAD 000002db: PUSH3 0x461bcd 000002df: PUSH1 0xe5 000002e1: SHL 000002e2: DUP2 000002e3: MSTORE 000002e4: PUSH1 0x04 000002e6: ADD 000002e7: DUP1 000002e8: DUP1 000002e9: PUSH1 0x20 000002eb: ADD 000002ec: DUP3 000002ed: DUP2 000002ee: SUB 000002ef: DUP3 000002f0: MSTORE 000002f1: PUSH1 0x26 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: DUP1 000002f9: PUSH2 0x0401 000002fc: PUSH1 0x26 000002fe: SWAP2 000002ff: CODECOPY 00000300: PUSH1 0x40 00000302: ADD 00000303: SWAP2 00000304: POP 00000305: POP 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: SWAP2 0000030b: SUB 0000030c: SWAP1 0000030d: REVERT 0000030e: JUMPDEST 0000030f: DUP2 00000310: CALLVALUE 00000311: EQ 00000312: PUSH2 0x0362 00000315: JUMPI 00000316: PUSH1 0x40 00000318: DUP1 00000319: MLOAD 0000031a: PUSH3 0x461bcd 0000031e: PUSH1 0xe5 00000320: SHL 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: PUSH1 0x04 00000327: DUP3 00000328: ADD 00000329: MSTORE 0000032a: PUSH1 0x1c 0000032c: PUSH1 0x24 0000032e: DUP3 0000032f: ADD 00000330: MSTORE 00000331: PUSH32 0x4574684d616e616765722f7a65726f20746f6b656e206c6f636b656400000000 00000352: PUSH1 0x44 00000354: DUP3 00000355: ADD 00000356: MSTORE 00000357: SWAP1 00000358: MLOAD 00000359: SWAP1 0000035a: DUP2 0000035b: SWAP1 0000035c: SUB 0000035d: PUSH1 0x64 0000035f: ADD 00000360: SWAP1 00000361: REVERT 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: DUP1 00000366: MLOAD 00000367: DUP4 00000368: DUP2 00000369: MSTORE 0000036a: PUSH1 0x01 0000036c: PUSH1 0x01 0000036e: PUSH1 0xa0 00000370: SHL 00000371: SUB 00000372: DUP4 00000373: AND 00000374: PUSH1 0x20 00000376: DUP3 00000377: ADD 00000378: MSTORE 00000379: DUP2 0000037a: MLOAD 0000037b: CALLER 0000037c: SWAP3 0000037d: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000392: SWAP3 00000393: PUSH32 0x4c6ab40ee4cfa212a441d32ee2897945b4a52461284f9369e23fdf8faa6cdd69 000003b4: SWAP3 000003b5: SWAP1 000003b6: DUP2 000003b7: SWAP1 000003b8: SUB 000003b9: SWAP1 000003ba: SWAP2 000003bb: ADD 000003bc: SWAP1 000003bd: LOG3 000003be: POP 000003bf: POP 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x00 000003c4: PUSH1 0x20 000003c6: DUP2 000003c7: SWAP1 000003c8: MSTORE 000003c9: SWAP1 000003ca: DUP2 000003cb: MSTORE 000003cc: PUSH1 0x40 000003ce: SWAP1 000003cf: KECCAK256 000003d0: SLOAD 000003d1: PUSH1 0xff 000003d3: AND 000003d4: DUP2 000003d5: JUMP 000003d6: INVALID 000003d7: GASLIMIT 000003d8: PUSH21 0x684d616e616765722f546865206275726e20657665 000003ee: PUSH15 0x742063616e6e6f7420626520726575 000003fe: PUSH20 0x65644574684d616e616765722f72656369706965 00000413: PUSH15 0x742069732061207a65726f20616464 00000423: PUSH19 0x657373a265627a7a72315820d5ecbf4db8f4dc 00000437: UNKNOWN(0xB8) 00000438: LOG4 00000439: UNKNOWN(0xE7) 0000043a: UNKNOWN(0xBE) 0000043b: PUSH19 0x7aef156fb311160ef3adb47d87ea491606a733 0000044f: UNKNOWN(0xE3) 00000450: PUSH5 0x736f6c6343 00000456: STOP 00000457: SDIV 00000458: GT 00000459: STOP 0000045a: ORIGIN
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": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x973ff2e0",
"selector": "0x973ff2e0",
"calldata_variants": [
"0x973ff2e0",
"0x973ff2e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa734f06e",
"selector": "0xa734f06e",
"calldata_variants": [
"0xa734f06e",
"0xa734f06e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6569195",
"selector": "0xb6569195",
"calldata_variants": [
"0xb6569195",
"0xb65691950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbccc9fcf",
"selector": "0xbccc9fcf",
"calldata_variants": [
"0xbccc9fcf",
"0xbccc9fcf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1114,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xe8f0676b5f3cf0138e80e967b4ed832fbf0011b78a7844a2332423dbb4aa5da1
call_targets:
0xf9fb1c508ff49f78b60d3a96dea99fa5d7f3a8a6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe8f0676b5f3cf0138e80e967b4ed832fbf0011b78a7844a2332423dbb4aa5da1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf9fb1c508ff49f78b60d3a96dea99fa5d7f3a8a6"
],
"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": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x973ff2e0",
"selector": "0x973ff2e0",
"calldata_variants": [
"0x973ff2e0",
"0x973ff2e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa734f06e",
"selector": "0xa734f06e",
"calldata_variants": [
"0xa734f06e",
"0xa734f06e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6569195",
"selector": "0xb6569195",
"calldata_variants": [
"0xb6569195",
"0xb65691950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbccc9fcf",
"selector": "0xbccc9fcf",
"calldata_variants": [
"0xbccc9fcf",
"0xbccc9fcf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 562,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1114,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xe8f0676b5f3cf0138e80e967b4ed832fbf0011b78a7844a2332423dbb4aa5da1
call_targets:
0xf9fb1c508ff49f78b60d3a96dea99fa5d7f3a8a6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe8f0676b5f3cf0138e80e967b4ed832fbf0011b78a7844a2332423dbb4aa5da1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf9fb1c508ff49f78b60d3a96dea99fa5d7f3a8a6"
],
"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": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x973ff2e0",
"selector": "0x973ff2e0",
"calldata_variants": [
"0x973ff2e0",
"0x973ff2e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa734f06e",
"selector": "0xa734f06e",
"calldata_variants": [
"0xa734f06e",
"0xa734f06e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6569195",
"selector": "0xb6569195",
"calldata_variants": [
"0xb6569195",
"0xb65691950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbccc9fcf",
"selector": "0xbccc9fcf",
"calldata_variants": [
"0xbccc9fcf",
"0xbccc9fcf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 562,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1114,
"type": "tx_origin_used"
}
]
}
|