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

Analysis Run

019b3844-b11c-71ac-9d2f-7da474926f01

complete
Chain ID
1
Address
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?

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
18281 artifact.fetch complete 1 / 3 3 months ago
18282 tool.cast_disasm complete 1 / 3 3 months ago
100659 analysis.bundle complete 1 / 3 1 week ago
100660 capability.graph complete 1 / 3 1 week ago
100661 detector.run complete 1 / 3 1 week ago
100662 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
2
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
0
EXT*/BALANCE
2
Total opcodes
773
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0019
0000000d: JUMPI
0000000e: JUMPDEST
0000000f: CALLDATASIZE
00000010: PUSH2 0x0405
00000013: JUMPI
00000014: JUMPDEST
00000015: PUSH2 0x0405
00000018: JUMP
00000019: JUMPDEST
0000001a: PUSH1 0x00
0000001c: DUP1
0000001d: CALLDATALOAD
0000001e: PUSH1 0xe0
00000020: SHR
00000021: SWAP1
00000022: DUP2
00000023: PUSH4 0x3659cfe6
00000028: EQ
00000029: PUSH2 0x006c
0000002c: JUMPI
0000002d: POP
0000002e: DUP1
0000002f: PUSH4 0x4f1ef286
00000034: EQ
00000035: PUSH2 0x0067
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x5c60da1b
0000003f: EQ
00000040: PUSH2 0x0062
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x8f283970
0000004a: EQ
0000004b: PUSH2 0x005d
0000004e: JUMPI
0000004f: PUSH4 0xf851a440
00000054: SUB
00000055: PUSH2 0x000e
00000058: JUMPI
00000059: PUSH2 0x032c
0000005c: JUMP
0000005d: JUMPDEST
0000005e: PUSH2 0x02a5
00000061: JUMP
00000062: JUMPDEST
00000063: PUSH2 0x0235
00000066: JUMP
00000067: JUMPDEST
00000068: PUSH2 0x0127
0000006b: JUMP
0000006c: JUMPDEST
0000006d: CALLVALUE
0000006e: PUSH2 0x00c0
00000071: JUMPI
00000072: PUSH1 0x20
00000074: CALLDATASIZE
00000075: PUSH1 0x03
00000077: NOT
00000078: ADD
00000079: SLT
0000007a: PUSH2 0x00c0
0000007d: JUMPI
0000007e: PUSH2 0x0085
00000081: PUSH2 0x00c3
00000084: JUMP
00000085: JUMPDEST
00000086: PUSH1 0x00
00000088: DUP1
00000089: MLOAD
0000008a: PUSH1 0x20
0000008c: PUSH2 0x04fd
0000008f: DUP4
00000090: CODECOPY
00000091: DUP2
00000092: MLOAD
00000093: SWAP2
00000094: MSTORE
00000095: SLOAD
00000096: PUSH1 0x01
00000098: PUSH1 0x01
0000009a: PUSH1 0xa0
0000009c: SHL
0000009d: SUB
0000009e: AND
0000009f: CALLER
000000a0: EQ
000000a1: DUP1
000000a2: ISZERO
000000a3: PUSH2 0x00b8
000000a6: JUMPI
000000a7: JUMPDEST
000000a8: ISZERO
000000a9: PUSH2 0x0014
000000ac: JUMPI
000000ad: PUSH2 0x00b5
000000b0: SWAP1
000000b1: PUSH2 0x04a8
000000b4: JUMP
000000b5: JUMPDEST
000000b6: DUP1
000000b7: RETURN
000000b8: JUMPDEST
000000b9: POP
000000ba: CALLER
000000bb: ISZERO
000000bc: PUSH2 0x00a7
000000bf: JUMP
000000c0: JUMPDEST
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: PUSH1 0x04
000000c6: CALLDATALOAD
000000c7: SWAP1
000000c8: PUSH1 0x01
000000ca: PUSH1 0x01
000000cc: PUSH1 0xa0
000000ce: SHL
000000cf: SUB
000000d0: DUP3
000000d1: AND
000000d2: DUP3
000000d3: SUB
000000d4: PUSH2 0x00d9
000000d7: JUMPI
000000d8: JUMP
000000d9: JUMPDEST
000000da: PUSH1 0x00
000000dc: DUP1
000000dd: REVERT
000000de: JUMPDEST
000000df: PUSH1 0x20
000000e1: DUP1
000000e2: DUP3
000000e3: MSTORE
000000e4: DUP3
000000e5: MLOAD
000000e6: DUP2
000000e7: DUP4
000000e8: ADD
000000e9: DUP2
000000ea: SWAP1
000000eb: MSTORE
000000ec: SWAP1
000000ed: SWAP4
000000ee: SWAP3
000000ef: PUSH1 0x00
000000f1: JUMPDEST
000000f2: DUP3
000000f3: DUP2
000000f4: LT
000000f5: PUSH2 0x0113
000000f8: JUMPI
000000f9: POP
000000fa: POP
000000fb: PUSH1 0x40
000000fd: SWAP3
000000fe: SWAP4
000000ff: POP
00000100: PUSH1 0x00
00000102: DUP4
00000103: DUP3
00000104: DUP5
00000105: ADD
00000106: ADD
00000107: MSTORE
00000108: PUSH1 0x1f
0000010a: DUP1
0000010b: NOT
0000010c: SWAP2
0000010d: ADD
0000010e: AND
0000010f: ADD
00000110: ADD
00000111: SWAP1
00000112: JUMP
00000113: JUMPDEST
00000114: DUP2
00000115: DUP2
00000116: ADD
00000117: DUP7
00000118: ADD
00000119: MLOAD
0000011a: DUP5
0000011b: DUP3
0000011c: ADD
0000011d: PUSH1 0x40
0000011f: ADD
00000120: MSTORE
00000121: DUP6
00000122: ADD
00000123: PUSH2 0x00f1
00000126: JUMP
00000127: JUMPDEST
00000128: PUSH1 0x40
0000012a: CALLDATASIZE
0000012b: PUSH1 0x03
0000012d: NOT
0000012e: ADD
0000012f: SLT
00000130: PUSH2 0x00d9
00000133: JUMPI
00000134: PUSH2 0x013b
00000137: PUSH2 0x00c3
0000013a: JUMP
0000013b: JUMPDEST
0000013c: PUSH8 0xffffffffffffffff
00000145: SWAP1
00000146: PUSH1 0x24
00000148: CALLDATALOAD
00000149: DUP3
0000014a: DUP2
0000014b: GT
0000014c: PUSH2 0x00d9
0000014f: JUMPI
00000150: CALLDATASIZE
00000151: PUSH1 0x23
00000153: DUP3
00000154: ADD
00000155: SLT
00000156: ISZERO
00000157: PUSH2 0x00d9
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH1 0x04
0000015e: ADD
0000015f: CALLDATALOAD
00000160: SWAP1
00000161: DUP4
00000162: DUP3
00000163: GT
00000164: PUSH2 0x00d9
00000167: JUMPI
00000168: CALLDATASIZE
00000169: PUSH1 0x24
0000016b: DUP4
0000016c: DUP4
0000016d: ADD
0000016e: ADD
0000016f: GT
00000170: PUSH2 0x00d9
00000173: JUMPI
00000174: PUSH1 0x00
00000176: SWAP3
00000177: PUSH1 0x01
00000179: DUP1
0000017a: PUSH1 0xa0
0000017c: SHL
0000017d: SUB
0000017e: PUSH1 0x00
00000180: DUP1
00000181: MLOAD
00000182: PUSH1 0x20
00000184: PUSH2 0x04fd
00000187: DUP4
00000188: CODECOPY
00000189: DUP2
0000018a: MLOAD
0000018b: SWAP2
0000018c: MSTORE
0000018d: SLOAD
0000018e: AND
0000018f: CALLER
00000190: EQ
00000191: DUP1
00000192: ISZERO
00000193: PUSH2 0x022d
00000196: JUMPI
00000197: JUMPDEST
00000198: ISZERO
00000199: PUSH2 0x0014
0000019c: JUMPI
0000019d: PUSH1 0x24
0000019f: DUP5
000001a0: SWAP4
000001a1: SWAP3
000001a2: DUP5
000001a3: SWAP4
000001a4: PUSH2 0x01ac
000001a7: DUP5
000001a8: PUSH2 0x04a8
000001ab: JUMP
000001ac: JUMPDEST
000001ad: DUP1
000001ae: PUSH1 0x40
000001b0: MLOAD
000001b1: SWAP4
000001b2: DUP5
000001b3: SWAP4
000001b4: ADD
000001b5: DUP4
000001b6: CALLDATACOPY
000001b7: DUP2
000001b8: ADD
000001b9: DUP5
000001ba: DUP2
000001bb: MSTORE
000001bc: SUB
000001bd: SWAP2
000001be: GAS
000001bf: DELEGATECALL
000001c0: SWAP2
000001c1: RETURNDATASIZE
000001c2: ISZERO
000001c3: PUSH2 0x021c
000001c6: JUMPI
000001c7: RETURNDATASIZE
000001c8: SWAP3
000001c9: DUP2
000001ca: DUP5
000001cb: GT
000001cc: PUSH2 0x0217
000001cf: JUMPI
000001d0: PUSH1 0x40
000001d2: MLOAD
000001d3: PUSH1 0x1f
000001d5: DUP6
000001d6: ADD
000001d7: PUSH1 0x1f
000001d9: NOT
000001da: SWAP1
000001db: DUP2
000001dc: AND
000001dd: PUSH1 0x3f
000001df: ADD
000001e0: AND
000001e1: DUP2
000001e2: ADD
000001e3: SWAP3
000001e4: DUP4
000001e5: GT
000001e6: DUP2
000001e7: DUP5
000001e8: LT
000001e9: OR
000001ea: PUSH2 0x0217
000001ed: JUMPI
000001ee: PUSH2 0x0213
000001f1: SWAP5
000001f2: PUSH2 0x0207
000001f5: SWAP4
000001f6: PUSH1 0x40
000001f8: MSTORE
000001f9: DUP2
000001fa: MSTORE
000001fb: DUP1
000001fc: SWAP4
000001fd: PUSH1 0x20
000001ff: RETURNDATASIZE
00000200: SWAP3
00000201: ADD
00000202: RETURNDATACOPY
00000203: PUSH2 0x0393
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: SWAP2
0000020c: DUP3
0000020d: SWAP2
0000020e: DUP3
0000020f: PUSH2 0x00de
00000212: JUMP
00000213: JUMPDEST
00000214: SUB
00000215: SWAP1
00000216: RETURN
00000217: JUMPDEST
00000218: PUSH2 0x037d
0000021b: JUMP
0000021c: JUMPDEST
0000021d: POP
0000021e: POP
0000021f: PUSH2 0x0213
00000222: SWAP1
00000223: PUSH2 0x0207
00000226: PUSH1 0x60
00000228: SWAP2
00000229: PUSH2 0x0393
0000022c: JUMP
0000022d: JUMPDEST
0000022e: POP
0000022f: CALLER
00000230: ISZERO
00000231: PUSH2 0x0197
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: PUSH2 0x00d9
0000023a: JUMPI
0000023b: PUSH1 0x00
0000023d: CALLDATASIZE
0000023e: PUSH1 0x03
00000240: NOT
00000241: ADD
00000242: SLT
00000243: PUSH2 0x00d9
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: MLOAD
0000024b: PUSH1 0x20
0000024d: PUSH2 0x04fd
00000250: DUP4
00000251: CODECOPY
00000252: DUP2
00000253: MLOAD
00000254: SWAP2
00000255: MSTORE
00000256: SLOAD
00000257: PUSH1 0x01
00000259: PUSH1 0x01
0000025b: PUSH1 0xa0
0000025d: SHL
0000025e: SUB
0000025f: SWAP1
00000260: DUP2
00000261: AND
00000262: CALLER
00000263: EQ
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x029d
00000269: JUMPI
0000026a: JUMPDEST
0000026b: ISZERO
0000026c: PUSH2 0x0014
0000026f: JUMPI
00000270: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000291: SLOAD
00000292: PUSH1 0x40
00000294: MLOAD
00000295: SWAP2
00000296: AND
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: SWAP1
0000029c: RETURN
0000029d: JUMPDEST
0000029e: POP
0000029f: CALLER
000002a0: ISZERO
000002a1: PUSH2 0x026a
000002a4: JUMP
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: PUSH2 0x00d9
000002aa: JUMPI
000002ab: PUSH1 0x20
000002ad: CALLDATASIZE
000002ae: PUSH1 0x03
000002b0: NOT
000002b1: ADD
000002b2: SLT
000002b3: PUSH2 0x00d9
000002b6: JUMPI
000002b7: PUSH2 0x02be
000002ba: PUSH2 0x00c3
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH1 0x00
000002c1: DUP1
000002c2: MLOAD
000002c3: PUSH1 0x20
000002c5: PUSH2 0x04fd
000002c8: DUP4
000002c9: CODECOPY
000002ca: DUP2
000002cb: MLOAD
000002cc: SWAP2
000002cd: MSTORE
000002ce: DUP1
000002cf: SLOAD
000002d0: PUSH1 0x01
000002d2: PUSH1 0x01
000002d4: PUSH1 0xa0
000002d6: SHL
000002d7: SUB
000002d8: SWAP3
000002d9: SWAP2
000002da: SWAP1
000002db: DUP4
000002dc: AND
000002dd: CALLER
000002de: EQ
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x0324
000002e4: JUMPI
000002e5: JUMPDEST
000002e6: ISZERO
000002e7: PUSH2 0x0014
000002ea: JUMPI
000002eb: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f
0000030c: SWAP3
0000030d: DUP3
0000030e: PUSH1 0x40
00000310: SWAP4
00000311: DUP4
00000312: SLOAD
00000313: SWAP4
00000314: SSTORE
00000315: DUP2
00000316: DUP5
00000317: MLOAD
00000318: SWAP4
00000319: AND
0000031a: DUP4
0000031b: MSTORE
0000031c: AND
0000031d: PUSH1 0x20
0000031f: DUP3
00000320: ADD
00000321: MSTORE
00000322: LOG1
00000323: STOP
00000324: JUMPDEST
00000325: POP
00000326: CALLER
00000327: ISZERO
00000328: PUSH2 0x02e5
0000032b: JUMP
0000032c: JUMPDEST
0000032d: CALLVALUE
0000032e: PUSH2 0x00d9
00000331: JUMPI
00000332: PUSH1 0x00
00000334: CALLDATASIZE
00000335: PUSH1 0x03
00000337: NOT
00000338: ADD
00000339: SLT
0000033a: PUSH2 0x00d9
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: MLOAD
00000342: PUSH1 0x20
00000344: PUSH2 0x04fd
00000347: DUP4
00000348: CODECOPY
00000349: DUP2
0000034a: MLOAD
0000034b: SWAP2
0000034c: MSTORE
0000034d: DUP1
0000034e: SLOAD
0000034f: PUSH1 0x01
00000351: PUSH1 0x01
00000353: PUSH1 0xa0
00000355: SHL
00000356: SUB
00000357: SWAP1
00000358: DUP2
00000359: AND
0000035a: CALLER
0000035b: EQ
0000035c: DUP1
0000035d: ISZERO
0000035e: PUSH2 0x0375
00000361: JUMPI
00000362: JUMPDEST
00000363: ISZERO
00000364: PUSH2 0x0014
00000367: JUMPI
00000368: PUSH1 0x20
0000036a: SWAP2
0000036b: SLOAD
0000036c: SWAP1
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: SWAP2
00000371: AND
00000372: DUP2
00000373: MSTORE
00000374: RETURN
00000375: JUMPDEST
00000376: POP
00000377: CALLER
00000378: ISZERO
00000379: PUSH2 0x0362
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH4 0x4e487b71
00000383: PUSH1 0xe0
00000385: SHL
00000386: PUSH1 0x00
00000388: MSTORE
00000389: PUSH1 0x41
0000038b: PUSH1 0x04
0000038d: MSTORE
0000038e: PUSH1 0x24
00000390: PUSH1 0x00
00000392: REVERT
00000393: JUMPDEST
00000394: ISZERO
00000395: PUSH2 0x039a
00000398: JUMPI
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: PUSH3 0x461bcd
000003a2: PUSH1 0xe5
000003a4: SHL
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x20
000003a9: PUSH1 0x04
000003ab: DUP3
000003ac: ADD
000003ad: MSTORE
000003ae: PUSH1 0x39
000003b0: PUSH1 0x24
000003b2: DUP3
000003b3: ADD
000003b4: MSTORE
000003b5: PUSH32 0x50726f78793a2064656c656761746563616c6c20746f206e657720696d706c65
000003d6: PUSH1 0x44
000003d8: DUP3
000003d9: ADD
000003da: MSTORE
000003db: PUSH32 0x6d656e746174696f6e20636f6e7472616374206661696c656400000000000000
000003fc: PUSH1 0x64
000003fe: DUP3
000003ff: ADD
00000400: MSTORE
00000401: PUSH1 0x84
00000403: SWAP1
00000404: REVERT
00000405: JUMPDEST
00000406: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000427: SLOAD
00000428: PUSH1 0x01
0000042a: PUSH1 0x01
0000042c: PUSH1 0xa0
0000042e: SHL
0000042f: SUB
00000430: DUP2
00000431: AND
00000432: ISZERO
00000433: PUSH2 0x0455
00000436: JUMPI
00000437: PUSH1 0x00
00000439: DUP1
0000043a: DUP1
0000043b: SWAP3
0000043c: CALLDATASIZE
0000043d: DUP3
0000043e: DUP1
0000043f: CALLDATACOPY
00000440: DUP2
00000441: CALLDATASIZE
00000442: SWAP2
00000443: GAS
00000444: DELEGATECALL
00000445: RETURNDATASIZE
00000446: DUP3
00000447: DUP1
00000448: RETURNDATACOPY
00000449: ISZERO
0000044a: PUSH2 0x0451
0000044d: JUMPI
0000044e: RETURNDATASIZE
0000044f: SWAP1
00000450: RETURN
00000451: JUMPDEST
00000452: RETURNDATASIZE
00000453: SWAP1
00000454: REVERT
00000455: JUMPDEST
00000456: PUSH1 0x40
00000458: MLOAD
00000459: PUSH3 0x461bcd
0000045d: PUSH1 0xe5
0000045f: SHL
00000460: DUP2
00000461: MSTORE
00000462: PUSH1 0x20
00000464: PUSH1 0x04
00000466: DUP3
00000467: ADD
00000468: MSTORE
00000469: PUSH1 0x25
0000046b: PUSH1 0x24
0000046d: DUP3
0000046e: ADD
0000046f: MSTORE
00000470: PUSH32 0x50726f78793a20696d706c656d656e746174696f6e206e6f7420696e69746961
00000491: PUSH1 0x44
00000493: DUP3
00000494: ADD
00000495: MSTORE
00000496: PUSH5 0x1b1a5e9959
0000049c: PUSH1 0xda
0000049e: SHL
0000049f: PUSH1 0x64
000004a1: DUP3
000004a2: ADD
000004a3: MSTORE
000004a4: PUSH1 0x84
000004a6: SWAP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000004ca: DUP2
000004cb: SWAP1
000004cc: SSTORE
000004cd: PUSH1 0x01
000004cf: PUSH1 0x01
000004d1: PUSH1 0xa0
000004d3: SHL
000004d4: SUB
000004d5: AND
000004d6: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
000004f7: PUSH1 0x00
000004f9: DUP1
000004fa: LOG2
000004fb: JUMP
000004fc: INVALID
000004fd: UNKNOWN(0xB5)
000004fe: BALANCE
000004ff: UNKNOWN(0x27)
00000500: PUSH9 0x4a568b3173ae13b9f8
0000050a: UNKNOWN(0xA6)
0000050b: ADD
0000050c: PUSH15 0x243e63b6e8ee1178d6a717850b5d61
0000051c: SUB
0000051d: LOG2
0000051e: PUSH5 0x6970667358
00000524: UNKNOWN(0x22)
00000525: SLT
00000526: KECCAK256
00000527: MOD
00000528: UNKNOWN(0xC5)
00000529: CALLVALUE
0000052a: UNKNOWN(0xC6)
0000052b: UNKNOWN(0xC2)
0000052c: MSIZE
0000052d: PUSH8 0x2e97448db679fb84
00000536: SWAP2
00000537: UNKNOWN(0x2C)
00000538: UNKNOWN(0xEC)
00000539: UNKNOWN(0xD7)
0000053a: UNKNOWN(0x0C)
0000053b: SWAP2
0000053c: DUP4
0000053d: MLOAD
0000053e: GT
0000053f: SWAP8
00000540: EXTCODECOPY
00000541: UNKNOWN(0xBD)
00000542: UNKNOWN(0x23)
00000543: UNKNOWN(0xD0)
00000544: SGT
00000545: SLT
00000546: UNKNOWN(0xD2)
00000547: PUSH5 0x736f6c6343
0000054d: STOP
0000054e: ADDMOD
0000054f: AND
00000550: STOP
00000551: CALLER
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
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x1b6cbad08ca966e72c8efbfe5348489fd99ee0a305e48ecc091e15a1a8f4d017
call_targets: 0x3b1adfe78b9b4107c47267ae97e2a91b1d8811fd
target_varies: no
classification: constant_target
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 2,
    "trace_id": "0x1b6cbad08ca966e72c8efbfe5348489fd99ee0a305e48ecc091e15a1a8f4d017",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3b1adfe78b9b4107c47267ae97e2a91b1d8811fd"
    ],
    "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": "0x3659cfe6",
            "selector": "0x3659cfe6",
            "calldata_variants": [
                "0x3659cfe6",
                "0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f1ef286",
            "selector": "0x4f1ef286",
            "calldata_variants": [
                "0x4f1ef286",
                "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c60da1b",
            "selector": "0x5c60da1b",
            "calldata_variants": [
                "0x5c60da1b",
                "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f283970",
            "selector": "0x8f283970",
            "calldata_variants": [
                "0x8f283970",
                "0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 447,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        },
        {
            "pc": 1092,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 2,
    "untrusted_delegatecall_count": 2
}