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

Analysis Run

019b3844-99a9-72be-9a19-966a185deec3

complete
Chain ID
1
Address
0xa51975667d7596a0a9f9c1c384204be7d3ea45c2
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
14123 artifact.fetch complete 1 / 3 3 months ago
14124 tool.cast_disasm complete 1 / 3 3 months ago
57117 analysis.bundle complete 1 / 3 1 week ago
57118 capability.graph complete 1 / 3 1 week ago
57119 detector.run complete 1 / 3 1 week ago
57120 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)
1
EXT*/BALANCE
0
Total opcodes
1639
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ba
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x06fdde03
0000003c: EQ
0000003d: PUSH2 0x0296
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x18160ddd
00000047: EQ
00000048: PUSH2 0x0326
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x1afaa6e8
00000052: EQ
00000053: PUSH2 0x0351
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x2e1a7d4d
0000005d: EQ
0000005e: PUSH2 0x0396
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x2f631920
00000068: EQ
00000069: PUSH2 0x03db
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x313ce567
00000073: EQ
00000074: PUSH2 0x0420
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x453c33b6
0000007e: EQ
0000007f: PUSH2 0x0451
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x70a08231
00000089: EQ
0000008a: PUSH2 0x047c
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x71ca337d
00000094: EQ
00000095: PUSH2 0x04d3
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x95d89b41
0000009f: EQ
000000a0: PUSH2 0x04fe
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0xa9059cbb
000000aa: EQ
000000ab: PUSH2 0x058e
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0xf851a440
000000b5: EQ
000000b6: PUSH2 0x05f3
000000b9: JUMPI
000000ba: JUMPDEST
000000bb: PUSH1 0x00
000000bd: DUP1
000000be: PUSH1 0x00
000000c0: CALLVALUE
000000c1: GT
000000c2: ISZERO
000000c3: ISZERO
000000c4: PUSH2 0x00cc
000000c7: JUMPI
000000c8: PUSH1 0x00
000000ca: DUP1
000000cb: REVERT
000000cc: JUMPDEST
000000cd: PUSH1 0x05
000000cf: SLOAD
000000d0: CALLVALUE
000000d1: LT
000000d2: ISZERO
000000d3: ISZERO
000000d4: PUSH2 0x0292
000000d7: JUMPI
000000d8: CALLVALUE
000000d9: SWAP2
000000da: POP
000000db: PUSH1 0x06
000000dd: SLOAD
000000de: DUP3
000000df: MUL
000000e0: SWAP1
000000e1: POP
000000e2: PUSH1 0x07
000000e4: PUSH1 0x00
000000e6: DUP1
000000e7: PUSH1 0x00
000000e9: SWAP1
000000ea: SLOAD
000000eb: SWAP1
000000ec: PUSH2 0x0100
000000ef: EXP
000000f0: SWAP1
000000f1: DIV
000000f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000107: AND
00000108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000011d: AND
0000011e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000133: AND
00000134: DUP2
00000135: MSTORE
00000136: PUSH1 0x20
00000138: ADD
00000139: SWAP1
0000013a: DUP2
0000013b: MSTORE
0000013c: PUSH1 0x20
0000013e: ADD
0000013f: PUSH1 0x00
00000141: KECCAK256
00000142: SLOAD
00000143: DUP2
00000144: GT
00000145: ISZERO
00000146: ISZERO
00000147: ISZERO
00000148: PUSH2 0x0150
0000014b: JUMPI
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: DUP1
00000152: PUSH1 0x07
00000154: PUSH1 0x00
00000156: CALLER
00000157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000016c: AND
0000016d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000182: AND
00000183: DUP2
00000184: MSTORE
00000185: PUSH1 0x20
00000187: ADD
00000188: SWAP1
00000189: DUP2
0000018a: MSTORE
0000018b: PUSH1 0x20
0000018d: ADD
0000018e: PUSH1 0x00
00000190: KECCAK256
00000191: PUSH1 0x00
00000193: DUP3
00000194: DUP3
00000195: SLOAD
00000196: ADD
00000197: SWAP3
00000198: POP
00000199: POP
0000019a: DUP2
0000019b: SWAP1
0000019c: SSTORE
0000019d: POP
0000019e: DUP1
0000019f: PUSH1 0x07
000001a1: PUSH1 0x00
000001a3: DUP1
000001a4: PUSH1 0x00
000001a6: SWAP1
000001a7: SLOAD
000001a8: SWAP1
000001a9: PUSH2 0x0100
000001ac: EXP
000001ad: SWAP1
000001ae: DIV
000001af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c4: AND
000001c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001da: AND
000001db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f0: AND
000001f1: DUP2
000001f2: MSTORE
000001f3: PUSH1 0x20
000001f5: ADD
000001f6: SWAP1
000001f7: DUP2
000001f8: MSTORE
000001f9: PUSH1 0x20
000001fb: ADD
000001fc: PUSH1 0x00
000001fe: KECCAK256
000001ff: PUSH1 0x00
00000201: DUP3
00000202: DUP3
00000203: SLOAD
00000204: SUB
00000205: SWAP3
00000206: POP
00000207: POP
00000208: DUP2
00000209: SWAP1
0000020a: SSTORE
0000020b: POP
0000020c: CALLER
0000020d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000222: AND
00000223: PUSH1 0x00
00000225: DUP1
00000226: SWAP1
00000227: SLOAD
00000228: SWAP1
00000229: PUSH2 0x0100
0000022c: EXP
0000022d: SWAP1
0000022e: DIV
0000022f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000244: AND
00000245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025a: AND
0000025b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000027c: DUP4
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: DUP1
00000281: DUP3
00000282: DUP2
00000283: MSTORE
00000284: PUSH1 0x20
00000286: ADD
00000287: SWAP2
00000288: POP
00000289: POP
0000028a: PUSH1 0x40
0000028c: MLOAD
0000028d: DUP1
0000028e: SWAP2
0000028f: SUB
00000290: SWAP1
00000291: LOG3
00000292: JUMPDEST
00000293: POP
00000294: POP
00000295: STOP
00000296: JUMPDEST
00000297: CALLVALUE
00000298: DUP1
00000299: ISZERO
0000029a: PUSH2 0x02a2
0000029d: JUMPI
0000029e: PUSH1 0x00
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: POP
000002a4: PUSH2 0x02ab
000002a7: PUSH2 0x064a
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: DUP1
000002b0: DUP1
000002b1: PUSH1 0x20
000002b3: ADD
000002b4: DUP3
000002b5: DUP2
000002b6: SUB
000002b7: DUP3
000002b8: MSTORE
000002b9: DUP4
000002ba: DUP2
000002bb: DUP2
000002bc: MLOAD
000002bd: DUP2
000002be: MSTORE
000002bf: PUSH1 0x20
000002c1: ADD
000002c2: SWAP2
000002c3: POP
000002c4: DUP1
000002c5: MLOAD
000002c6: SWAP1
000002c7: PUSH1 0x20
000002c9: ADD
000002ca: SWAP1
000002cb: DUP1
000002cc: DUP4
000002cd: DUP4
000002ce: PUSH1 0x00
000002d0: JUMPDEST
000002d1: DUP4
000002d2: DUP2
000002d3: LT
000002d4: ISZERO
000002d5: PUSH2 0x02eb
000002d8: JUMPI
000002d9: DUP1
000002da: DUP3
000002db: ADD
000002dc: MLOAD
000002dd: DUP2
000002de: DUP5
000002df: ADD
000002e0: MSTORE
000002e1: PUSH1 0x20
000002e3: DUP2
000002e4: ADD
000002e5: SWAP1
000002e6: POP
000002e7: PUSH2 0x02d0
000002ea: JUMP
000002eb: JUMPDEST
000002ec: POP
000002ed: POP
000002ee: POP
000002ef: POP
000002f0: SWAP1
000002f1: POP
000002f2: SWAP1
000002f3: DUP2
000002f4: ADD
000002f5: SWAP1
000002f6: PUSH1 0x1f
000002f8: AND
000002f9: DUP1
000002fa: ISZERO
000002fb: PUSH2 0x0318
000002fe: JUMPI
000002ff: DUP1
00000300: DUP3
00000301: SUB
00000302: DUP1
00000303: MLOAD
00000304: PUSH1 0x01
00000306: DUP4
00000307: PUSH1 0x20
00000309: SUB
0000030a: PUSH2 0x0100
0000030d: EXP
0000030e: SUB
0000030f: NOT
00000310: AND
00000311: DUP2
00000312: MSTORE
00000313: PUSH1 0x20
00000315: ADD
00000316: SWAP2
00000317: POP
00000318: JUMPDEST
00000319: POP
0000031a: SWAP3
0000031b: POP
0000031c: POP
0000031d: POP
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: DUP1
00000322: SWAP2
00000323: SUB
00000324: SWAP1
00000325: RETURN
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x033b
00000337: PUSH2 0x06e8
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: DUP1
00000340: DUP3
00000341: DUP2
00000342: MSTORE
00000343: PUSH1 0x20
00000345: ADD
00000346: SWAP2
00000347: POP
00000348: POP
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: DUP1
0000034d: SWAP2
0000034e: SUB
0000034f: SWAP1
00000350: RETURN
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x037c
00000362: PUSH1 0x04
00000364: DUP1
00000365: CALLDATASIZE
00000366: SUB
00000367: DUP2
00000368: ADD
00000369: SWAP1
0000036a: DUP1
0000036b: DUP1
0000036c: CALLDATALOAD
0000036d: SWAP1
0000036e: PUSH1 0x20
00000370: ADD
00000371: SWAP1
00000372: SWAP3
00000373: SWAP2
00000374: SWAP1
00000375: POP
00000376: POP
00000377: POP
00000378: PUSH2 0x06ee
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: DUP1
00000381: DUP3
00000382: ISZERO
00000383: ISZERO
00000384: ISZERO
00000385: ISZERO
00000386: DUP2
00000387: MSTORE
00000388: PUSH1 0x20
0000038a: ADD
0000038b: SWAP2
0000038c: POP
0000038d: POP
0000038e: PUSH1 0x40
00000390: MLOAD
00000391: DUP1
00000392: SWAP2
00000393: SUB
00000394: SWAP1
00000395: RETURN
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x03c1
000003a7: PUSH1 0x04
000003a9: DUP1
000003aa: CALLDATASIZE
000003ab: SUB
000003ac: DUP2
000003ad: ADD
000003ae: SWAP1
000003af: DUP1
000003b0: DUP1
000003b1: CALLDATALOAD
000003b2: SWAP1
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP1
000003b7: SWAP3
000003b8: SWAP2
000003b9: SWAP1
000003ba: POP
000003bb: POP
000003bc: POP
000003bd: PUSH2 0x075b
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH1 0x40
000003c4: MLOAD
000003c5: DUP1
000003c6: DUP3
000003c7: ISZERO
000003c8: ISZERO
000003c9: ISZERO
000003ca: ISZERO
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: SWAP2
000003d1: POP
000003d2: POP
000003d3: PUSH1 0x40
000003d5: MLOAD
000003d6: DUP1
000003d7: SWAP2
000003d8: SUB
000003d9: SWAP1
000003da: RETURN
000003db: JUMPDEST
000003dc: CALLVALUE
000003dd: DUP1
000003de: ISZERO
000003df: PUSH2 0x03e7
000003e2: JUMPI
000003e3: PUSH1 0x00
000003e5: DUP1
000003e6: REVERT
000003e7: JUMPDEST
000003e8: POP
000003e9: PUSH2 0x0406
000003ec: PUSH1 0x04
000003ee: DUP1
000003ef: CALLDATASIZE
000003f0: SUB
000003f1: DUP2
000003f2: ADD
000003f3: SWAP1
000003f4: DUP1
000003f5: DUP1
000003f6: CALLDATALOAD
000003f7: SWAP1
000003f8: PUSH1 0x20
000003fa: ADD
000003fb: SWAP1
000003fc: SWAP3
000003fd: SWAP2
000003fe: SWAP1
000003ff: POP
00000400: POP
00000401: POP
00000402: PUSH2 0x0808
00000405: JUMP
00000406: JUMPDEST
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: DUP1
0000040b: DUP3
0000040c: ISZERO
0000040d: ISZERO
0000040e: ISZERO
0000040f: ISZERO
00000410: DUP2
00000411: MSTORE
00000412: PUSH1 0x20
00000414: ADD
00000415: SWAP2
00000416: POP
00000417: POP
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: DUP1
0000041c: SWAP2
0000041d: SUB
0000041e: SWAP1
0000041f: RETURN
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x0435
00000431: PUSH2 0x0878
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x40
00000438: MLOAD
00000439: DUP1
0000043a: DUP3
0000043b: PUSH1 0xff
0000043d: AND
0000043e: PUSH1 0xff
00000440: AND
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x20
00000445: ADD
00000446: SWAP2
00000447: POP
00000448: POP
00000449: PUSH1 0x40
0000044b: MLOAD
0000044c: DUP1
0000044d: SWAP2
0000044e: SUB
0000044f: SWAP1
00000450: RETURN
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: PUSH2 0x0466
00000462: PUSH2 0x088b
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH1 0x40
00000469: MLOAD
0000046a: DUP1
0000046b: DUP3
0000046c: DUP2
0000046d: MSTORE
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP2
00000472: POP
00000473: POP
00000474: PUSH1 0x40
00000476: MLOAD
00000477: DUP1
00000478: SWAP2
00000479: SUB
0000047a: SWAP1
0000047b: RETURN
0000047c: JUMPDEST
0000047d: CALLVALUE
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x0488
00000483: JUMPI
00000484: PUSH1 0x00
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH2 0x04bd
0000048d: PUSH1 0x04
0000048f: DUP1
00000490: CALLDATASIZE
00000491: SUB
00000492: DUP2
00000493: ADD
00000494: SWAP1
00000495: DUP1
00000496: DUP1
00000497: CALLDATALOAD
00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ad: AND
000004ae: SWAP1
000004af: PUSH1 0x20
000004b1: ADD
000004b2: SWAP1
000004b3: SWAP3
000004b4: SWAP2
000004b5: SWAP1
000004b6: POP
000004b7: POP
000004b8: POP
000004b9: PUSH2 0x0891
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH1 0x40
000004c0: MLOAD
000004c1: DUP1
000004c2: DUP3
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: SWAP2
000004c9: POP
000004ca: POP
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: DUP1
000004cf: SWAP2
000004d0: SUB
000004d1: SWAP1
000004d2: RETURN
000004d3: JUMPDEST
000004d4: CALLVALUE
000004d5: DUP1
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: POP
000004e1: PUSH2 0x04e8
000004e4: PUSH2 0x08a9
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH1 0x40
000004eb: MLOAD
000004ec: DUP1
000004ed: DUP3
000004ee: DUP2
000004ef: MSTORE
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: SWAP2
000004f4: POP
000004f5: POP
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: DUP1
000004fa: SWAP2
000004fb: SUB
000004fc: SWAP1
000004fd: RETURN
000004fe: JUMPDEST
000004ff: CALLVALUE
00000500: DUP1
00000501: ISZERO
00000502: PUSH2 0x050a
00000505: JUMPI
00000506: PUSH1 0x00
00000508: DUP1
00000509: REVERT
0000050a: JUMPDEST
0000050b: POP
0000050c: PUSH2 0x0513
0000050f: PUSH2 0x08af
00000512: JUMP
00000513: JUMPDEST
00000514: PUSH1 0x40
00000516: MLOAD
00000517: DUP1
00000518: DUP1
00000519: PUSH1 0x20
0000051b: ADD
0000051c: DUP3
0000051d: DUP2
0000051e: SUB
0000051f: DUP3
00000520: MSTORE
00000521: DUP4
00000522: DUP2
00000523: DUP2
00000524: MLOAD
00000525: DUP2
00000526: MSTORE
00000527: PUSH1 0x20
00000529: ADD
0000052a: SWAP2
0000052b: POP
0000052c: DUP1
0000052d: MLOAD
0000052e: SWAP1
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP1
00000533: DUP1
00000534: DUP4
00000535: DUP4
00000536: PUSH1 0x00
00000538: JUMPDEST
00000539: DUP4
0000053a: DUP2
0000053b: LT
0000053c: ISZERO
0000053d: PUSH2 0x0553
00000540: JUMPI
00000541: DUP1
00000542: DUP3
00000543: ADD
00000544: MLOAD
00000545: DUP2
00000546: DUP5
00000547: ADD
00000548: MSTORE
00000549: PUSH1 0x20
0000054b: DUP2
0000054c: ADD
0000054d: SWAP1
0000054e: POP
0000054f: PUSH2 0x0538
00000552: JUMP
00000553: JUMPDEST
00000554: POP
00000555: POP
00000556: POP
00000557: POP
00000558: SWAP1
00000559: POP
0000055a: SWAP1
0000055b: DUP2
0000055c: ADD
0000055d: SWAP1
0000055e: PUSH1 0x1f
00000560: AND
00000561: DUP1
00000562: ISZERO
00000563: PUSH2 0x0580
00000566: JUMPI
00000567: DUP1
00000568: DUP3
00000569: SUB
0000056a: DUP1
0000056b: MLOAD
0000056c: PUSH1 0x01
0000056e: DUP4
0000056f: PUSH1 0x20
00000571: SUB
00000572: PUSH2 0x0100
00000575: EXP
00000576: SUB
00000577: NOT
00000578: AND
00000579: DUP2
0000057a: MSTORE
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: SWAP2
0000057f: POP
00000580: JUMPDEST
00000581: POP
00000582: SWAP3
00000583: POP
00000584: POP
00000585: POP
00000586: PUSH1 0x40
00000588: MLOAD
00000589: DUP1
0000058a: SWAP2
0000058b: SUB
0000058c: SWAP1
0000058d: RETURN
0000058e: JUMPDEST
0000058f: CALLVALUE
00000590: DUP1
00000591: ISZERO
00000592: PUSH2 0x059a
00000595: JUMPI
00000596: PUSH1 0x00
00000598: DUP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: POP
0000059c: PUSH2 0x05d9
0000059f: PUSH1 0x04
000005a1: DUP1
000005a2: CALLDATASIZE
000005a3: SUB
000005a4: DUP2
000005a5: ADD
000005a6: SWAP1
000005a7: DUP1
000005a8: DUP1
000005a9: CALLDATALOAD
000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bf: AND
000005c0: SWAP1
000005c1: PUSH1 0x20
000005c3: ADD
000005c4: SWAP1
000005c5: SWAP3
000005c6: SWAP2
000005c7: SWAP1
000005c8: DUP1
000005c9: CALLDATALOAD
000005ca: SWAP1
000005cb: PUSH1 0x20
000005cd: ADD
000005ce: SWAP1
000005cf: SWAP3
000005d0: SWAP2
000005d1: SWAP1
000005d2: POP
000005d3: POP
000005d4: POP
000005d5: PUSH2 0x094d
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: DUP3
000005df: ISZERO
000005e0: ISZERO
000005e1: ISZERO
000005e2: ISZERO
000005e3: DUP2
000005e4: MSTORE
000005e5: PUSH1 0x20
000005e7: ADD
000005e8: SWAP2
000005e9: POP
000005ea: POP
000005eb: PUSH1 0x40
000005ed: MLOAD
000005ee: DUP1
000005ef: SWAP2
000005f0: SUB
000005f1: SWAP1
000005f2: RETURN
000005f3: JUMPDEST
000005f4: CALLVALUE
000005f5: DUP1
000005f6: ISZERO
000005f7: PUSH2 0x05ff
000005fa: JUMPI
000005fb: PUSH1 0x00
000005fd: DUP1
000005fe: REVERT
000005ff: JUMPDEST
00000600: POP
00000601: PUSH2 0x0608
00000604: PUSH2 0x0b70
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH1 0x40
0000060b: MLOAD
0000060c: DUP1
0000060d: DUP3
0000060e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000623: AND
00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000639: AND
0000063a: DUP2
0000063b: MSTORE
0000063c: PUSH1 0x20
0000063e: ADD
0000063f: SWAP2
00000640: POP
00000641: POP
00000642: PUSH1 0x40
00000644: MLOAD
00000645: DUP1
00000646: SWAP2
00000647: SUB
00000648: SWAP1
00000649: RETURN
0000064a: JUMPDEST
0000064b: PUSH1 0x01
0000064d: DUP1
0000064e: SLOAD
0000064f: PUSH1 0x01
00000651: DUP2
00000652: PUSH1 0x01
00000654: AND
00000655: ISZERO
00000656: PUSH2 0x0100
00000659: MUL
0000065a: SUB
0000065b: AND
0000065c: PUSH1 0x02
0000065e: SWAP1
0000065f: DIV
00000660: DUP1
00000661: PUSH1 0x1f
00000663: ADD
00000664: PUSH1 0x20
00000666: DUP1
00000667: SWAP2
00000668: DIV
00000669: MUL
0000066a: PUSH1 0x20
0000066c: ADD
0000066d: PUSH1 0x40
0000066f: MLOAD
00000670: SWAP1
00000671: DUP2
00000672: ADD
00000673: PUSH1 0x40
00000675: MSTORE
00000676: DUP1
00000677: SWAP3
00000678: SWAP2
00000679: SWAP1
0000067a: DUP2
0000067b: DUP2
0000067c: MSTORE
0000067d: PUSH1 0x20
0000067f: ADD
00000680: DUP3
00000681: DUP1
00000682: SLOAD
00000683: PUSH1 0x01
00000685: DUP2
00000686: PUSH1 0x01
00000688: AND
00000689: ISZERO
0000068a: PUSH2 0x0100
0000068d: MUL
0000068e: SUB
0000068f: AND
00000690: PUSH1 0x02
00000692: SWAP1
00000693: DIV
00000694: DUP1
00000695: ISZERO
00000696: PUSH2 0x06e0
00000699: JUMPI
0000069a: DUP1
0000069b: PUSH1 0x1f
0000069d: LT
0000069e: PUSH2 0x06b5
000006a1: JUMPI
000006a2: PUSH2 0x0100
000006a5: DUP1
000006a6: DUP4
000006a7: SLOAD
000006a8: DIV
000006a9: MUL
000006aa: DUP4
000006ab: MSTORE
000006ac: SWAP2
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP2
000006b1: PUSH2 0x06e0
000006b4: JUMP
000006b5: JUMPDEST
000006b6: DUP3
000006b7: ADD
000006b8: SWAP2
000006b9: SWAP1
000006ba: PUSH1 0x00
000006bc: MSTORE
000006bd: PUSH1 0x20
000006bf: PUSH1 0x00
000006c1: KECCAK256
000006c2: SWAP1
000006c3: JUMPDEST
000006c4: DUP2
000006c5: SLOAD
000006c6: DUP2
000006c7: MSTORE
000006c8: SWAP1
000006c9: PUSH1 0x01
000006cb: ADD
000006cc: SWAP1
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: DUP1
000006d1: DUP4
000006d2: GT
000006d3: PUSH2 0x06c3
000006d6: JUMPI
000006d7: DUP3
000006d8: SWAP1
000006d9: SUB
000006da: PUSH1 0x1f
000006dc: AND
000006dd: DUP3
000006de: ADD
000006df: SWAP2
000006e0: JUMPDEST
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: DUP2
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH1 0x04
000006eb: SLOAD
000006ec: DUP2
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: PUSH1 0x00
000006f4: SWAP1
000006f5: SLOAD
000006f6: SWAP1
000006f7: PUSH2 0x0100
000006fa: EXP
000006fb: SWAP1
000006fc: DIV
000006fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000712: AND
00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000728: AND
00000729: CALLER
0000072a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000073f: AND
00000740: EQ
00000741: ISZERO
00000742: ISZERO
00000743: PUSH2 0x074b
00000746: JUMPI
00000747: PUSH1 0x00
00000749: DUP1
0000074a: REVERT
0000074b: JUMPDEST
0000074c: DUP2
0000074d: PUSH1 0x06
0000074f: DUP2
00000750: SWAP1
00000751: SSTORE
00000752: POP
00000753: PUSH1 0x01
00000755: SWAP1
00000756: POP
00000757: SWAP2
00000758: SWAP1
00000759: POP
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x00
0000075e: DUP1
0000075f: PUSH1 0x00
00000761: SWAP1
00000762: SLOAD
00000763: SWAP1
00000764: PUSH2 0x0100
00000767: EXP
00000768: SWAP1
00000769: DIV
0000076a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000077f: AND
00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000795: AND
00000796: CALLER
00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ac: AND
000007ad: EQ
000007ae: ISZERO
000007af: ISZERO
000007b0: PUSH2 0x07b8
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: REVERT
000007b8: JUMPDEST
000007b9: CALLER
000007ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007cf: AND
000007d0: PUSH2 0x08fc
000007d3: DUP4
000007d4: SWAP1
000007d5: DUP2
000007d6: ISZERO
000007d7: MUL
000007d8: SWAP1
000007d9: PUSH1 0x40
000007db: MLOAD
000007dc: PUSH1 0x00
000007de: PUSH1 0x40
000007e0: MLOAD
000007e1: DUP1
000007e2: DUP4
000007e3: SUB
000007e4: DUP2
000007e5: DUP6
000007e6: DUP9
000007e7: DUP9
000007e8: CALL
000007e9: SWAP4
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: POP
000007ee: ISZERO
000007ef: DUP1
000007f0: ISZERO
000007f1: PUSH2 0x07fe
000007f4: JUMPI
000007f5: RETURNDATASIZE
000007f6: PUSH1 0x00
000007f8: DUP1
000007f9: RETURNDATACOPY
000007fa: RETURNDATASIZE
000007fb: PUSH1 0x00
000007fd: REVERT
000007fe: JUMPDEST
000007ff: POP
00000800: PUSH1 0x01
00000802: SWAP1
00000803: POP
00000804: SWAP2
00000805: SWAP1
00000806: POP
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH1 0x00
0000080b: DUP1
0000080c: PUSH1 0x00
0000080e: SWAP1
0000080f: SLOAD
00000810: SWAP1
00000811: PUSH2 0x0100
00000814: EXP
00000815: SWAP1
00000816: DIV
00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082c: AND
0000082d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000842: AND
00000843: CALLER
00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000859: AND
0000085a: EQ
0000085b: ISZERO
0000085c: ISZERO
0000085d: PUSH2 0x0865
00000860: JUMPI
00000861: PUSH1 0x00
00000863: DUP1
00000864: REVERT
00000865: JUMPDEST
00000866: PUSH1 0x01
00000868: DUP3
00000869: MUL
0000086a: PUSH1 0x05
0000086c: DUP2
0000086d: SWAP1
0000086e: SSTORE
0000086f: POP
00000870: PUSH1 0x01
00000872: SWAP1
00000873: POP
00000874: SWAP2
00000875: SWAP1
00000876: POP
00000877: JUMP
00000878: JUMPDEST
00000879: PUSH1 0x03
0000087b: PUSH1 0x00
0000087d: SWAP1
0000087e: SLOAD
0000087f: SWAP1
00000880: PUSH2 0x0100
00000883: EXP
00000884: SWAP1
00000885: DIV
00000886: PUSH1 0xff
00000888: AND
00000889: DUP2
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH1 0x05
0000088e: SLOAD
0000088f: DUP2
00000890: JUMP
00000891: JUMPDEST
00000892: PUSH1 0x07
00000894: PUSH1 0x20
00000896: MSTORE
00000897: DUP1
00000898: PUSH1 0x00
0000089a: MSTORE
0000089b: PUSH1 0x40
0000089d: PUSH1 0x00
0000089f: KECCAK256
000008a0: PUSH1 0x00
000008a2: SWAP2
000008a3: POP
000008a4: SWAP1
000008a5: POP
000008a6: SLOAD
000008a7: DUP2
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH1 0x06
000008ac: SLOAD
000008ad: DUP2
000008ae: JUMP
000008af: JUMPDEST
000008b0: PUSH1 0x02
000008b2: DUP1
000008b3: SLOAD
000008b4: PUSH1 0x01
000008b6: DUP2
000008b7: PUSH1 0x01
000008b9: AND
000008ba: ISZERO
000008bb: PUSH2 0x0100
000008be: MUL
000008bf: SUB
000008c0: AND
000008c1: PUSH1 0x02
000008c3: SWAP1
000008c4: DIV
000008c5: DUP1
000008c6: PUSH1 0x1f
000008c8: ADD
000008c9: PUSH1 0x20
000008cb: DUP1
000008cc: SWAP2
000008cd: DIV
000008ce: MUL
000008cf: PUSH1 0x20
000008d1: ADD
000008d2: PUSH1 0x40
000008d4: MLOAD
000008d5: SWAP1
000008d6: DUP2
000008d7: ADD
000008d8: PUSH1 0x40
000008da: MSTORE
000008db: DUP1
000008dc: SWAP3
000008dd: SWAP2
000008de: SWAP1
000008df: DUP2
000008e0: DUP2
000008e1: MSTORE
000008e2: PUSH1 0x20
000008e4: ADD
000008e5: DUP3
000008e6: DUP1
000008e7: SLOAD
000008e8: PUSH1 0x01
000008ea: DUP2
000008eb: PUSH1 0x01
000008ed: AND
000008ee: ISZERO
000008ef: PUSH2 0x0100
000008f2: MUL
000008f3: SUB
000008f4: AND
000008f5: PUSH1 0x02
000008f7: SWAP1
000008f8: DIV
000008f9: DUP1
000008fa: ISZERO
000008fb: PUSH2 0x0945
000008fe: JUMPI
000008ff: DUP1
00000900: PUSH1 0x1f
00000902: LT
00000903: PUSH2 0x091a
00000906: JUMPI
00000907: PUSH2 0x0100
0000090a: DUP1
0000090b: DUP4
0000090c: SLOAD
0000090d: DIV
0000090e: MUL
0000090f: DUP4
00000910: MSTORE
00000911: SWAP2
00000912: PUSH1 0x20
00000914: ADD
00000915: SWAP2
00000916: PUSH2 0x0945
00000919: JUMP
0000091a: JUMPDEST
0000091b: DUP3
0000091c: ADD
0000091d: SWAP2
0000091e: SWAP1
0000091f: PUSH1 0x00
00000921: MSTORE
00000922: PUSH1 0x20
00000924: PUSH1 0x00
00000926: KECCAK256
00000927: SWAP1
00000928: JUMPDEST
00000929: DUP2
0000092a: SLOAD
0000092b: DUP2
0000092c: MSTORE
0000092d: SWAP1
0000092e: PUSH1 0x01
00000930: ADD
00000931: SWAP1
00000932: PUSH1 0x20
00000934: ADD
00000935: DUP1
00000936: DUP4
00000937: GT
00000938: PUSH2 0x0928
0000093b: JUMPI
0000093c: DUP3
0000093d: SWAP1
0000093e: SUB
0000093f: PUSH1 0x1f
00000941: AND
00000942: DUP3
00000943: ADD
00000944: SWAP2
00000945: JUMPDEST
00000946: POP
00000947: POP
00000948: POP
00000949: POP
0000094a: POP
0000094b: DUP2
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x00
00000950: DUP1
00000951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000966: AND
00000967: DUP4
00000968: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097d: AND
0000097e: EQ
0000097f: ISZERO
00000980: ISZERO
00000981: ISZERO
00000982: PUSH2 0x098a
00000985: JUMPI
00000986: PUSH1 0x00
00000988: DUP1
00000989: REVERT
0000098a: JUMPDEST
0000098b: DUP2
0000098c: PUSH1 0x07
0000098e: PUSH1 0x00
00000990: CALLER
00000991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a6: AND
000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bc: AND
000009bd: DUP2
000009be: MSTORE
000009bf: PUSH1 0x20
000009c1: ADD
000009c2: SWAP1
000009c3: DUP2
000009c4: MSTORE
000009c5: PUSH1 0x20
000009c7: ADD
000009c8: PUSH1 0x00
000009ca: KECCAK256
000009cb: SLOAD
000009cc: LT
000009cd: ISZERO
000009ce: ISZERO
000009cf: ISZERO
000009d0: PUSH2 0x09d8
000009d3: JUMPI
000009d4: PUSH1 0x00
000009d6: DUP1
000009d7: REVERT
000009d8: JUMPDEST
000009d9: PUSH1 0x07
000009db: PUSH1 0x00
000009dd: DUP5
000009de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f3: AND
000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a09: AND
00000a0a: DUP2
00000a0b: MSTORE
00000a0c: PUSH1 0x20
00000a0e: ADD
00000a0f: SWAP1
00000a10: DUP2
00000a11: MSTORE
00000a12: PUSH1 0x20
00000a14: ADD
00000a15: PUSH1 0x00
00000a17: KECCAK256
00000a18: SLOAD
00000a19: DUP3
00000a1a: PUSH1 0x07
00000a1c: PUSH1 0x00
00000a1e: DUP7
00000a1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a34: AND
00000a35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4a: AND
00000a4b: DUP2
00000a4c: MSTORE
00000a4d: PUSH1 0x20
00000a4f: ADD
00000a50: SWAP1
00000a51: DUP2
00000a52: MSTORE
00000a53: PUSH1 0x20
00000a55: ADD
00000a56: PUSH1 0x00
00000a58: KECCAK256
00000a59: SLOAD
00000a5a: ADD
00000a5b: LT
00000a5c: ISZERO
00000a5d: ISZERO
00000a5e: ISZERO
00000a5f: PUSH2 0x0a67
00000a62: JUMPI
00000a63: PUSH1 0x00
00000a65: DUP1
00000a66: REVERT
00000a67: JUMPDEST
00000a68: DUP2
00000a69: PUSH1 0x07
00000a6b: PUSH1 0x00
00000a6d: CALLER
00000a6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a83: AND
00000a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a99: AND
00000a9a: DUP2
00000a9b: MSTORE
00000a9c: PUSH1 0x20
00000a9e: ADD
00000a9f: SWAP1
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: PUSH1 0x20
00000aa4: ADD
00000aa5: PUSH1 0x00
00000aa7: KECCAK256
00000aa8: PUSH1 0x00
00000aaa: DUP3
00000aab: DUP3
00000aac: SLOAD
00000aad: SUB
00000aae: SWAP3
00000aaf: POP
00000ab0: POP
00000ab1: DUP2
00000ab2: SWAP1
00000ab3: SSTORE
00000ab4: POP
00000ab5: DUP2
00000ab6: PUSH1 0x07
00000ab8: PUSH1 0x00
00000aba: DUP6
00000abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad0: AND
00000ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae6: AND
00000ae7: DUP2
00000ae8: MSTORE
00000ae9: PUSH1 0x20
00000aeb: ADD
00000aec: SWAP1
00000aed: DUP2
00000aee: MSTORE
00000aef: PUSH1 0x20
00000af1: ADD
00000af2: PUSH1 0x00
00000af4: KECCAK256
00000af5: PUSH1 0x00
00000af7: DUP3
00000af8: DUP3
00000af9: SLOAD
00000afa: ADD
00000afb: SWAP3
00000afc: POP
00000afd: POP
00000afe: DUP2
00000aff: SWAP1
00000b00: SSTORE
00000b01: POP
00000b02: DUP3
00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b18: AND
00000b19: CALLER
00000b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2f: AND
00000b30: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000b51: DUP5
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: DUP1
00000b56: DUP3
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP2
00000b5d: POP
00000b5e: POP
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: SWAP2
00000b64: SUB
00000b65: SWAP1
00000b66: LOG3
00000b67: PUSH1 0x01
00000b69: SWAP1
00000b6a: POP
00000b6b: SWAP3
00000b6c: SWAP2
00000b6d: POP
00000b6e: POP
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH1 0x00
00000b73: DUP1
00000b74: SWAP1
00000b75: SLOAD
00000b76: SWAP1
00000b77: PUSH2 0x0100
00000b7a: EXP
00000b7b: SWAP1
00000b7c: DIV
00000b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b92: AND
00000b93: DUP2
00000b94: JUMP
00000b95: STOP
00000b96: LOG1
00000b97: PUSH6 0x627a7a723058
00000b9e: KECCAK256
00000b9f: UNKNOWN(0xC2)
00000ba0: SWAP4
00000ba1: UNKNOWN(0xB2)
00000ba2: LOG3
00000ba3: UNKNOWN(0x4E)
00000ba4: UNKNOWN(0xEF)
00000ba5: GASLIMIT
00000ba6: SGT
00000ba7: SWAP13
00000ba8: UNKNOWN(0x2C)
00000ba9: UNKNOWN(0x2B)
00000baa: TSTORE
00000bab: DUP2
00000bac: SGT
00000bad: PUSH23
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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x34b8f4e4896c6869ebd57431c175e5913d2ed155401ffdc97c47db45e309a65d
call_targets: 0xa51975667d7596a0a9f9c1c384204be7d3ea45c2
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x34b8f4e4896c6869ebd57431c175e5913d2ed155401ffdc97c47db45e309a65d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa51975667d7596a0a9f9c1c384204be7d3ea45c2"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1afaa6e8",
            "selector": "0x1afaa6e8",
            "calldata_variants": [
                "0x1afaa6e8",
                "0x1afaa6e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f631920",
            "selector": "0x2f631920",
            "calldata_variants": [
                "0x2f631920",
                "0x2f6319200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x453c33b6",
            "selector": "0x453c33b6",
            "calldata_variants": [
                "0x453c33b6",
                "0x453c33b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2024,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 1833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1942,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2115,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x34b8f4e4896c6869ebd57431c175e5913d2ed155401ffdc97c47db45e309a65d
call_targets: 0xa51975667d7596a0a9f9c1c384204be7d3ea45c2
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x34b8f4e4896c6869ebd57431c175e5913d2ed155401ffdc97c47db45e309a65d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa51975667d7596a0a9f9c1c384204be7d3ea45c2"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1afaa6e8",
            "selector": "0x1afaa6e8",
            "calldata_variants": [
                "0x1afaa6e8",
                "0x1afaa6e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f631920",
            "selector": "0x2f631920",
            "calldata_variants": [
                "0x2f631920",
                "0x2f6319200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x453c33b6",
            "selector": "0x453c33b6",
            "calldata_variants": [
                "0x453c33b6",
                "0x453c33b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2024,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 1833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1942,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2115,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}