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

Analysis Run

019b477e-af1d-731e-b544-11c5e0ac9edd

complete
Chain ID
1
Address
0x7b11dfb29504abc8c0dfa60dc7e0aa2aae836db0
Block Number
—
Created
Mon, Dec 22, 2025 7:17 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 DELEGATECALL target 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
21719 artifact.fetch complete 1 / 3 3 months ago
21720 tool.cast_disasm complete 1 / 3 3 months ago
64830 analysis.bundle complete 1 / 3 1 week ago
64831 capability.graph complete 1 / 3 1 week ago
64832 detector.run complete 1 / 3 1 week ago
64833 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
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
4
Total opcodes
1608
Flags
delegatecall_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0095
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x1386dc2d
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x00d6
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x6ce15a54
0000002d: EQ
0000002e: PUSH2 0x00fd
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x89ae1c90
00000038: EQ
00000039: PUSH2 0x0174
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x8cf1355c
00000043: EQ
00000044: PUSH2 0x01a5
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x8da5cb5b
0000004e: EQ
0000004f: PUSH2 0x01cf
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0xb756d5a2
00000059: EQ
0000005a: PUSH2 0x01e4
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0xcb16d4a2
00000064: EQ
00000065: PUSH2 0x0214
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0xd29ab9c4
0000006f: EQ
00000070: PUSH2 0x0238
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0xdab0efff
0000007a: EQ
0000007b: PUSH2 0x0262
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0xe1758bd8
00000085: EQ
00000086: PUSH2 0x028c
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0xf2fde38b
00000090: EQ
00000091: PUSH2 0x02a1
00000094: JUMPI
00000095: JUMPDEST
00000096: PUSH1 0x40
00000098: DUP1
00000099: MLOAD
0000009a: CALLVALUE
0000009b: DUP2
0000009c: MSTORE
0000009d: SWAP1
0000009e: MLOAD
0000009f: PUSH1 0x01
000000a1: PUSH1 0xa0
000000a3: PUSH1 0x02
000000a5: EXP
000000a6: SUB
000000a7: CALLER
000000a8: AND
000000a9: SWAP2
000000aa: PUSH32 0xf32a9f77675fd5917534c7746608fd3e309eac68fbdcbf5925e24ca97a704396
000000cb: SWAP2
000000cc: SWAP1
000000cd: DUP2
000000ce: SWAP1
000000cf: SUB
000000d0: PUSH1 0x20
000000d2: ADD
000000d3: SWAP1
000000d4: LOG2
000000d5: STOP
000000d6: JUMPDEST
000000d7: CALLVALUE
000000d8: DUP1
000000d9: ISZERO
000000da: PUSH2 0x00e2
000000dd: JUMPI
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: POP
000000e4: PUSH2 0x00eb
000000e7: PUSH2 0x02c4
000000ea: JUMP
000000eb: JUMPDEST
000000ec: PUSH1 0x40
000000ee: DUP1
000000ef: MLOAD
000000f0: SWAP2
000000f1: DUP3
000000f2: MSTORE
000000f3: MLOAD
000000f4: SWAP1
000000f5: DUP2
000000f6: SWAP1
000000f7: SUB
000000f8: PUSH1 0x20
000000fa: ADD
000000fb: SWAP1
000000fc: RETURN
000000fd: JUMPDEST
000000fe: CALLVALUE
000000ff: DUP1
00000100: ISZERO
00000101: PUSH2 0x0109
00000104: JUMPI
00000105: PUSH1 0x00
00000107: DUP1
00000108: REVERT
00000109: JUMPDEST
0000010a: POP
0000010b: PUSH1 0x40
0000010d: DUP1
0000010e: MLOAD
0000010f: PUSH1 0x20
00000111: PUSH1 0x04
00000113: PUSH1 0x24
00000115: DUP1
00000116: CALLDATALOAD
00000117: DUP3
00000118: DUP2
00000119: ADD
0000011a: CALLDATALOAD
0000011b: DUP5
0000011c: DUP2
0000011d: MUL
0000011e: DUP1
0000011f: DUP8
00000120: ADD
00000121: DUP7
00000122: ADD
00000123: SWAP1
00000124: SWAP8
00000125: MSTORE
00000126: DUP1
00000127: DUP7
00000128: MSTORE
00000129: PUSH2 0x0160
0000012c: SWAP7
0000012d: DUP5
0000012e: CALLDATALOAD
0000012f: PUSH1 0x01
00000131: PUSH1 0xa0
00000133: PUSH1 0x02
00000135: EXP
00000136: SUB
00000137: AND
00000138: SWAP7
00000139: CALLDATASIZE
0000013a: SWAP7
0000013b: PUSH1 0x44
0000013d: SWAP6
0000013e: SWAP2
0000013f: SWAP5
00000140: SWAP1
00000141: SWAP2
00000142: ADD
00000143: SWAP3
00000144: SWAP2
00000145: DUP3
00000146: SWAP2
00000147: DUP6
00000148: ADD
00000149: SWAP1
0000014a: DUP5
0000014b: SWAP1
0000014c: DUP1
0000014d: DUP3
0000014e: DUP5
0000014f: CALLDATACOPY
00000150: POP
00000151: SWAP5
00000152: SWAP8
00000153: POP
00000154: PUSH2 0x02ca
00000157: SWAP7
00000158: POP
00000159: POP
0000015a: POP
0000015b: POP
0000015c: POP
0000015d: POP
0000015e: POP
0000015f: JUMP
00000160: JUMPDEST
00000161: PUSH1 0x40
00000163: DUP1
00000164: MLOAD
00000165: SWAP2
00000166: ISZERO
00000167: ISZERO
00000168: DUP3
00000169: MSTORE
0000016a: MLOAD
0000016b: SWAP1
0000016c: DUP2
0000016d: SWAP1
0000016e: SUB
0000016f: PUSH1 0x20
00000171: ADD
00000172: SWAP1
00000173: RETURN
00000174: JUMPDEST
00000175: CALLVALUE
00000176: DUP1
00000177: ISZERO
00000178: PUSH2 0x0180
0000017b: JUMPI
0000017c: PUSH1 0x00
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: PUSH2 0x0189
00000185: PUSH2 0x042c
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH1 0x40
0000018c: DUP1
0000018d: MLOAD
0000018e: PUSH1 0x01
00000190: PUSH1 0xa0
00000192: PUSH1 0x02
00000194: EXP
00000195: SUB
00000196: SWAP1
00000197: SWAP3
00000198: AND
00000199: DUP3
0000019a: MSTORE
0000019b: MLOAD
0000019c: SWAP1
0000019d: DUP2
0000019e: SWAP1
0000019f: SUB
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: SWAP1
000001a4: RETURN
000001a5: JUMPDEST
000001a6: CALLVALUE
000001a7: DUP1
000001a8: ISZERO
000001a9: PUSH2 0x01b1
000001ac: JUMPI
000001ad: PUSH1 0x00
000001af: DUP1
000001b0: REVERT
000001b1: JUMPDEST
000001b2: POP
000001b3: PUSH2 0x0160
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: PUSH1 0x02
000001bc: EXP
000001bd: SUB
000001be: PUSH1 0x04
000001c0: CALLDATALOAD
000001c1: DUP2
000001c2: AND
000001c3: SWAP1
000001c4: PUSH1 0x24
000001c6: CALLDATALOAD
000001c7: AND
000001c8: PUSH1 0x44
000001ca: CALLDATALOAD
000001cb: PUSH2 0x043b
000001ce: JUMP
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01db
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x0189
000001e0: PUSH2 0x0536
000001e3: JUMP
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: DUP1
000001e7: ISZERO
000001e8: PUSH2 0x01f0
000001eb: JUMPI
000001ec: PUSH1 0x00
000001ee: DUP1
000001ef: REVERT
000001f0: JUMPDEST
000001f1: POP
000001f2: PUSH2 0x0160
000001f5: PUSH1 0x01
000001f7: PUSH1 0xa0
000001f9: PUSH1 0x02
000001fb: EXP
000001fc: SUB
000001fd: PUSH1 0x04
000001ff: CALLDATALOAD
00000200: DUP2
00000201: AND
00000202: SWAP1
00000203: PUSH1 0x24
00000205: CALLDATALOAD
00000206: DUP2
00000207: AND
00000208: SWAP1
00000209: PUSH1 0x44
0000020b: CALLDATALOAD
0000020c: AND
0000020d: PUSH1 0x64
0000020f: CALLDATALOAD
00000210: PUSH2 0x0545
00000213: JUMP
00000214: JUMPDEST
00000215: CALLVALUE
00000216: DUP1
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: PUSH2 0x0160
00000225: PUSH1 0x04
00000227: CALLDATALOAD
00000228: PUSH1 0x01
0000022a: PUSH1 0xa0
0000022c: PUSH1 0x02
0000022e: EXP
0000022f: SUB
00000230: PUSH1 0x24
00000232: CALLDATALOAD
00000233: AND
00000234: PUSH2 0x065b
00000237: JUMP
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x0160
00000249: PUSH1 0x01
0000024b: PUSH1 0xa0
0000024d: PUSH1 0x02
0000024f: EXP
00000250: SUB
00000251: PUSH1 0x04
00000253: CALLDATALOAD
00000254: DUP2
00000255: AND
00000256: SWAP1
00000257: PUSH1 0x24
00000259: CALLDATALOAD
0000025a: AND
0000025b: PUSH1 0x44
0000025d: CALLDATALOAD
0000025e: PUSH2 0x06f6
00000261: JUMP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x0160
00000273: PUSH1 0x01
00000275: PUSH1 0xa0
00000277: PUSH1 0x02
00000279: EXP
0000027a: SUB
0000027b: PUSH1 0x04
0000027d: CALLDATALOAD
0000027e: DUP2
0000027f: AND
00000280: SWAP1
00000281: PUSH1 0x24
00000283: CALLDATALOAD
00000284: AND
00000285: PUSH1 0x44
00000287: CALLDATALOAD
00000288: PUSH2 0x07f1
0000028b: JUMP
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: DUP1
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: POP
0000029a: PUSH2 0x0189
0000029d: PUSH2 0x08e9
000002a0: JUMP
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH2 0x02c2
000002b2: PUSH1 0x01
000002b4: PUSH1 0xa0
000002b6: PUSH1 0x02
000002b8: EXP
000002b9: SUB
000002ba: PUSH1 0x04
000002bc: CALLDATALOAD
000002bd: AND
000002be: PUSH2 0x08f8
000002c1: JUMP
000002c2: JUMPDEST
000002c3: STOP
000002c4: JUMPDEST
000002c5: PUSH1 0x01
000002c7: SLOAD
000002c8: DUP2
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: SLOAD
000002cf: CALLER
000002d0: PUSH1 0x01
000002d2: PUSH1 0xa0
000002d4: PUSH1 0x02
000002d6: EXP
000002d7: SUB
000002d8: SWAP1
000002d9: DUP2
000002da: AND
000002db: SWAP2
000002dc: AND
000002dd: EQ
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: DUP3
000002e8: PUSH1 0x01
000002ea: PUSH1 0xa0
000002ec: PUSH1 0x02
000002ee: EXP
000002ef: SUB
000002f0: AND
000002f1: PUSH32 0x8518530cc6bc186721ab2fc226031ca054c8484893d8b0c7faab65a58aac238d
00000312: DUP4
00000313: PUSH1 0x40
00000315: MLOAD
00000316: DUP1
00000317: DUP1
00000318: PUSH1 0x20
0000031a: ADD
0000031b: DUP3
0000031c: DUP2
0000031d: SUB
0000031e: DUP3
0000031f: MSTORE
00000320: DUP4
00000321: DUP2
00000322: DUP2
00000323: MLOAD
00000324: DUP2
00000325: MSTORE
00000326: PUSH1 0x20
00000328: ADD
00000329: SWAP2
0000032a: POP
0000032b: DUP1
0000032c: MLOAD
0000032d: SWAP1
0000032e: PUSH1 0x20
00000330: ADD
00000331: SWAP1
00000332: PUSH1 0x20
00000334: MUL
00000335: DUP1
00000336: DUP4
00000337: DUP4
00000338: PUSH1 0x00
0000033a: JUMPDEST
0000033b: DUP4
0000033c: DUP2
0000033d: LT
0000033e: ISZERO
0000033f: PUSH2 0x0352
00000342: JUMPI
00000343: DUP2
00000344: DUP2
00000345: ADD
00000346: MLOAD
00000347: DUP4
00000348: DUP3
00000349: ADD
0000034a: MSTORE
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: PUSH2 0x033a
00000351: JUMP
00000352: JUMPDEST
00000353: POP
00000354: POP
00000355: POP
00000356: POP
00000357: SWAP1
00000358: POP
00000359: ADD
0000035a: SWAP3
0000035b: POP
0000035c: POP
0000035d: POP
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: SWAP2
00000363: SUB
00000364: SWAP1
00000365: LOG2
00000366: DUP3
00000367: PUSH1 0x01
00000369: PUSH1 0xa0
0000036b: PUSH1 0x02
0000036d: EXP
0000036e: SUB
0000036f: AND
00000370: PUSH1 0x40
00000372: MLOAD
00000373: DUP1
00000374: DUP1
00000375: PUSH32 0x616374696f6e28627974657333325b5d29000000000000000000000000000000
00000396: DUP2
00000397: MSTORE
00000398: POP
00000399: PUSH1 0x11
0000039b: ADD
0000039c: SWAP1
0000039d: POP
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: DUP1
000003a2: SWAP2
000003a3: SUB
000003a4: SWAP1
000003a5: KECCAK256
000003a6: PUSH1 0xe0
000003a8: PUSH1 0x02
000003aa: EXP
000003ab: SWAP1
000003ac: DIV
000003ad: PUSH1 0x20
000003af: DUP5
000003b0: MLOAD
000003b1: DUP6
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: DUP5
000003b6: PUSH4 0xffffffff
000003bb: AND
000003bc: PUSH1 0xe0
000003be: PUSH1 0x02
000003c0: EXP
000003c1: MUL
000003c2: DUP2
000003c3: MSTORE
000003c4: PUSH1 0x04
000003c6: ADD
000003c7: DUP1
000003c8: DUP5
000003c9: DUP2
000003ca: MSTORE
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: DUP4
000003cf: DUP2
000003d0: MSTORE
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: DUP3
000003d5: DUP1
000003d6: MLOAD
000003d7: SWAP1
000003d8: PUSH1 0x20
000003da: ADD
000003db: SWAP1
000003dc: PUSH1 0x20
000003de: MUL
000003df: DUP1
000003e0: DUP4
000003e1: DUP4
000003e2: PUSH1 0x00
000003e4: JUMPDEST
000003e5: DUP4
000003e6: DUP2
000003e7: LT
000003e8: ISZERO
000003e9: PUSH2 0x03fc
000003ec: JUMPI
000003ed: DUP2
000003ee: DUP2
000003ef: ADD
000003f0: MLOAD
000003f1: DUP4
000003f2: DUP3
000003f3: ADD
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: PUSH2 0x03e4
000003fb: JUMP
000003fc: JUMPDEST
000003fd: POP
000003fe: POP
000003ff: POP
00000400: POP
00000401: SWAP1
00000402: POP
00000403: ADD
00000404: SWAP4
00000405: POP
00000406: POP
00000407: POP
00000408: POP
00000409: PUSH1 0x00
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: DUP1
0000040f: DUP4
00000410: SUB
00000411: DUP2
00000412: DUP7
00000413: GAS
00000414: DELEGATECALL
00000415: SWAP3
00000416: POP
00000417: POP
00000418: POP
00000419: ISZERO
0000041a: ISZERO
0000041b: PUSH2 0x0423
0000041e: JUMPI
0000041f: PUSH1 0x00
00000421: DUP1
00000422: REVERT
00000423: JUMPDEST
00000424: POP
00000425: PUSH1 0x01
00000427: SWAP3
00000428: SWAP2
00000429: POP
0000042a: POP
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x03
0000042f: SLOAD
00000430: PUSH1 0x01
00000432: PUSH1 0xa0
00000434: PUSH1 0x02
00000436: EXP
00000437: SUB
00000438: AND
00000439: DUP2
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: SLOAD
00000440: CALLER
00000441: PUSH1 0x01
00000443: PUSH1 0xa0
00000445: PUSH1 0x02
00000447: EXP
00000448: SUB
00000449: SWAP1
0000044a: DUP2
0000044b: AND
0000044c: SWAP2
0000044d: AND
0000044e: EQ
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: DUP4
00000459: PUSH1 0x01
0000045b: PUSH1 0xa0
0000045d: PUSH1 0x02
0000045f: EXP
00000460: SUB
00000461: AND
00000462: PUSH4 0xd73dd623
00000467: DUP5
00000468: DUP5
00000469: PUSH1 0x40
0000046b: MLOAD
0000046c: DUP4
0000046d: PUSH4 0xffffffff
00000472: AND
00000473: PUSH1 0xe0
00000475: PUSH1 0x02
00000477: EXP
00000478: MUL
00000479: DUP2
0000047a: MSTORE
0000047b: PUSH1 0x04
0000047d: ADD
0000047e: DUP1
0000047f: DUP4
00000480: PUSH1 0x01
00000482: PUSH1 0xa0
00000484: PUSH1 0x02
00000486: EXP
00000487: SUB
00000488: AND
00000489: PUSH1 0x01
0000048b: PUSH1 0xa0
0000048d: PUSH1 0x02
0000048f: EXP
00000490: SUB
00000491: AND
00000492: DUP2
00000493: MSTORE
00000494: PUSH1 0x20
00000496: ADD
00000497: DUP3
00000498: DUP2
00000499: MSTORE
0000049a: PUSH1 0x20
0000049c: ADD
0000049d: SWAP3
0000049e: POP
0000049f: POP
000004a0: POP
000004a1: PUSH1 0x20
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: DUP1
000004a7: DUP4
000004a8: SUB
000004a9: DUP2
000004aa: PUSH1 0x00
000004ac: DUP8
000004ad: DUP1
000004ae: EXTCODESIZE
000004af: ISZERO
000004b0: DUP1
000004b1: ISZERO
000004b2: PUSH2 0x04ba
000004b5: JUMPI
000004b6: PUSH1 0x00
000004b8: DUP1
000004b9: REVERT
000004ba: JUMPDEST
000004bb: POP
000004bc: GAS
000004bd: CALL
000004be: ISZERO
000004bf: DUP1
000004c0: ISZERO
000004c1: PUSH2 0x04ce
000004c4: JUMPI
000004c5: RETURNDATASIZE
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: RETURNDATACOPY
000004ca: RETURNDATASIZE
000004cb: PUSH1 0x00
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: POP
000004d1: POP
000004d2: POP
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: RETURNDATASIZE
000004d7: PUSH1 0x20
000004d9: DUP2
000004da: LT
000004db: ISZERO
000004dc: PUSH2 0x04e4
000004df: JUMPI
000004e0: PUSH1 0x00
000004e2: DUP1
000004e3: REVERT
000004e4: JUMPDEST
000004e5: POP
000004e6: POP
000004e7: PUSH1 0x40
000004e9: DUP1
000004ea: MLOAD
000004eb: PUSH1 0x01
000004ed: PUSH1 0xa0
000004ef: PUSH1 0x02
000004f1: EXP
000004f2: SUB
000004f3: DUP6
000004f4: DUP2
000004f5: AND
000004f6: DUP3
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: DUP3
000004fb: ADD
000004fc: DUP6
000004fd: SWAP1
000004fe: MSTORE
000004ff: DUP3
00000500: MLOAD
00000501: SWAP1
00000502: DUP8
00000503: AND
00000504: SWAP3
00000505: PUSH32 0xbe7df27d98bd0614ae920a695c2c2be09c164d8456083da020a98538692c465f
00000526: SWAP3
00000527: DUP3
00000528: SWAP1
00000529: SUB
0000052a: ADD
0000052b: SWAP1
0000052c: LOG2
0000052d: POP
0000052e: PUSH1 0x01
00000530: SWAP4
00000531: SWAP3
00000532: POP
00000533: POP
00000534: POP
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH1 0x00
00000539: SLOAD
0000053a: PUSH1 0x01
0000053c: PUSH1 0xa0
0000053e: PUSH1 0x02
00000540: EXP
00000541: SUB
00000542: AND
00000543: DUP2
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x00
00000548: DUP1
00000549: SLOAD
0000054a: CALLER
0000054b: PUSH1 0x01
0000054d: PUSH1 0xa0
0000054f: PUSH1 0x02
00000551: EXP
00000552: SUB
00000553: SWAP1
00000554: DUP2
00000555: AND
00000556: SWAP2
00000557: AND
00000558: EQ
00000559: PUSH2 0x0561
0000055c: JUMPI
0000055d: PUSH1 0x00
0000055f: DUP1
00000560: REVERT
00000561: JUMPDEST
00000562: PUSH1 0x40
00000564: DUP1
00000565: MLOAD
00000566: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: PUSH1 0x02
0000058f: EXP
00000590: SUB
00000591: DUP7
00000592: DUP2
00000593: AND
00000594: PUSH1 0x04
00000596: DUP4
00000597: ADD
00000598: MSTORE
00000599: DUP6
0000059a: DUP2
0000059b: AND
0000059c: PUSH1 0x24
0000059e: DUP4
0000059f: ADD
000005a0: MSTORE
000005a1: PUSH1 0x44
000005a3: DUP3
000005a4: ADD
000005a5: DUP6
000005a6: SWAP1
000005a7: MSTORE
000005a8: SWAP2
000005a9: MLOAD
000005aa: SWAP2
000005ab: DUP8
000005ac: AND
000005ad: SWAP2
000005ae: PUSH4 0x23b872dd
000005b3: SWAP2
000005b4: PUSH1 0x64
000005b6: DUP1
000005b7: DUP3
000005b8: ADD
000005b9: SWAP3
000005ba: PUSH1 0x20
000005bc: SWAP3
000005bd: SWAP1
000005be: SWAP2
000005bf: SWAP1
000005c0: DUP3
000005c1: SWAP1
000005c2: SUB
000005c3: ADD
000005c4: DUP2
000005c5: PUSH1 0x00
000005c7: DUP8
000005c8: DUP1
000005c9: EXTCODESIZE
000005ca: ISZERO
000005cb: DUP1
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: POP
000005d7: GAS
000005d8: CALL
000005d9: ISZERO
000005da: DUP1
000005db: ISZERO
000005dc: PUSH2 0x05e9
000005df: JUMPI
000005e0: RETURNDATASIZE
000005e1: PUSH1 0x00
000005e3: DUP1
000005e4: RETURNDATACOPY
000005e5: RETURNDATASIZE
000005e6: PUSH1 0x00
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: POP
000005ec: POP
000005ed: POP
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: RETURNDATASIZE
000005f2: PUSH1 0x20
000005f4: DUP2
000005f5: LT
000005f6: ISZERO
000005f7: PUSH2 0x05ff
000005fa: JUMPI
000005fb: PUSH1 0x00
000005fd: DUP1
000005fe: REVERT
000005ff: JUMPDEST
00000600: POP
00000601: POP
00000602: PUSH1 0x40
00000604: DUP1
00000605: MLOAD
00000606: PUSH1 0x01
00000608: PUSH1 0xa0
0000060a: PUSH1 0x02
0000060c: EXP
0000060d: SUB
0000060e: DUP7
0000060f: DUP2
00000610: AND
00000611: DUP3
00000612: MSTORE
00000613: DUP6
00000614: DUP2
00000615: AND
00000616: PUSH1 0x20
00000618: DUP4
00000619: ADD
0000061a: MSTORE
0000061b: DUP2
0000061c: DUP4
0000061d: ADD
0000061e: DUP6
0000061f: SWAP1
00000620: MSTORE
00000621: SWAP2
00000622: MLOAD
00000623: SWAP2
00000624: DUP8
00000625: AND
00000626: SWAP2
00000627: PUSH32 0x179c15de44aa7ab84896301974328eb40b5b40fe01cfe0fee2924ea712c3e843
00000648: SWAP2
00000649: DUP2
0000064a: SWAP1
0000064b: SUB
0000064c: PUSH1 0x60
0000064e: ADD
0000064f: SWAP1
00000650: LOG2
00000651: POP
00000652: PUSH1 0x01
00000654: SWAP5
00000655: SWAP4
00000656: POP
00000657: POP
00000658: POP
00000659: POP
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH1 0x00
0000065e: DUP1
0000065f: SLOAD
00000660: CALLER
00000661: PUSH1 0x01
00000663: PUSH1 0xa0
00000665: PUSH1 0x02
00000667: EXP
00000668: SUB
00000669: SWAP1
0000066a: DUP2
0000066b: AND
0000066c: SWAP2
0000066d: AND
0000066e: EQ
0000066f: PUSH2 0x0677
00000672: JUMPI
00000673: PUSH1 0x00
00000675: DUP1
00000676: REVERT
00000677: JUMPDEST
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: PUSH1 0x01
0000067d: PUSH1 0xa0
0000067f: PUSH1 0x02
00000681: EXP
00000682: SUB
00000683: DUP4
00000684: AND
00000685: SWAP1
00000686: DUP5
00000687: ISZERO
00000688: PUSH2 0x08fc
0000068b: MUL
0000068c: SWAP1
0000068d: DUP6
0000068e: SWAP1
0000068f: PUSH1 0x00
00000691: DUP2
00000692: DUP2
00000693: DUP2
00000694: DUP6
00000695: DUP9
00000696: DUP9
00000697: CALL
00000698: SWAP4
00000699: POP
0000069a: POP
0000069b: POP
0000069c: POP
0000069d: ISZERO
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06ad
000006a3: JUMPI
000006a4: RETURNDATASIZE
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: RETURNDATACOPY
000006a9: RETURNDATASIZE
000006aa: PUSH1 0x00
000006ac: REVERT
000006ad: JUMPDEST
000006ae: POP
000006af: PUSH1 0x40
000006b1: DUP1
000006b2: MLOAD
000006b3: DUP5
000006b4: DUP2
000006b5: MSTORE
000006b6: SWAP1
000006b7: MLOAD
000006b8: PUSH1 0x01
000006ba: PUSH1 0xa0
000006bc: PUSH1 0x02
000006be: EXP
000006bf: SUB
000006c0: DUP5
000006c1: AND
000006c2: SWAP2
000006c3: PUSH32 0x22fca66666089f39bc900dd6605b489df4aae6260cc8ea8257594cfb8c84926c
000006e4: SWAP2
000006e5: SWAP1
000006e6: DUP2
000006e7: SWAP1
000006e8: SUB
000006e9: PUSH1 0x20
000006eb: ADD
000006ec: SWAP1
000006ed: LOG2
000006ee: POP
000006ef: PUSH1 0x01
000006f1: SWAP3
000006f2: SWAP2
000006f3: POP
000006f4: POP
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH1 0x00
000006f9: DUP1
000006fa: SLOAD
000006fb: CALLER
000006fc: PUSH1 0x01
000006fe: PUSH1 0xa0
00000700: PUSH1 0x02
00000702: EXP
00000703: SUB
00000704: SWAP1
00000705: DUP2
00000706: AND
00000707: SWAP2
00000708: AND
00000709: EQ
0000070a: PUSH2 0x0712
0000070d: JUMPI
0000070e: PUSH1 0x00
00000710: DUP1
00000711: REVERT
00000712: JUMPDEST
00000713: DUP4
00000714: PUSH1 0x01
00000716: PUSH1 0xa0
00000718: PUSH1 0x02
0000071a: EXP
0000071b: SUB
0000071c: AND
0000071d: PUSH4 0x66188463
00000722: DUP5
00000723: DUP5
00000724: PUSH1 0x40
00000726: MLOAD
00000727: DUP4
00000728: PUSH4 0xffffffff
0000072d: AND
0000072e: PUSH1 0xe0
00000730: PUSH1 0x02
00000732: EXP
00000733: MUL
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x04
00000738: ADD
00000739: DUP1
0000073a: DUP4
0000073b: PUSH1 0x01
0000073d: PUSH1 0xa0
0000073f: PUSH1 0x02
00000741: EXP
00000742: SUB
00000743: AND
00000744: PUSH1 0x01
00000746: PUSH1 0xa0
00000748: PUSH1 0x02
0000074a: EXP
0000074b: SUB
0000074c: AND
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH1 0x20
00000751: ADD
00000752: DUP3
00000753: DUP2
00000754: MSTORE
00000755: PUSH1 0x20
00000757: ADD
00000758: SWAP3
00000759: POP
0000075a: POP
0000075b: POP
0000075c: PUSH1 0x20
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: DUP1
00000762: DUP4
00000763: SUB
00000764: DUP2
00000765: PUSH1 0x00
00000767: DUP8
00000768: DUP1
00000769: EXTCODESIZE
0000076a: ISZERO
0000076b: DUP1
0000076c: ISZERO
0000076d: PUSH2 0x0775
00000770: JUMPI
00000771: PUSH1 0x00
00000773: DUP1
00000774: REVERT
00000775: JUMPDEST
00000776: POP
00000777: GAS
00000778: CALL
00000779: ISZERO
0000077a: DUP1
0000077b: ISZERO
0000077c: PUSH2 0x0789
0000077f: JUMPI
00000780: RETURNDATASIZE
00000781: PUSH1 0x00
00000783: DUP1
00000784: RETURNDATACOPY
00000785: RETURNDATASIZE
00000786: PUSH1 0x00
00000788: REVERT
00000789: JUMPDEST
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: PUSH1 0x40
00000790: MLOAD
00000791: RETURNDATASIZE
00000792: PUSH1 0x20
00000794: DUP2
00000795: LT
00000796: ISZERO
00000797: PUSH2 0x079f
0000079a: JUMPI
0000079b: PUSH1 0x00
0000079d: DUP1
0000079e: REVERT
0000079f: JUMPDEST
000007a0: POP
000007a1: POP
000007a2: PUSH1 0x40
000007a4: DUP1
000007a5: MLOAD
000007a6: PUSH1 0x01
000007a8: PUSH1 0xa0
000007aa: PUSH1 0x02
000007ac: EXP
000007ad: SUB
000007ae: DUP6
000007af: DUP2
000007b0: AND
000007b1: DUP3
000007b2: MSTORE
000007b3: PUSH1 0x20
000007b5: DUP3
000007b6: ADD
000007b7: DUP6
000007b8: SWAP1
000007b9: MSTORE
000007ba: DUP3
000007bb: MLOAD
000007bc: SWAP1
000007bd: DUP8
000007be: AND
000007bf: SWAP3
000007c0: PUSH32 0x495e426dd61227fe840d969dfba17620c573364af8c37748ea71f96f744ae334
000007e1: SWAP3
000007e2: DUP3
000007e3: SWAP1
000007e4: SUB
000007e5: ADD
000007e6: SWAP1
000007e7: LOG2
000007e8: POP
000007e9: PUSH1 0x01
000007eb: SWAP4
000007ec: SWAP3
000007ed: POP
000007ee: POP
000007ef: POP
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x00
000007f4: DUP1
000007f5: SLOAD
000007f6: CALLER
000007f7: PUSH1 0x01
000007f9: PUSH1 0xa0
000007fb: PUSH1 0x02
000007fd: EXP
000007fe: SUB
000007ff: SWAP1
00000800: DUP2
00000801: AND
00000802: SWAP2
00000803: AND
00000804: EQ
00000805: PUSH2 0x080d
00000808: JUMPI
00000809: PUSH1 0x00
0000080b: DUP1
0000080c: REVERT
0000080d: JUMPDEST
0000080e: DUP4
0000080f: PUSH1 0x01
00000811: PUSH1 0xa0
00000813: PUSH1 0x02
00000815: EXP
00000816: SUB
00000817: AND
00000818: PUSH4 0xa9059cbb
0000081d: DUP5
0000081e: DUP5
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: DUP4
00000823: PUSH4 0xffffffff
00000828: AND
00000829: PUSH1 0xe0
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: MUL
0000082f: DUP2
00000830: MSTORE
00000831: PUSH1 0x04
00000833: ADD
00000834: DUP1
00000835: DUP4
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: PUSH1 0x02
0000083c: EXP
0000083d: SUB
0000083e: AND
0000083f: PUSH1 0x01
00000841: PUSH1 0xa0
00000843: PUSH1 0x02
00000845: EXP
00000846: SUB
00000847: AND
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x20
0000084c: ADD
0000084d: DUP3
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x20
00000852: ADD
00000853: SWAP3
00000854: POP
00000855: POP
00000856: POP
00000857: PUSH1 0x20
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: DUP1
0000085d: DUP4
0000085e: SUB
0000085f: DUP2
00000860: PUSH1 0x00
00000862: DUP8
00000863: DUP1
00000864: EXTCODESIZE
00000865: ISZERO
00000866: DUP1
00000867: ISZERO
00000868: PUSH2 0x0870
0000086b: JUMPI
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: REVERT
00000870: JUMPDEST
00000871: POP
00000872: GAS
00000873: CALL
00000874: ISZERO
00000875: DUP1
00000876: ISZERO
00000877: PUSH2 0x0884
0000087a: JUMPI
0000087b: RETURNDATASIZE
0000087c: PUSH1 0x00
0000087e: DUP1
0000087f: RETURNDATACOPY
00000880: RETURNDATASIZE
00000881: PUSH1 0x00
00000883: REVERT
00000884: JUMPDEST
00000885: POP
00000886: POP
00000887: POP
00000888: POP
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: RETURNDATASIZE
0000088d: PUSH1 0x20
0000088f: DUP2
00000890: LT
00000891: ISZERO
00000892: PUSH2 0x089a
00000895: JUMPI
00000896: PUSH1 0x00
00000898: DUP1
00000899: REVERT
0000089a: JUMPDEST
0000089b: POP
0000089c: POP
0000089d: PUSH1 0x40
0000089f: DUP1
000008a0: MLOAD
000008a1: DUP4
000008a2: DUP2
000008a3: MSTORE
000008a4: SWAP1
000008a5: MLOAD
000008a6: PUSH1 0x01
000008a8: PUSH1 0xa0
000008aa: PUSH1 0x02
000008ac: EXP
000008ad: SUB
000008ae: DUP1
000008af: DUP7
000008b0: AND
000008b1: SWAP3
000008b2: SWAP1
000008b3: DUP8
000008b4: AND
000008b5: SWAP2
000008b6: PUSH32 0x49dc2a60d2599a7b6932d78fb694c30dfc596fe4e0282b5d0fd184b52472c04d
000008d7: SWAP2
000008d8: DUP2
000008d9: SWAP1
000008da: SUB
000008db: PUSH1 0x20
000008dd: ADD
000008de: SWAP1
000008df: LOG3
000008e0: POP
000008e1: PUSH1 0x01
000008e3: SWAP4
000008e4: SWAP3
000008e5: POP
000008e6: POP
000008e7: POP
000008e8: JUMP
000008e9: JUMPDEST
000008ea: PUSH1 0x02
000008ec: SLOAD
000008ed: PUSH1 0x01
000008ef: PUSH1 0xa0
000008f1: PUSH1 0x02
000008f3: EXP
000008f4: SUB
000008f5: AND
000008f6: DUP2
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x00
000008fb: SLOAD
000008fc: CALLER
000008fd: PUSH1 0x01
000008ff: PUSH1 0xa0
00000901: PUSH1 0x02
00000903: EXP
00000904: SUB
00000905: SWAP1
00000906: DUP2
00000907: AND
00000908: SWAP2
00000909: AND
0000090a: EQ
0000090b: PUSH2 0x0913
0000090e: JUMPI
0000090f: PUSH1 0x00
00000911: DUP1
00000912: REVERT
00000913: JUMPDEST
00000914: PUSH1 0x01
00000916: PUSH1 0xa0
00000918: PUSH1 0x02
0000091a: EXP
0000091b: SUB
0000091c: DUP2
0000091d: AND
0000091e: ISZERO
0000091f: ISZERO
00000920: PUSH2 0x0928
00000923: JUMPI
00000924: PUSH1 0x00
00000926: DUP1
00000927: REVERT
00000928: JUMPDEST
00000929: PUSH1 0x00
0000092b: DUP1
0000092c: SLOAD
0000092d: PUSH1 0x40
0000092f: MLOAD
00000930: PUSH1 0x01
00000932: PUSH1 0xa0
00000934: PUSH1 0x02
00000936: EXP
00000937: SUB
00000938: DUP1
00000939: DUP6
0000093a: AND
0000093b: SWAP4
0000093c: SWAP3
0000093d: AND
0000093e: SWAP2
0000093f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000960: SWAP2
00000961: LOG3
00000962: PUSH1 0x00
00000964: DUP1
00000965: SLOAD
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: NOT
0000097c: AND
0000097d: PUSH1 0x01
0000097f: PUSH1 0xa0
00000981: PUSH1 0x02
00000983: EXP
00000984: SUB
00000985: SWAP3
00000986: SWAP1
00000987: SWAP3
00000988: AND
00000989: SWAP2
0000098a: SWAP1
0000098b: SWAP2
0000098c: OR
0000098d: SWAP1
0000098e: SSTORE
0000098f: JUMP
00000990: STOP
00000991: LOG1
00000992: PUSH6 0x627a7a723058
00000999: KECCAK256
0000099a: UNKNOWN(0x22)
0000099b: TLOAD
0000099c: UNKNOWN(0xA7)
0000099d: LOG3
0000099e: RETURNDATASIZE
0000099f: ISZERO
000009a0: OR
000009a1: PUSH18 0x22cb9dc3b9971e1b2fb6892f527dc66d0d52
000009b4: INVALID
000009b5: LOG0
000009b6: UNKNOWN(0xBE)
000009b7: PUSH2 0xf39b
000009ba: STOP
000009bb: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x6a2a66ecd2b74d008bd229a17550bbd5042f3a901a2112234a4ca9b0718ff678
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 132,
    "trace_id": "0x6a2a66ecd2b74d008bd229a17550bbd5042f3a901a2112234a4ca9b0718ff678",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x1386dc2d",
            "selector": "0x1386dc2d",
            "calldata_variants": [
                "0x1386dc2d",
                "0x1386dc2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ce15a54",
            "selector": "0x6ce15a54",
            "calldata_variants": [
                "0x6ce15a54",
                "0x6ce15a540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x89ae1c90",
            "selector": "0x89ae1c90",
            "calldata_variants": [
                "0x89ae1c90",
                "0x89ae1c900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8cf1355c",
            "selector": "0x8cf1355c",
            "calldata_variants": [
                "0x8cf1355c",
                "0x8cf1355c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb756d5a2",
            "selector": "0xb756d5a2",
            "calldata_variants": [
                "0xb756d5a2",
                "0xb756d5a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb16d4a2",
            "selector": "0xcb16d4a2",
            "calldata_variants": [
                "0xcb16d4a2",
                "0xcb16d4a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd29ab9c4",
            "selector": "0xd29ab9c4",
            "calldata_variants": [
                "0xd29ab9c4",
                "0xd29ab9c40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1044,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xca923c4d090524d45978a01da4ae872a7926003be4c6c33d8d03e0ae27e46596
call_targets: 0x7b11dfb29504abc8c0dfa60dc7e0aa2aae836db0
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xca923c4d090524d45978a01da4ae872a7926003be4c6c33d8d03e0ae27e46596",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7b11dfb29504abc8c0dfa60dc7e0aa2aae836db0"
    ],
    "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": "0x1386dc2d",
            "selector": "0x1386dc2d",
            "calldata_variants": [
                "0x1386dc2d",
                "0x1386dc2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ce15a54",
            "selector": "0x6ce15a54",
            "calldata_variants": [
                "0x6ce15a54",
                "0x6ce15a540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x89ae1c90",
            "selector": "0x89ae1c90",
            "calldata_variants": [
                "0x89ae1c90",
                "0x89ae1c900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8cf1355c",
            "selector": "0x8cf1355c",
            "calldata_variants": [
                "0x8cf1355c",
                "0x8cf1355c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb756d5a2",
            "selector": "0xb756d5a2",
            "calldata_variants": [
                "0xb756d5a2",
                "0xb756d5a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb16d4a2",
            "selector": "0xcb16d4a2",
            "calldata_variants": [
                "0xcb16d4a2",
                "0xcb16d4a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd29ab9c4",
            "selector": "0xd29ab9c4",
            "calldata_variants": [
                "0xd29ab9c4",
                "0xd29ab9c40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1213,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1496,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1687,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xca923c4d090524d45978a01da4ae872a7926003be4c6c33d8d03e0ae27e46596
call_targets: 0x7b11dfb29504abc8c0dfa60dc7e0aa2aae836db0
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xca923c4d090524d45978a01da4ae872a7926003be4c6c33d8d03e0ae27e46596",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7b11dfb29504abc8c0dfa60dc7e0aa2aae836db0"
    ],
    "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": "0x1386dc2d",
            "selector": "0x1386dc2d",
            "calldata_variants": [
                "0x1386dc2d",
                "0x1386dc2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ce15a54",
            "selector": "0x6ce15a54",
            "calldata_variants": [
                "0x6ce15a54",
                "0x6ce15a540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x89ae1c90",
            "selector": "0x89ae1c90",
            "calldata_variants": [
                "0x89ae1c90",
                "0x89ae1c900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8cf1355c",
            "selector": "0x8cf1355c",
            "calldata_variants": [
                "0x8cf1355c",
                "0x8cf1355c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb756d5a2",
            "selector": "0xb756d5a2",
            "calldata_variants": [
                "0xb756d5a2",
                "0xb756d5a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb16d4a2",
            "selector": "0xcb16d4a2",
            "calldata_variants": [
                "0xcb16d4a2",
                "0xcb16d4a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd29ab9c4",
            "selector": "0xd29ab9c4",
            "calldata_variants": [
                "0xd29ab9c4",
                "0xd29ab9c40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1213,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1496,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1687,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}