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

Analysis Run

019b477e-c85c-704b-84b6-10e8b22f387b

complete
Chain ID
1
Address
0x80b6b36ff5f8107ce7cd9d559c28ae49e09e60be
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 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
26123 artifact.fetch complete 1 / 3 3 months ago
26124 tool.cast_disasm complete 1 / 3 3 months ago
112975 analysis.bundle complete 1 / 3 1 week ago
112976 capability.graph complete 1 / 3 1 week ago
112977 detector.run complete 1 / 3 1 week ago
112978 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
1
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
0
Total opcodes
1156
Flags
selfdestruct_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0074
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x83197ef0
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x83197ef0
00000024: EQ
00000025: PUSH2 0x00d7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x853828b6
0000002f: EQ
00000030: PUSH2 0x00ec
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8da5cb5b
0000003a: EQ
0000003b: PUSH2 0x0101
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x012d
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x2e1a7d4d
00000055: EQ
00000056: PUSH2 0x0080
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x715018a6
00000060: EQ
00000061: PUSH2 0x00a2
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x7a53bcfc
0000006b: EQ
0000006c: PUSH2 0x00b7
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: CALLDATASIZE
00000076: PUSH2 0x007b
00000079: JUMPI
0000007a: STOP
0000007b: JUMPDEST
0000007c: PUSH1 0x00
0000007e: DUP1
0000007f: REVERT
00000080: JUMPDEST
00000081: CALLVALUE
00000082: DUP1
00000083: ISZERO
00000084: PUSH2 0x008c
00000087: JUMPI
00000088: PUSH1 0x00
0000008a: DUP1
0000008b: REVERT
0000008c: JUMPDEST
0000008d: POP
0000008e: PUSH2 0x00a0
00000091: PUSH2 0x009b
00000094: CALLDATASIZE
00000095: PUSH1 0x04
00000097: PUSH2 0x047f
0000009a: JUMP
0000009b: JUMPDEST
0000009c: PUSH2 0x014d
0000009f: JUMP
000000a0: JUMPDEST
000000a1: STOP
000000a2: JUMPDEST
000000a3: CALLVALUE
000000a4: DUP1
000000a5: ISZERO
000000a6: PUSH2 0x00ae
000000a9: JUMPI
000000aa: PUSH1 0x00
000000ac: DUP1
000000ad: REVERT
000000ae: JUMPDEST
000000af: POP
000000b0: PUSH2 0x00a0
000000b3: PUSH2 0x01ca
000000b6: JUMP
000000b7: JUMPDEST
000000b8: CALLVALUE
000000b9: DUP1
000000ba: ISZERO
000000bb: PUSH2 0x00c3
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: POP
000000c5: PUSH2 0x00a0
000000c8: PUSH2 0x00d2
000000cb: CALLDATASIZE
000000cc: PUSH1 0x04
000000ce: PUSH2 0x058a
000000d1: JUMP
000000d2: JUMPDEST
000000d3: PUSH2 0x0200
000000d6: JUMP
000000d7: JUMPDEST
000000d8: CALLVALUE
000000d9: DUP1
000000da: ISZERO
000000db: PUSH2 0x00e3
000000de: JUMPI
000000df: PUSH1 0x00
000000e1: DUP1
000000e2: REVERT
000000e3: JUMPDEST
000000e4: POP
000000e5: PUSH2 0x00a0
000000e8: PUSH2 0x02fc
000000eb: JUMP
000000ec: JUMPDEST
000000ed: CALLVALUE
000000ee: DUP1
000000ef: ISZERO
000000f0: PUSH2 0x00f8
000000f3: JUMPI
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: POP
000000fa: PUSH2 0x00a0
000000fd: PUSH2 0x0334
00000100: JUMP
00000101: JUMPDEST
00000102: CALLVALUE
00000103: DUP1
00000104: ISZERO
00000105: PUSH2 0x010d
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: POP
0000010f: PUSH1 0x00
00000111: SLOAD
00000112: PUSH1 0x40
00000114: DUP1
00000115: MLOAD
00000116: PUSH1 0x01
00000118: PUSH1 0x01
0000011a: PUSH1 0xa0
0000011c: SHL
0000011d: SUB
0000011e: SWAP1
0000011f: SWAP3
00000120: AND
00000121: DUP3
00000122: MSTORE
00000123: MLOAD
00000124: SWAP1
00000125: DUP2
00000126: SWAP1
00000127: SUB
00000128: PUSH1 0x20
0000012a: ADD
0000012b: SWAP1
0000012c: RETURN
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: DUP1
00000130: ISZERO
00000131: PUSH2 0x0139
00000134: JUMPI
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: POP
0000013b: PUSH2 0x00a0
0000013e: PUSH2 0x0148
00000141: CALLDATASIZE
00000142: PUSH1 0x04
00000144: PUSH2 0x064a
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH2 0x039b
0000014c: JUMP
0000014d: JUMPDEST
0000014e: PUSH1 0x00
00000150: SLOAD
00000151: PUSH1 0x01
00000153: PUSH1 0x01
00000155: PUSH1 0xa0
00000157: SHL
00000158: SUB
00000159: AND
0000015a: CALLER
0000015b: EQ
0000015c: PUSH2 0x0180
0000015f: JUMPI
00000160: PUSH1 0x40
00000162: MLOAD
00000163: PUSH3 0x461bcd
00000167: PUSH1 0xe5
00000169: SHL
0000016a: DUP2
0000016b: MSTORE
0000016c: PUSH1 0x04
0000016e: ADD
0000016f: PUSH2 0x0177
00000172: SWAP1
00000173: PUSH2 0x066c
00000176: JUMP
00000177: JUMPDEST
00000178: PUSH1 0x40
0000017a: MLOAD
0000017b: DUP1
0000017c: SWAP2
0000017d: SUB
0000017e: SWAP1
0000017f: REVERT
00000180: JUMPDEST
00000181: PUSH1 0x00
00000183: DUP2
00000184: GT
00000185: PUSH2 0x018d
00000188: JUMPI
00000189: PUSH1 0x00
0000018b: DUP1
0000018c: REVERT
0000018d: JUMPDEST
0000018e: PUSH1 0x00
00000190: DUP1
00000191: SLOAD
00000192: PUSH1 0x40
00000194: MLOAD
00000195: PUSH1 0x01
00000197: PUSH1 0x01
00000199: PUSH1 0xa0
0000019b: SHL
0000019c: SUB
0000019d: SWAP1
0000019e: SWAP2
0000019f: AND
000001a0: SWAP2
000001a1: DUP4
000001a2: ISZERO
000001a3: PUSH2 0x08fc
000001a6: MUL
000001a7: SWAP2
000001a8: DUP5
000001a9: SWAP2
000001aa: DUP2
000001ab: DUP2
000001ac: DUP2
000001ad: DUP6
000001ae: DUP9
000001af: DUP9
000001b0: CALL
000001b1: SWAP4
000001b2: POP
000001b3: POP
000001b4: POP
000001b5: POP
000001b6: ISZERO
000001b7: DUP1
000001b8: ISZERO
000001b9: PUSH2 0x01c6
000001bc: JUMPI
000001bd: RETURNDATASIZE
000001be: PUSH1 0x00
000001c0: DUP1
000001c1: RETURNDATACOPY
000001c2: RETURNDATASIZE
000001c3: PUSH1 0x00
000001c5: REVERT
000001c6: JUMPDEST
000001c7: POP
000001c8: POP
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH1 0x00
000001cd: SLOAD
000001ce: PUSH1 0x01
000001d0: PUSH1 0x01
000001d2: PUSH1 0xa0
000001d4: SHL
000001d5: SUB
000001d6: AND
000001d7: CALLER
000001d8: EQ
000001d9: PUSH2 0x01f4
000001dc: JUMPI
000001dd: PUSH1 0x40
000001df: MLOAD
000001e0: PUSH3 0x461bcd
000001e4: PUSH1 0xe5
000001e6: SHL
000001e7: DUP2
000001e8: MSTORE
000001e9: PUSH1 0x04
000001eb: ADD
000001ec: PUSH2 0x0177
000001ef: SWAP1
000001f0: PUSH2 0x066c
000001f3: JUMP
000001f4: JUMPDEST
000001f5: PUSH2 0x01fe
000001f8: PUSH1 0x00
000001fa: PUSH2 0x042f
000001fd: JUMP
000001fe: JUMPDEST
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH1 0x00
00000203: SLOAD
00000204: PUSH1 0x01
00000206: PUSH1 0x01
00000208: PUSH1 0xa0
0000020a: SHL
0000020b: SUB
0000020c: AND
0000020d: CALLER
0000020e: EQ
0000020f: PUSH2 0x022a
00000212: JUMPI
00000213: PUSH1 0x40
00000215: MLOAD
00000216: PUSH3 0x461bcd
0000021a: PUSH1 0xe5
0000021c: SHL
0000021d: DUP2
0000021e: MSTORE
0000021f: PUSH1 0x04
00000221: ADD
00000222: PUSH2 0x0177
00000225: SWAP1
00000226: PUSH2 0x066c
00000229: JUMP
0000022a: JUMPDEST
0000022b: DUP1
0000022c: MLOAD
0000022d: DUP3
0000022e: MLOAD
0000022f: EQ
00000230: PUSH2 0x026d
00000233: JUMPI
00000234: PUSH1 0x40
00000236: MLOAD
00000237: PUSH3 0x461bcd
0000023b: PUSH1 0xe5
0000023d: SHL
0000023e: DUP2
0000023f: MSTORE
00000240: PUSH1 0x20
00000242: PUSH1 0x04
00000244: DUP3
00000245: ADD
00000246: MSTORE
00000247: PUSH1 0x0f
00000249: PUSH1 0x24
0000024b: DUP3
0000024c: ADD
0000024d: MSTORE
0000024e: PUSH15 0x098cadccee8d040dad2e6dac2e8c6d
0000025e: PUSH1 0x8b
00000260: SHL
00000261: PUSH1 0x44
00000263: DUP3
00000264: ADD
00000265: MSTORE
00000266: PUSH1 0x64
00000268: ADD
00000269: PUSH2 0x0177
0000026c: JUMP
0000026d: JUMPDEST
0000026e: PUSH1 0x00
00000270: JUMPDEST
00000271: DUP3
00000272: MLOAD
00000273: DUP2
00000274: LT
00000275: ISZERO
00000276: PUSH2 0x02f7
00000279: JUMPI
0000027a: DUP3
0000027b: DUP2
0000027c: DUP2
0000027d: MLOAD
0000027e: DUP2
0000027f: LT
00000280: PUSH2 0x028b
00000283: JUMPI
00000284: PUSH2 0x028b
00000287: PUSH2 0x06a1
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x20
0000028e: MUL
0000028f: PUSH1 0x20
00000291: ADD
00000292: ADD
00000293: MLOAD
00000294: PUSH1 0x01
00000296: PUSH1 0x01
00000298: PUSH1 0xa0
0000029a: SHL
0000029b: SUB
0000029c: AND
0000029d: PUSH2 0x08fc
000002a0: DUP4
000002a1: DUP4
000002a2: DUP2
000002a3: MLOAD
000002a4: DUP2
000002a5: LT
000002a6: PUSH2 0x02b1
000002a9: JUMPI
000002aa: PUSH2 0x02b1
000002ad: PUSH2 0x06a1
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH1 0x20
000002b4: MUL
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: ADD
000002b9: MLOAD
000002ba: SWAP1
000002bb: DUP2
000002bc: ISZERO
000002bd: MUL
000002be: SWAP1
000002bf: PUSH1 0x40
000002c1: MLOAD
000002c2: PUSH1 0x00
000002c4: PUSH1 0x40
000002c6: MLOAD
000002c7: DUP1
000002c8: DUP4
000002c9: SUB
000002ca: DUP2
000002cb: DUP6
000002cc: DUP9
000002cd: DUP9
000002ce: CALL
000002cf: SWAP4
000002d0: POP
000002d1: POP
000002d2: POP
000002d3: POP
000002d4: ISZERO
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02e4
000002da: JUMPI
000002db: RETURNDATASIZE
000002dc: PUSH1 0x00
000002de: DUP1
000002df: RETURNDATACOPY
000002e0: RETURNDATASIZE
000002e1: PUSH1 0x00
000002e3: REVERT
000002e4: JUMPDEST
000002e5: POP
000002e6: DUP1
000002e7: PUSH2 0x02ef
000002ea: DUP2
000002eb: PUSH2 0x06b7
000002ee: JUMP
000002ef: JUMPDEST
000002f0: SWAP2
000002f1: POP
000002f2: POP
000002f3: PUSH2 0x0270
000002f6: JUMP
000002f7: JUMPDEST
000002f8: POP
000002f9: POP
000002fa: POP
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x00
000002ff: SLOAD
00000300: PUSH1 0x01
00000302: PUSH1 0x01
00000304: PUSH1 0xa0
00000306: SHL
00000307: SUB
00000308: AND
00000309: CALLER
0000030a: EQ
0000030b: PUSH2 0x0326
0000030e: JUMPI
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: PUSH3 0x461bcd
00000316: PUSH1 0xe5
00000318: SHL
00000319: DUP2
0000031a: MSTORE
0000031b: PUSH1 0x04
0000031d: ADD
0000031e: PUSH2 0x0177
00000321: SWAP1
00000322: PUSH2 0x066c
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH1 0x00
00000329: SLOAD
0000032a: PUSH1 0x01
0000032c: PUSH1 0x01
0000032e: PUSH1 0xa0
00000330: SHL
00000331: SUB
00000332: AND
00000333: SELFDESTRUCT
00000334: JUMPDEST
00000335: PUSH1 0x00
00000337: SLOAD
00000338: PUSH1 0x01
0000033a: PUSH1 0x01
0000033c: PUSH1 0xa0
0000033e: SHL
0000033f: SUB
00000340: AND
00000341: CALLER
00000342: EQ
00000343: PUSH2 0x035e
00000346: JUMPI
00000347: PUSH1 0x40
00000349: MLOAD
0000034a: PUSH3 0x461bcd
0000034e: PUSH1 0xe5
00000350: SHL
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x04
00000355: ADD
00000356: PUSH2 0x0177
00000359: SWAP1
0000035a: PUSH2 0x066c
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x00
00000361: DUP1
00000362: SLOAD
00000363: PUSH1 0x40
00000365: MLOAD
00000366: PUSH1 0x01
00000368: PUSH1 0x01
0000036a: PUSH1 0xa0
0000036c: SHL
0000036d: SUB
0000036e: SWAP1
0000036f: SWAP2
00000370: AND
00000371: SWAP2
00000372: SELFBALANCE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x08fc
00000378: MUL
00000379: SWAP3
0000037a: SWAP1
0000037b: SWAP2
0000037c: DUP2
0000037d: DUP2
0000037e: DUP2
0000037f: DUP6
00000380: DUP9
00000381: DUP9
00000382: CALL
00000383: SWAP4
00000384: POP
00000385: POP
00000386: POP
00000387: POP
00000388: ISZERO
00000389: DUP1
0000038a: ISZERO
0000038b: PUSH2 0x0398
0000038e: JUMPI
0000038f: RETURNDATASIZE
00000390: PUSH1 0x00
00000392: DUP1
00000393: RETURNDATACOPY
00000394: RETURNDATASIZE
00000395: PUSH1 0x00
00000397: REVERT
00000398: JUMPDEST
00000399: POP
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x00
0000039e: SLOAD
0000039f: PUSH1 0x01
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: SHL
000003a6: SUB
000003a7: AND
000003a8: CALLER
000003a9: EQ
000003aa: PUSH2 0x03c5
000003ad: JUMPI
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: PUSH3 0x461bcd
000003b5: PUSH1 0xe5
000003b7: SHL
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x04
000003bc: ADD
000003bd: PUSH2 0x0177
000003c0: SWAP1
000003c1: PUSH2 0x066c
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH1 0x01
000003c8: PUSH1 0x01
000003ca: PUSH1 0xa0
000003cc: SHL
000003cd: SUB
000003ce: DUP2
000003cf: AND
000003d0: PUSH2 0x042a
000003d3: JUMPI
000003d4: PUSH1 0x40
000003d6: MLOAD
000003d7: PUSH3 0x461bcd
000003db: PUSH1 0xe5
000003dd: SHL
000003de: DUP2
000003df: MSTORE
000003e0: PUSH1 0x20
000003e2: PUSH1 0x04
000003e4: DUP3
000003e5: ADD
000003e6: MSTORE
000003e7: PUSH1 0x26
000003e9: PUSH1 0x24
000003eb: DUP3
000003ec: ADD
000003ed: MSTORE
000003ee: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000040f: PUSH1 0x44
00000411: DUP3
00000412: ADD
00000413: MSTORE
00000414: PUSH6 0x646472657373
0000041b: PUSH1 0xd0
0000041d: SHL
0000041e: PUSH1 0x64
00000420: DUP3
00000421: ADD
00000422: MSTORE
00000423: PUSH1 0x84
00000425: ADD
00000426: PUSH2 0x0177
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH2 0x0398
0000042e: DUP2
0000042f: JUMPDEST
00000430: PUSH1 0x00
00000432: DUP1
00000433: SLOAD
00000434: PUSH1 0x01
00000436: PUSH1 0x01
00000438: PUSH1 0xa0
0000043a: SHL
0000043b: SUB
0000043c: DUP4
0000043d: DUP2
0000043e: AND
0000043f: PUSH1 0x01
00000441: PUSH1 0x01
00000443: PUSH1 0xa0
00000445: SHL
00000446: SUB
00000447: NOT
00000448: DUP4
00000449: AND
0000044a: DUP2
0000044b: OR
0000044c: DUP5
0000044d: SSTORE
0000044e: PUSH1 0x40
00000450: MLOAD
00000451: SWAP2
00000452: SWAP1
00000453: SWAP3
00000454: AND
00000455: SWAP3
00000456: DUP4
00000457: SWAP2
00000458: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000479: SWAP2
0000047a: SWAP1
0000047b: LOG3
0000047c: POP
0000047d: POP
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH1 0x00
00000482: PUSH1 0x20
00000484: DUP3
00000485: DUP5
00000486: SUB
00000487: SLT
00000488: ISZERO
00000489: PUSH2 0x0491
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: CALLDATALOAD
00000494: SWAP2
00000495: SWAP1
00000496: POP
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH4 0x4e487b71
0000049e: PUSH1 0xe0
000004a0: SHL
000004a1: PUSH1 0x00
000004a3: MSTORE
000004a4: PUSH1 0x41
000004a6: PUSH1 0x04
000004a8: MSTORE
000004a9: PUSH1 0x24
000004ab: PUSH1 0x00
000004ad: REVERT
000004ae: JUMPDEST
000004af: PUSH1 0x40
000004b1: MLOAD
000004b2: PUSH1 0x1f
000004b4: DUP3
000004b5: ADD
000004b6: PUSH1 0x1f
000004b8: NOT
000004b9: AND
000004ba: DUP2
000004bb: ADD
000004bc: PUSH8 0xffffffffffffffff
000004c5: DUP2
000004c6: GT
000004c7: DUP3
000004c8: DUP3
000004c9: LT
000004ca: OR
000004cb: ISZERO
000004cc: PUSH2 0x04d7
000004cf: JUMPI
000004d0: PUSH2 0x04d7
000004d3: PUSH2 0x0498
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH1 0x40
000004da: MSTORE
000004db: SWAP2
000004dc: SWAP1
000004dd: POP
000004de: JUMP
000004df: JUMPDEST
000004e0: PUSH1 0x00
000004e2: PUSH8 0xffffffffffffffff
000004eb: DUP3
000004ec: GT
000004ed: ISZERO
000004ee: PUSH2 0x04f9
000004f1: JUMPI
000004f2: PUSH2 0x04f9
000004f5: PUSH2 0x0498
000004f8: JUMP
000004f9: JUMPDEST
000004fa: POP
000004fb: PUSH1 0x05
000004fd: SHL
000004fe: PUSH1 0x20
00000500: ADD
00000501: SWAP1
00000502: JUMP
00000503: JUMPDEST
00000504: DUP1
00000505: CALLDATALOAD
00000506: PUSH1 0x01
00000508: PUSH1 0x01
0000050a: PUSH1 0xa0
0000050c: SHL
0000050d: SUB
0000050e: DUP2
0000050f: AND
00000510: DUP2
00000511: EQ
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: SWAP2
0000051c: SWAP1
0000051d: POP
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x00
00000522: DUP3
00000523: PUSH1 0x1f
00000525: DUP4
00000526: ADD
00000527: SLT
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH1 0x00
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: DUP2
00000532: CALLDATALOAD
00000533: PUSH1 0x20
00000535: PUSH2 0x0545
00000538: PUSH2 0x0540
0000053b: DUP4
0000053c: PUSH2 0x04df
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH2 0x04ae
00000544: JUMP
00000545: JUMPDEST
00000546: DUP3
00000547: DUP2
00000548: MSTORE
00000549: PUSH1 0x05
0000054b: SWAP3
0000054c: SWAP1
0000054d: SWAP3
0000054e: SHL
0000054f: DUP5
00000550: ADD
00000551: DUP2
00000552: ADD
00000553: SWAP2
00000554: DUP2
00000555: DUP2
00000556: ADD
00000557: SWAP1
00000558: DUP7
00000559: DUP5
0000055a: GT
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: DUP3
00000566: DUP7
00000567: ADD
00000568: JUMPDEST
00000569: DUP5
0000056a: DUP2
0000056b: LT
0000056c: ISZERO
0000056d: PUSH2 0x057f
00000570: JUMPI
00000571: DUP1
00000572: CALLDATALOAD
00000573: DUP4
00000574: MSTORE
00000575: SWAP2
00000576: DUP4
00000577: ADD
00000578: SWAP2
00000579: DUP4
0000057a: ADD
0000057b: PUSH2 0x0568
0000057e: JUMP
0000057f: JUMPDEST
00000580: POP
00000581: SWAP7
00000582: SWAP6
00000583: POP
00000584: POP
00000585: POP
00000586: POP
00000587: POP
00000588: POP
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: PUSH1 0x40
00000590: DUP4
00000591: DUP6
00000592: SUB
00000593: SLT
00000594: ISZERO
00000595: PUSH2 0x059d
00000598: JUMPI
00000599: PUSH1 0x00
0000059b: DUP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: DUP3
0000059f: CALLDATALOAD
000005a0: PUSH8 0xffffffffffffffff
000005a9: DUP1
000005aa: DUP3
000005ab: GT
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: DUP2
000005b7: DUP6
000005b8: ADD
000005b9: SWAP2
000005ba: POP
000005bb: DUP6
000005bc: PUSH1 0x1f
000005be: DUP4
000005bf: ADD
000005c0: SLT
000005c1: PUSH2 0x05c9
000005c4: JUMPI
000005c5: PUSH1 0x00
000005c7: DUP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: DUP2
000005cb: CALLDATALOAD
000005cc: PUSH1 0x20
000005ce: PUSH2 0x05d9
000005d1: PUSH2 0x0540
000005d4: DUP4
000005d5: PUSH2 0x04df
000005d8: JUMP
000005d9: JUMPDEST
000005da: DUP3
000005db: DUP2
000005dc: MSTORE
000005dd: PUSH1 0x05
000005df: SWAP3
000005e0: SWAP1
000005e1: SWAP3
000005e2: SHL
000005e3: DUP5
000005e4: ADD
000005e5: DUP2
000005e6: ADD
000005e7: SWAP2
000005e8: DUP2
000005e9: DUP2
000005ea: ADD
000005eb: SWAP1
000005ec: DUP10
000005ed: DUP5
000005ee: GT
000005ef: ISZERO
000005f0: PUSH2 0x05f8
000005f3: JUMPI
000005f4: PUSH1 0x00
000005f6: DUP1
000005f7: REVERT
000005f8: JUMPDEST
000005f9: SWAP5
000005fa: DUP3
000005fb: ADD
000005fc: SWAP5
000005fd: JUMPDEST
000005fe: DUP4
000005ff: DUP7
00000600: LT
00000601: ISZERO
00000602: PUSH2 0x061d
00000605: JUMPI
00000606: PUSH2 0x060e
00000609: DUP7
0000060a: PUSH2 0x0503
0000060d: JUMP
0000060e: JUMPDEST
0000060f: DUP3
00000610: MSTORE
00000611: SWAP5
00000612: DUP3
00000613: ADD
00000614: SWAP5
00000615: SWAP1
00000616: DUP3
00000617: ADD
00000618: SWAP1
00000619: PUSH2 0x05fd
0000061c: JUMP
0000061d: JUMPDEST
0000061e: SWAP7
0000061f: POP
00000620: POP
00000621: DUP7
00000622: ADD
00000623: CALLDATALOAD
00000624: SWAP3
00000625: POP
00000626: POP
00000627: DUP1
00000628: DUP3
00000629: GT
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x0640
00000638: DUP6
00000639: DUP3
0000063a: DUP7
0000063b: ADD
0000063c: PUSH2 0x051f
0000063f: JUMP
00000640: JUMPDEST
00000641: SWAP2
00000642: POP
00000643: POP
00000644: SWAP3
00000645: POP
00000646: SWAP3
00000647: SWAP1
00000648: POP
00000649: JUMP
0000064a: JUMPDEST
0000064b: PUSH1 0x00
0000064d: PUSH1 0x20
0000064f: DUP3
00000650: DUP5
00000651: SUB
00000652: SLT
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: PUSH2 0x0665
00000660: DUP3
00000661: PUSH2 0x0503
00000664: JUMP
00000665: JUMPDEST
00000666: SWAP4
00000667: SWAP3
00000668: POP
00000669: POP
0000066a: POP
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH1 0x20
0000066f: DUP1
00000670: DUP3
00000671: MSTORE
00000672: DUP2
00000673: DUP2
00000674: ADD
00000675: MSTORE
00000676: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000697: PUSH1 0x40
00000699: DUP3
0000069a: ADD
0000069b: MSTORE
0000069c: PUSH1 0x60
0000069e: ADD
0000069f: SWAP1
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH4 0x4e487b71
000006a7: PUSH1 0xe0
000006a9: SHL
000006aa: PUSH1 0x00
000006ac: MSTORE
000006ad: PUSH1 0x32
000006af: PUSH1 0x04
000006b1: MSTORE
000006b2: PUSH1 0x24
000006b4: PUSH1 0x00
000006b6: REVERT
000006b7: JUMPDEST
000006b8: PUSH1 0x00
000006ba: PUSH1 0x00
000006bc: NOT
000006bd: DUP3
000006be: EQ
000006bf: ISZERO
000006c0: PUSH2 0x06d9
000006c3: JUMPI
000006c4: PUSH4 0x4e487b71
000006c9: PUSH1 0xe0
000006cb: SHL
000006cc: PUSH1 0x00
000006ce: MSTORE
000006cf: PUSH1 0x11
000006d1: PUSH1 0x04
000006d3: MSTORE
000006d4: PUSH1 0x24
000006d6: PUSH1 0x00
000006d8: REVERT
000006d9: JUMPDEST
000006da: POP
000006db: PUSH1 0x01
000006dd: ADD
000006de: SWAP1
000006df: JUMP
000006e0: INVALID
000006e1: LOG2
000006e2: PUSH5 0x6970667358
000006e8: UNKNOWN(0x22)
000006e9: SLT
000006ea: KECCAK256
000006eb: DUP8
000006ec: PUSH18 0x3b9675d494da42ceacff4633755adc7c8bcc
000006ff: UNKNOWN(0xD6)
00000700: DUP10
00000701: KECCAK256
00000702: UNKNOWN(0xD9)
00000703: PUSH16 0xff2610f54d6f7864736f6c634300080c
00000714: STOP
00000715: CALLER

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: 0x98ffa68056d00d7cad097d9bdc6f4db39730c82388b11cd8de1dea638013fbce
call_targets: 0x80b6b36ff5f8107ce7cd9d559c28ae49e09e60be
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x98ffa68056d00d7cad097d9bdc6f4db39730c82388b11cd8de1dea638013fbce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x80b6b36ff5f8107ce7cd9d559c28ae49e09e60be"
    ],
    "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": "0x83197ef0",
            "selector": "0x83197ef0",
            "calldata_variants": [
                "0x83197ef0",
                "0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x853828b6",
            "selector": "0x853828b6",
            "calldata_variants": [
                "0x853828b6",
                "0x853828b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7a53bcfc",
            "selector": "0x7a53bcfc",
            "calldata_variants": [
                "0x7a53bcfc",
                "0x7a53bcfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 432,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 718,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 898,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x98ffa68056d00d7cad097d9bdc6f4db39730c82388b11cd8de1dea638013fbce
call_targets: 0x80b6b36ff5f8107ce7cd9d559c28ae49e09e60be
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x98ffa68056d00d7cad097d9bdc6f4db39730c82388b11cd8de1dea638013fbce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x80b6b36ff5f8107ce7cd9d559c28ae49e09e60be"
    ],
    "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": "0x83197ef0",
            "selector": "0x83197ef0",
            "calldata_variants": [
                "0x83197ef0",
                "0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x853828b6",
            "selector": "0x853828b6",
            "calldata_variants": [
                "0x853828b6",
                "0x853828b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7a53bcfc",
            "selector": "0x7a53bcfc",
            "calldata_variants": [
                "0x7a53bcfc",
                "0x7a53bcfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 432,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 718,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 898,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x2cd2a9f261db961cca94356d3d86428fc4e201132e73230677c36af15da051dc
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 14,
    "trace_id": "0x2cd2a9f261db961cca94356d3d86428fc4e201132e73230677c36af15da051dc",
    "confirmed": false,
    "trace_mode": "structLogs",
    "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": "0x83197ef0",
            "selector": "0x83197ef0",
            "calldata_variants": [
                "0x83197ef0",
                "0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x853828b6",
            "selector": "0x853828b6",
            "calldata_variants": [
                "0x853828b6",
                "0x853828b60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7a53bcfc",
            "selector": "0x7a53bcfc",
            "calldata_variants": [
                "0x7a53bcfc",
                "0x7a53bcfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}