TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3831-b502-704b-a36a-a71ea29d9ce3

complete
Chain ID
1
Address
0x51bb3a35edc75915a561fe794dfb1acf161879af
Block Number
—
Created
Fri, Dec 19, 2025 7:59 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
79 artifact.fetch complete 1 / 3 3 months ago
80 tool.cast_disasm complete 1 / 3 3 months ago
43111 analysis.bundle complete 1 / 3 1 week ago
43112 capability.graph complete 1 / 3 1 week ago
43113 detector.run complete 1 / 3 1 week ago
43114 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
2
Total opcodes
1509
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00d7
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x0de9cacd
00000034: EQ
00000035: PUSH2 0x00d9
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x12065fe0
0000003f: EQ
00000040: PUSH2 0x00e6
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x3ccfd60b
0000004a: EQ
0000004b: PUSH2 0x0107
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x481c6a75
00000055: EQ
00000056: PUSH2 0x0114
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x4afdd0e7
00000060: EQ
00000061: PUSH2 0x014b
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x5294010f
0000006b: EQ
0000006c: PUSH2 0x016c
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x679dffb4
00000076: EQ
00000077: PUSH2 0x018d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8351a0d4
00000081: EQ
00000082: PUSH2 0x01ae
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8b3aa967
0000008c: EQ
0000008d: PUSH2 0x01cf
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x959499b6
00000097: EQ
00000098: PUSH2 0x01f0
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x978bbdb9
000000a2: EQ
000000a3: PUSH2 0x01fd
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xbbd4e8c9
000000ad: EQ
000000ae: PUSH2 0x021e
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xd0e30db0
000000b8: EQ
000000b9: PUSH2 0x023f
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xd9607482
000000c3: EQ
000000c4: PUSH2 0x024c
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0xea362937
000000ce: EQ
000000cf: PUSH2 0x026d
000000d2: JUMPI
000000d3: PUSH2 0x00d7
000000d6: JUMP
000000d7: JUMPDEST
000000d8: STOP
000000d9: JUMPDEST
000000da: PUSH2 0x00e4
000000dd: PUSH1 0x04
000000df: POP
000000e0: PUSH2 0x0306
000000e3: JUMP
000000e4: JUMPDEST
000000e5: STOP
000000e6: JUMPDEST
000000e7: PUSH2 0x00f1
000000ea: PUSH1 0x04
000000ec: POP
000000ed: PUSH2 0x028e
000000f0: JUMP
000000f1: JUMPDEST
000000f2: PUSH1 0x40
000000f4: MLOAD
000000f5: DUP1
000000f6: DUP3
000000f7: DUP2
000000f8: MSTORE
000000f9: PUSH1 0x20
000000fb: ADD
000000fc: SWAP2
000000fd: POP
000000fe: POP
000000ff: PUSH1 0x40
00000101: MLOAD
00000102: DUP1
00000103: SWAP2
00000104: SUB
00000105: SWAP1
00000106: RETURN
00000107: JUMPDEST
00000108: PUSH2 0x0112
0000010b: PUSH1 0x04
0000010d: POP
0000010e: PUSH2 0x0558
00000111: JUMP
00000112: JUMPDEST
00000113: STOP
00000114: JUMPDEST
00000115: PUSH2 0x011f
00000118: PUSH1 0x04
0000011a: POP
0000011b: PUSH2 0x0470
0000011e: JUMP
0000011f: JUMPDEST
00000120: PUSH1 0x40
00000122: MLOAD
00000123: DUP1
00000124: DUP3
00000125: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000013a: AND
0000013b: DUP2
0000013c: MSTORE
0000013d: PUSH1 0x20
0000013f: ADD
00000140: SWAP2
00000141: POP
00000142: POP
00000143: PUSH1 0x40
00000145: MLOAD
00000146: DUP1
00000147: SWAP2
00000148: SUB
00000149: SWAP1
0000014a: RETURN
0000014b: JUMPDEST
0000014c: PUSH2 0x0156
0000014f: PUSH1 0x04
00000151: POP
00000152: PUSH2 0x0ac5
00000155: JUMP
00000156: JUMPDEST
00000157: PUSH1 0x40
00000159: MLOAD
0000015a: DUP1
0000015b: DUP3
0000015c: DUP2
0000015d: MSTORE
0000015e: PUSH1 0x20
00000160: ADD
00000161: SWAP2
00000162: POP
00000163: POP
00000164: PUSH1 0x40
00000166: MLOAD
00000167: DUP1
00000168: SWAP2
00000169: SUB
0000016a: SWAP1
0000016b: RETURN
0000016c: JUMPDEST
0000016d: PUSH2 0x0177
00000170: PUSH1 0x04
00000172: POP
00000173: PUSH2 0x0467
00000176: JUMP
00000177: JUMPDEST
00000178: PUSH1 0x40
0000017a: MLOAD
0000017b: DUP1
0000017c: DUP3
0000017d: DUP2
0000017e: MSTORE
0000017f: PUSH1 0x20
00000181: ADD
00000182: SWAP2
00000183: POP
00000184: POP
00000185: PUSH1 0x40
00000187: MLOAD
00000188: DUP1
00000189: SWAP2
0000018a: SUB
0000018b: SWAP1
0000018c: RETURN
0000018d: JUMPDEST
0000018e: PUSH2 0x0198
00000191: PUSH1 0x04
00000193: POP
00000194: PUSH2 0x02ca
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: DUP3
0000019e: DUP2
0000019f: MSTORE
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: SWAP2
000001a4: POP
000001a5: POP
000001a6: PUSH1 0x40
000001a8: MLOAD
000001a9: DUP1
000001aa: SWAP2
000001ab: SUB
000001ac: SWAP1
000001ad: RETURN
000001ae: JUMPDEST
000001af: PUSH2 0x01b9
000001b2: PUSH1 0x04
000001b4: POP
000001b5: PUSH2 0x0a4b
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: DUP1
000001be: DUP3
000001bf: DUP2
000001c0: MSTORE
000001c1: PUSH1 0x20
000001c3: ADD
000001c4: SWAP2
000001c5: POP
000001c6: POP
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: DUP1
000001cb: SWAP2
000001cc: SUB
000001cd: SWAP1
000001ce: RETURN
000001cf: JUMPDEST
000001d0: PUSH2 0x01da
000001d3: PUSH1 0x04
000001d5: POP
000001d6: PUSH2 0x0a87
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: DUP1
000001df: DUP3
000001e0: DUP2
000001e1: MSTORE
000001e2: PUSH1 0x20
000001e4: ADD
000001e5: SWAP2
000001e6: POP
000001e7: POP
000001e8: PUSH1 0x40
000001ea: MLOAD
000001eb: DUP1
000001ec: SWAP2
000001ed: SUB
000001ee: SWAP1
000001ef: RETURN
000001f0: JUMPDEST
000001f1: PUSH2 0x01fb
000001f4: PUSH1 0x04
000001f6: POP
000001f7: PUSH2 0x0773
000001fa: JUMP
000001fb: JUMPDEST
000001fc: STOP
000001fd: JUMPDEST
000001fe: PUSH2 0x0208
00000201: PUSH1 0x04
00000203: POP
00000204: PUSH2 0x0ace
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: DUP1
0000020d: DUP3
0000020e: DUP2
0000020f: MSTORE
00000210: PUSH1 0x20
00000212: ADD
00000213: SWAP2
00000214: POP
00000215: POP
00000216: PUSH1 0x40
00000218: MLOAD
00000219: DUP1
0000021a: SWAP2
0000021b: SUB
0000021c: SWAP1
0000021d: RETURN
0000021e: JUMPDEST
0000021f: PUSH2 0x0229
00000222: PUSH1 0x04
00000224: POP
00000225: PUSH2 0x0496
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: DUP3
0000022f: DUP2
00000230: MSTORE
00000231: PUSH1 0x20
00000233: ADD
00000234: SWAP2
00000235: POP
00000236: POP
00000237: PUSH1 0x40
00000239: MLOAD
0000023a: DUP1
0000023b: SWAP2
0000023c: SUB
0000023d: SWAP1
0000023e: RETURN
0000023f: JUMPDEST
00000240: PUSH2 0x024a
00000243: PUSH1 0x04
00000245: POP
00000246: PUSH2 0x049f
00000249: JUMP
0000024a: JUMPDEST
0000024b: STOP
0000024c: JUMPDEST
0000024d: PUSH2 0x0257
00000250: PUSH1 0x04
00000252: POP
00000253: PUSH2 0x054f
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: DUP3
0000025d: DUP2
0000025e: MSTORE
0000025f: PUSH1 0x20
00000261: ADD
00000262: SWAP2
00000263: POP
00000264: POP
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: PUSH2 0x0278
00000271: PUSH1 0x04
00000273: POP
00000274: PUSH2 0x0546
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: DUP1
0000027d: DUP3
0000027e: DUP2
0000027f: MSTORE
00000280: PUSH1 0x20
00000282: ADD
00000283: SWAP2
00000284: POP
00000285: POP
00000286: PUSH1 0x40
00000288: MLOAD
00000289: DUP1
0000028a: SWAP2
0000028b: SUB
0000028c: SWAP1
0000028d: RETURN
0000028e: JUMPDEST
0000028f: PUSH1 0x00
00000291: PUSH1 0x0a
00000293: PUSH1 0x00
00000295: POP
00000296: PUSH1 0x00
00000298: CALLER
00000299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ae: AND
000002af: DUP2
000002b0: MSTORE
000002b1: PUSH1 0x20
000002b3: ADD
000002b4: SWAP1
000002b5: DUP2
000002b6: MSTORE
000002b7: PUSH1 0x20
000002b9: ADD
000002ba: PUSH1 0x00
000002bc: KECCAK256
000002bd: PUSH1 0x00
000002bf: POP
000002c0: SLOAD
000002c1: SWAP1
000002c2: POP
000002c3: PUSH2 0x02c7
000002c6: JUMP
000002c7: JUMPDEST
000002c8: SWAP1
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x00
000002cd: PUSH1 0x0d
000002cf: PUSH1 0x00
000002d1: POP
000002d2: PUSH1 0x00
000002d4: CALLER
000002d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ea: AND
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: SWAP1
000002f1: DUP2
000002f2: MSTORE
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: PUSH1 0x00
000002f8: KECCAK256
000002f9: PUSH1 0x00
000002fb: POP
000002fc: SLOAD
000002fd: SWAP1
000002fe: POP
000002ff: PUSH2 0x0303
00000302: JUMP
00000303: JUMPDEST
00000304: SWAP1
00000305: JUMP
00000306: JUMPDEST
00000307: PUSH1 0x06
00000309: PUSH1 0x00
0000030b: POP
0000030c: SLOAD
0000030d: PUSH1 0x0b
0000030f: PUSH1 0x00
00000311: POP
00000312: PUSH1 0x00
00000314: CALLER
00000315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000032a: AND
0000032b: DUP2
0000032c: MSTORE
0000032d: PUSH1 0x20
0000032f: ADD
00000330: SWAP1
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x20
00000335: ADD
00000336: PUSH1 0x00
00000338: KECCAK256
00000339: PUSH1 0x00
0000033b: POP
0000033c: SLOAD
0000033d: TIMESTAMP
0000033e: SUB
0000033f: LT
00000340: ISZERO
00000341: ISZERO
00000342: PUSH2 0x0464
00000345: JUMPI
00000346: PUSH1 0x64
00000348: PUSH1 0x03
0000034a: PUSH1 0x00
0000034c: POP
0000034d: SLOAD
0000034e: PUSH1 0x0a
00000350: PUSH1 0x00
00000352: POP
00000353: PUSH1 0x00
00000355: CALLER
00000356: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036b: AND
0000036c: DUP2
0000036d: MSTORE
0000036e: PUSH1 0x20
00000370: ADD
00000371: SWAP1
00000372: DUP2
00000373: MSTORE
00000374: PUSH1 0x20
00000376: ADD
00000377: PUSH1 0x00
00000379: KECCAK256
0000037a: PUSH1 0x00
0000037c: POP
0000037d: SLOAD
0000037e: MUL
0000037f: DIV
00000380: PUSH1 0x0d
00000382: PUSH1 0x00
00000384: POP
00000385: PUSH1 0x00
00000387: CALLER
00000388: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000039d: AND
0000039e: DUP2
0000039f: MSTORE
000003a0: PUSH1 0x20
000003a2: ADD
000003a3: SWAP1
000003a4: DUP2
000003a5: MSTORE
000003a6: PUSH1 0x20
000003a8: ADD
000003a9: PUSH1 0x00
000003ab: KECCAK256
000003ac: PUSH1 0x00
000003ae: DUP3
000003af: DUP3
000003b0: DUP3
000003b1: POP
000003b2: SLOAD
000003b3: ADD
000003b4: SWAP3
000003b5: POP
000003b6: POP
000003b7: DUP2
000003b8: SWAP1
000003b9: SSTORE
000003ba: POP
000003bb: PUSH1 0x64
000003bd: PUSH1 0x03
000003bf: PUSH1 0x00
000003c1: POP
000003c2: SLOAD
000003c3: PUSH1 0x0a
000003c5: PUSH1 0x00
000003c7: POP
000003c8: PUSH1 0x00
000003ca: CALLER
000003cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e0: AND
000003e1: DUP2
000003e2: MSTORE
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP1
000003e7: DUP2
000003e8: MSTORE
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: PUSH1 0x00
000003ee: KECCAK256
000003ef: PUSH1 0x00
000003f1: POP
000003f2: SLOAD
000003f3: MUL
000003f4: DIV
000003f5: PUSH1 0x0c
000003f7: PUSH1 0x00
000003f9: POP
000003fa: PUSH1 0x00
000003fc: CALLER
000003fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000412: AND
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x20
00000417: ADD
00000418: SWAP1
00000419: DUP2
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: PUSH1 0x00
00000420: KECCAK256
00000421: PUSH1 0x00
00000423: DUP3
00000424: DUP3
00000425: DUP3
00000426: POP
00000427: SLOAD
00000428: ADD
00000429: SWAP3
0000042a: POP
0000042b: POP
0000042c: DUP2
0000042d: SWAP1
0000042e: SSTORE
0000042f: POP
00000430: TIMESTAMP
00000431: PUSH1 0x0b
00000433: PUSH1 0x00
00000435: POP
00000436: PUSH1 0x00
00000438: CALLER
00000439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044e: AND
0000044f: DUP2
00000450: MSTORE
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP1
00000455: DUP2
00000456: MSTORE
00000457: PUSH1 0x20
00000459: ADD
0000045a: PUSH1 0x00
0000045c: KECCAK256
0000045d: PUSH1 0x00
0000045f: POP
00000460: DUP2
00000461: SWAP1
00000462: SSTORE
00000463: POP
00000464: JUMPDEST
00000465: JUMPDEST
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH1 0x08
0000046a: PUSH1 0x00
0000046c: POP
0000046d: SLOAD
0000046e: DUP2
0000046f: JUMP
00000470: JUMPDEST
00000471: PUSH1 0x09
00000473: PUSH1 0x00
00000475: SWAP1
00000476: SLOAD
00000477: SWAP1
00000478: PUSH2 0x0100
0000047b: EXP
0000047c: SWAP1
0000047d: DIV
0000047e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000493: AND
00000494: DUP2
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH1 0x07
00000499: PUSH1 0x00
0000049b: POP
0000049c: SLOAD
0000049d: DUP2
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH1 0x07
000004a2: PUSH1 0x00
000004a4: DUP2
000004a5: DUP2
000004a6: POP
000004a7: SLOAD
000004a8: PUSH1 0x01
000004aa: ADD
000004ab: SWAP2
000004ac: SWAP1
000004ad: POP
000004ae: DUP2
000004af: SWAP1
000004b0: SSTORE
000004b1: POP
000004b2: TIMESTAMP
000004b3: PUSH1 0x05
000004b5: PUSH1 0x00
000004b7: POP
000004b8: DUP2
000004b9: SWAP1
000004ba: SSTORE
000004bb: POP
000004bc: CALLER
000004bd: PUSH1 0x0e
000004bf: PUSH1 0x00
000004c1: POP
000004c2: PUSH1 0x00
000004c4: PUSH1 0x07
000004c6: PUSH1 0x00
000004c8: POP
000004c9: SLOAD
000004ca: DUP2
000004cb: MSTORE
000004cc: PUSH1 0x20
000004ce: ADD
000004cf: SWAP1
000004d0: DUP2
000004d1: MSTORE
000004d2: PUSH1 0x20
000004d4: ADD
000004d5: PUSH1 0x00
000004d7: KECCAK256
000004d8: PUSH1 0x00
000004da: PUSH2 0x0100
000004dd: EXP
000004de: DUP2
000004df: SLOAD
000004e0: DUP2
000004e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f6: MUL
000004f7: NOT
000004f8: AND
000004f9: SWAP1
000004fa: DUP4
000004fb: MUL
000004fc: OR
000004fd: SWAP1
000004fe: SSTORE
000004ff: POP
00000500: CALLVALUE
00000501: PUSH1 0x0a
00000503: PUSH1 0x00
00000505: POP
00000506: PUSH1 0x00
00000508: CALLER
00000509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051e: AND
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x20
00000523: ADD
00000524: SWAP1
00000525: DUP2
00000526: MSTORE
00000527: PUSH1 0x20
00000529: ADD
0000052a: PUSH1 0x00
0000052c: KECCAK256
0000052d: PUSH1 0x00
0000052f: DUP3
00000530: DUP3
00000531: DUP3
00000532: POP
00000533: SLOAD
00000534: ADD
00000535: SWAP3
00000536: POP
00000537: POP
00000538: DUP2
00000539: SWAP1
0000053a: SSTORE
0000053b: POP
0000053c: PUSH2 0x0543
0000053f: PUSH2 0x0306
00000542: JUMP
00000543: JUMPDEST
00000544: JUMPDEST
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH1 0x05
00000549: PUSH1 0x00
0000054b: POP
0000054c: SLOAD
0000054d: DUP2
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH1 0x06
00000552: PUSH1 0x00
00000554: POP
00000555: SLOAD
00000556: DUP2
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH1 0x06
0000055b: PUSH1 0x00
0000055d: POP
0000055e: SLOAD
0000055f: PUSH1 0x0b
00000561: PUSH1 0x00
00000563: POP
00000564: PUSH1 0x00
00000566: CALLER
00000567: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057c: AND
0000057d: DUP2
0000057e: MSTORE
0000057f: PUSH1 0x20
00000581: ADD
00000582: SWAP1
00000583: DUP2
00000584: MSTORE
00000585: PUSH1 0x20
00000587: ADD
00000588: PUSH1 0x00
0000058a: KECCAK256
0000058b: PUSH1 0x00
0000058d: POP
0000058e: SLOAD
0000058f: TIMESTAMP
00000590: SUB
00000591: LT
00000592: ISZERO
00000593: ISZERO
00000594: PUSH2 0x0770
00000597: JUMPI
00000598: PUSH1 0x64
0000059a: PUSH1 0x04
0000059c: PUSH1 0x00
0000059e: POP
0000059f: SLOAD
000005a0: PUSH1 0x0d
000005a2: PUSH1 0x00
000005a4: POP
000005a5: PUSH1 0x00
000005a7: CALLER
000005a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bd: AND
000005be: DUP2
000005bf: MSTORE
000005c0: PUSH1 0x20
000005c2: ADD
000005c3: SWAP1
000005c4: DUP2
000005c5: MSTORE
000005c6: PUSH1 0x20
000005c8: ADD
000005c9: PUSH1 0x00
000005cb: KECCAK256
000005cc: PUSH1 0x00
000005ce: POP
000005cf: SLOAD
000005d0: MUL
000005d1: DIV
000005d2: PUSH1 0x01
000005d4: PUSH1 0x00
000005d6: POP
000005d7: DUP2
000005d8: SWAP1
000005d9: SSTORE
000005da: POP
000005db: PUSH1 0x01
000005dd: PUSH1 0x00
000005df: POP
000005e0: SLOAD
000005e1: PUSH1 0x0d
000005e3: PUSH1 0x00
000005e5: POP
000005e6: PUSH1 0x00
000005e8: CALLER
000005e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fe: AND
000005ff: DUP2
00000600: MSTORE
00000601: PUSH1 0x20
00000603: ADD
00000604: SWAP1
00000605: DUP2
00000606: MSTORE
00000607: PUSH1 0x20
00000609: ADD
0000060a: PUSH1 0x00
0000060c: KECCAK256
0000060d: PUSH1 0x00
0000060f: POP
00000610: SLOAD
00000611: SUB
00000612: PUSH1 0x02
00000614: PUSH1 0x00
00000616: POP
00000617: DUP2
00000618: SWAP1
00000619: SSTORE
0000061a: POP
0000061b: PUSH1 0x02
0000061d: PUSH1 0x00
0000061f: POP
00000620: SLOAD
00000621: PUSH1 0x0a
00000623: PUSH1 0x00
00000625: POP
00000626: PUSH1 0x00
00000628: CALLER
00000629: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063e: AND
0000063f: DUP2
00000640: MSTORE
00000641: PUSH1 0x20
00000643: ADD
00000644: SWAP1
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x20
00000649: ADD
0000064a: PUSH1 0x00
0000064c: KECCAK256
0000064d: PUSH1 0x00
0000064f: POP
00000650: SLOAD
00000651: ADD
00000652: ADDRESS
00000653: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000668: AND
00000669: BALANCE
0000066a: GT
0000066b: ISZERO
0000066c: PUSH2 0x076f
0000066f: JUMPI
00000670: CALLER
00000671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000686: AND
00000687: PUSH1 0x00
00000689: PUSH1 0x02
0000068b: PUSH1 0x00
0000068d: POP
0000068e: SLOAD
0000068f: PUSH1 0x0a
00000691: PUSH1 0x00
00000693: POP
00000694: PUSH1 0x00
00000696: CALLER
00000697: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ac: AND
000006ad: DUP2
000006ae: MSTORE
000006af: PUSH1 0x20
000006b1: ADD
000006b2: SWAP1
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x20
000006b7: ADD
000006b8: PUSH1 0x00
000006ba: KECCAK256
000006bb: PUSH1 0x00
000006bd: POP
000006be: SLOAD
000006bf: ADD
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: DUP1
000006c4: SWAP1
000006c5: POP
000006c6: PUSH1 0x00
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: DUP1
000006cc: DUP4
000006cd: SUB
000006ce: DUP2
000006cf: DUP6
000006d0: DUP9
000006d1: DUP9
000006d2: CALL
000006d3: SWAP4
000006d4: POP
000006d5: POP
000006d6: POP
000006d7: POP
000006d8: PUSH1 0x00
000006da: PUSH1 0x00
000006dc: PUSH2 0x0100
000006df: EXP
000006e0: DUP2
000006e1: SLOAD
000006e2: DUP2
000006e3: PUSH1 0xff
000006e5: MUL
000006e6: NOT
000006e7: AND
000006e8: SWAP1
000006e9: DUP4
000006ea: MUL
000006eb: OR
000006ec: SWAP1
000006ed: SSTORE
000006ee: POP
000006ef: PUSH1 0x00
000006f1: PUSH1 0x00
000006f3: SWAP1
000006f4: SLOAD
000006f5: SWAP1
000006f6: PUSH2 0x0100
000006f9: EXP
000006fa: SWAP1
000006fb: DIV
000006fc: PUSH1 0xff
000006fe: AND
000006ff: ISZERO
00000700: PUSH2 0x076e
00000703: JUMPI
00000704: PUSH1 0x00
00000706: PUSH1 0x0d
00000708: PUSH1 0x00
0000070a: POP
0000070b: PUSH1 0x00
0000070d: CALLER
0000070e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000723: AND
00000724: DUP2
00000725: MSTORE
00000726: PUSH1 0x20
00000728: ADD
00000729: SWAP1
0000072a: DUP2
0000072b: MSTORE
0000072c: PUSH1 0x20
0000072e: ADD
0000072f: PUSH1 0x00
00000731: KECCAK256
00000732: PUSH1 0x00
00000734: POP
00000735: DUP2
00000736: SWAP1
00000737: SSTORE
00000738: POP
00000739: PUSH1 0x00
0000073b: PUSH1 0x0a
0000073d: PUSH1 0x00
0000073f: POP
00000740: PUSH1 0x00
00000742: CALLER
00000743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000758: AND
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x20
0000075d: ADD
0000075e: SWAP1
0000075f: DUP2
00000760: MSTORE
00000761: PUSH1 0x20
00000763: ADD
00000764: PUSH1 0x00
00000766: KECCAK256
00000767: PUSH1 0x00
00000769: POP
0000076a: DUP2
0000076b: SWAP1
0000076c: SSTORE
0000076d: POP
0000076e: JUMPDEST
0000076f: JUMPDEST
00000770: JUMPDEST
00000771: JUMPDEST
00000772: JUMP
00000773: JUMPDEST
00000774: PUSH1 0x06
00000776: PUSH1 0x00
00000778: POP
00000779: SLOAD
0000077a: PUSH1 0x0b
0000077c: PUSH1 0x00
0000077e: POP
0000077f: PUSH1 0x00
00000781: CALLER
00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000797: AND
00000798: DUP2
00000799: MSTORE
0000079a: PUSH1 0x20
0000079c: ADD
0000079d: SWAP1
0000079e: DUP2
0000079f: MSTORE
000007a0: PUSH1 0x20
000007a2: ADD
000007a3: PUSH1 0x00
000007a5: KECCAK256
000007a6: PUSH1 0x00
000007a8: POP
000007a9: SLOAD
000007aa: TIMESTAMP
000007ab: SUB
000007ac: LT
000007ad: ISZERO
000007ae: ISZERO
000007af: PUSH2 0x0a48
000007b2: JUMPI
000007b3: PUSH1 0x64
000007b5: PUSH1 0x04
000007b7: PUSH1 0x00
000007b9: POP
000007ba: SLOAD
000007bb: PUSH1 0x0d
000007bd: PUSH1 0x00
000007bf: POP
000007c0: PUSH1 0x00
000007c2: CALLER
000007c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d8: AND
000007d9: DUP2
000007da: MSTORE
000007db: PUSH1 0x20
000007dd: ADD
000007de: SWAP1
000007df: DUP2
000007e0: MSTORE
000007e1: PUSH1 0x20
000007e3: ADD
000007e4: PUSH1 0x00
000007e6: KECCAK256
000007e7: PUSH1 0x00
000007e9: POP
000007ea: SLOAD
000007eb: MUL
000007ec: DIV
000007ed: PUSH1 0x01
000007ef: PUSH1 0x00
000007f1: POP
000007f2: DUP2
000007f3: SWAP1
000007f4: SSTORE
000007f5: POP
000007f6: PUSH1 0x01
000007f8: PUSH1 0x00
000007fa: POP
000007fb: SLOAD
000007fc: PUSH1 0x0d
000007fe: PUSH1 0x00
00000800: POP
00000801: PUSH1 0x00
00000803: CALLER
00000804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000819: AND
0000081a: DUP2
0000081b: MSTORE
0000081c: PUSH1 0x20
0000081e: ADD
0000081f: SWAP1
00000820: DUP2
00000821: MSTORE
00000822: PUSH1 0x20
00000824: ADD
00000825: PUSH1 0x00
00000827: KECCAK256
00000828: PUSH1 0x00
0000082a: POP
0000082b: SLOAD
0000082c: SUB
0000082d: PUSH1 0x02
0000082f: PUSH1 0x00
00000831: POP
00000832: DUP2
00000833: SWAP1
00000834: SSTORE
00000835: POP
00000836: PUSH1 0x02
00000838: PUSH1 0x00
0000083a: POP
0000083b: SLOAD
0000083c: ADDRESS
0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000852: AND
00000853: BALANCE
00000854: GT
00000855: ISZERO
00000856: PUSH2 0x0a47
00000859: JUMPI
0000085a: CALLER
0000085b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000870: AND
00000871: PUSH1 0x00
00000873: PUSH1 0x02
00000875: PUSH1 0x00
00000877: POP
00000878: SLOAD
00000879: PUSH1 0x40
0000087b: MLOAD
0000087c: DUP1
0000087d: SWAP1
0000087e: POP
0000087f: PUSH1 0x00
00000881: PUSH1 0x40
00000883: MLOAD
00000884: DUP1
00000885: DUP4
00000886: SUB
00000887: DUP2
00000888: DUP6
00000889: DUP9
0000088a: DUP9
0000088b: CALL
0000088c: SWAP4
0000088d: POP
0000088e: POP
0000088f: POP
00000890: POP
00000891: PUSH1 0x00
00000893: PUSH1 0x00
00000895: PUSH2 0x0100
00000898: EXP
00000899: DUP2
0000089a: SLOAD
0000089b: DUP2
0000089c: PUSH1 0xff
0000089e: MUL
0000089f: NOT
000008a0: AND
000008a1: SWAP1
000008a2: DUP4
000008a3: MUL
000008a4: OR
000008a5: SWAP1
000008a6: SSTORE
000008a7: POP
000008a8: PUSH1 0x00
000008aa: PUSH1 0x00
000008ac: SWAP1
000008ad: SLOAD
000008ae: SWAP1
000008af: PUSH2 0x0100
000008b2: EXP
000008b3: SWAP1
000008b4: DIV
000008b5: PUSH1 0xff
000008b7: AND
000008b8: ISZERO
000008b9: PUSH2 0x0a46
000008bc: JUMPI
000008bd: TIMESTAMP
000008be: PUSH1 0x0b
000008c0: PUSH1 0x00
000008c2: POP
000008c3: PUSH1 0x00
000008c5: CALLER
000008c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008db: AND
000008dc: DUP2
000008dd: MSTORE
000008de: PUSH1 0x20
000008e0: ADD
000008e1: SWAP1
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x20
000008e6: ADD
000008e7: PUSH1 0x00
000008e9: KECCAK256
000008ea: PUSH1 0x00
000008ec: POP
000008ed: DUP2
000008ee: SWAP1
000008ef: SSTORE
000008f0: POP
000008f1: PUSH1 0x0d
000008f3: PUSH1 0x00
000008f5: POP
000008f6: PUSH1 0x00
000008f8: CALLER
000008f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090e: AND
0000090f: DUP2
00000910: MSTORE
00000911: PUSH1 0x20
00000913: ADD
00000914: SWAP1
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x20
00000919: ADD
0000091a: PUSH1 0x00
0000091c: KECCAK256
0000091d: PUSH1 0x00
0000091f: POP
00000920: SLOAD
00000921: PUSH1 0x0d
00000923: PUSH1 0x00
00000925: POP
00000926: PUSH1 0x00
00000928: CALLER
00000929: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093e: AND
0000093f: DUP2
00000940: MSTORE
00000941: PUSH1 0x20
00000943: ADD
00000944: SWAP1
00000945: DUP2
00000946: MSTORE
00000947: PUSH1 0x20
00000949: ADD
0000094a: PUSH1 0x00
0000094c: KECCAK256
0000094d: PUSH1 0x00
0000094f: DUP3
00000950: DUP3
00000951: DUP3
00000952: POP
00000953: SLOAD
00000954: SUB
00000955: SWAP3
00000956: POP
00000957: POP
00000958: DUP2
00000959: SWAP1
0000095a: SSTORE
0000095b: POP
0000095c: PUSH1 0x64
0000095e: PUSH1 0x03
00000960: PUSH1 0x00
00000962: POP
00000963: SLOAD
00000964: PUSH1 0x0a
00000966: PUSH1 0x00
00000968: POP
00000969: PUSH1 0x00
0000096b: CALLER
0000096c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000981: AND
00000982: DUP2
00000983: MSTORE
00000984: PUSH1 0x20
00000986: ADD
00000987: SWAP1
00000988: DUP2
00000989: MSTORE
0000098a: PUSH1 0x20
0000098c: ADD
0000098d: PUSH1 0x00
0000098f: KECCAK256
00000990: PUSH1 0x00
00000992: POP
00000993: SLOAD
00000994: MUL
00000995: DIV
00000996: PUSH1 0x0d
00000998: PUSH1 0x00
0000099a: POP
0000099b: PUSH1 0x00
0000099d: CALLER
0000099e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b3: AND
000009b4: DUP2
000009b5: MSTORE
000009b6: PUSH1 0x20
000009b8: ADD
000009b9: SWAP1
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x20
000009be: ADD
000009bf: PUSH1 0x00
000009c1: KECCAK256
000009c2: PUSH1 0x00
000009c4: DUP3
000009c5: DUP3
000009c6: DUP3
000009c7: POP
000009c8: SLOAD
000009c9: ADD
000009ca: SWAP3
000009cb: POP
000009cc: POP
000009cd: DUP2
000009ce: SWAP1
000009cf: SSTORE
000009d0: POP
000009d1: PUSH1 0x64
000009d3: PUSH1 0x03
000009d5: PUSH1 0x00
000009d7: POP
000009d8: SLOAD
000009d9: PUSH1 0x0a
000009db: PUSH1 0x00
000009dd: POP
000009de: PUSH1 0x00
000009e0: CALLER
000009e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f6: AND
000009f7: DUP2
000009f8: MSTORE
000009f9: PUSH1 0x20
000009fb: ADD
000009fc: SWAP1
000009fd: DUP2
000009fe: MSTORE
000009ff: PUSH1 0x20
00000a01: ADD
00000a02: PUSH1 0x00
00000a04: KECCAK256
00000a05: PUSH1 0x00
00000a07: POP
00000a08: SLOAD
00000a09: MUL
00000a0a: DIV
00000a0b: PUSH1 0x0c
00000a0d: PUSH1 0x00
00000a0f: POP
00000a10: PUSH1 0x00
00000a12: CALLER
00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a28: AND
00000a29: DUP2
00000a2a: MSTORE
00000a2b: PUSH1 0x20
00000a2d: ADD
00000a2e: SWAP1
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: PUSH1 0x00
00000a36: KECCAK256
00000a37: PUSH1 0x00
00000a39: DUP3
00000a3a: DUP3
00000a3b: DUP3
00000a3c: POP
00000a3d: SLOAD
00000a3e: ADD
00000a3f: SWAP3
00000a40: POP
00000a41: POP
00000a42: DUP2
00000a43: SWAP1
00000a44: SSTORE
00000a45: POP
00000a46: JUMPDEST
00000a47: JUMPDEST
00000a48: JUMPDEST
00000a49: JUMPDEST
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x00
00000a4e: PUSH1 0x0c
00000a50: PUSH1 0x00
00000a52: POP
00000a53: PUSH1 0x00
00000a55: CALLER
00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6b: AND
00000a6c: DUP2
00000a6d: MSTORE
00000a6e: PUSH1 0x20
00000a70: ADD
00000a71: SWAP1
00000a72: DUP2
00000a73: MSTORE
00000a74: PUSH1 0x20
00000a76: ADD
00000a77: PUSH1 0x00
00000a79: KECCAK256
00000a7a: PUSH1 0x00
00000a7c: POP
00000a7d: SLOAD
00000a7e: SWAP1
00000a7f: POP
00000a80: PUSH2 0x0a84
00000a83: JUMP
00000a84: JUMPDEST
00000a85: SWAP1
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH1 0x00
00000a8a: PUSH1 0x0b
00000a8c: PUSH1 0x00
00000a8e: POP
00000a8f: PUSH1 0x00
00000a91: CALLER
00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa7: AND
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH1 0x20
00000aac: ADD
00000aad: SWAP1
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x20
00000ab2: ADD
00000ab3: PUSH1 0x00
00000ab5: KECCAK256
00000ab6: PUSH1 0x00
00000ab8: POP
00000ab9: SLOAD
00000aba: TIMESTAMP
00000abb: SUB
00000abc: SWAP1
00000abd: POP
00000abe: PUSH2 0x0ac2
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: SWAP1
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: PUSH1 0x03
00000ac8: PUSH1 0x00
00000aca: POP
00000acb: SLOAD
00000acc: DUP2
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH1 0x04
00000ad1: PUSH1 0x00
00000ad3: POP
00000ad4: SLOAD
00000ad5: DUP2
00000ad6: JUMP
View stderr 
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.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x44ecaacbd6fe5c5cd04fff1c79bc0b044462f8e800cb9e37a8b7b64bad9f9336
call_targets: 0x51bb3a35edc75915a561fe794dfb1acf161879af
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x44ecaacbd6fe5c5cd04fff1c79bc0b044462f8e800cb9e37a8b7b64bad9f9336",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x51bb3a35edc75915a561fe794dfb1acf161879af"
    ],
    "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": "0x0de9cacd",
            "selector": "0x0de9cacd",
            "calldata_variants": [
                "0x0de9cacd",
                "0x0de9cacd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5294010f",
            "selector": "0x5294010f",
            "calldata_variants": [
                "0x5294010f",
                "0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x679dffb4",
            "selector": "0x679dffb4",
            "calldata_variants": [
                "0x679dffb4",
                "0x679dffb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8351a0d4",
            "selector": "0x8351a0d4",
            "calldata_variants": [
                "0x8351a0d4",
                "0x8351a0d40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1746,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2187,
            "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
view
trace_id: 0x44ecaacbd6fe5c5cd04fff1c79bc0b044462f8e800cb9e37a8b7b64bad9f9336
call_targets: 0x51bb3a35edc75915a561fe794dfb1acf161879af
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x44ecaacbd6fe5c5cd04fff1c79bc0b044462f8e800cb9e37a8b7b64bad9f9336",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x51bb3a35edc75915a561fe794dfb1acf161879af"
    ],
    "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": "0x0de9cacd",
            "selector": "0x0de9cacd",
            "calldata_variants": [
                "0x0de9cacd",
                "0x0de9cacd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5294010f",
            "selector": "0x5294010f",
            "calldata_variants": [
                "0x5294010f",
                "0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x679dffb4",
            "selector": "0x679dffb4",
            "calldata_variants": [
                "0x679dffb4",
                "0x679dffb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8351a0d4",
            "selector": "0x8351a0d4",
            "calldata_variants": [
                "0x8351a0d4",
                "0x8351a0d40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1746,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2187,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}