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

Analysis Run

019b477e-b3cc-7235-8365-7a9a9dfea973

complete
Chain ID
1
Address
0x53b04999c1ff2d77fcdde98935bb936a67209e4c
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
Verified
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
22619 artifact.fetch complete 1 / 3 3 months ago
22620 tool.cast_disasm complete 1 / 3 3 months ago
89653 analysis.bundle complete 1 / 3 1 week ago
89654 capability.graph complete 1 / 3 1 week ago
89655 detector.run complete 1 / 3 1 week ago
89656 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
0
Total opcodes
1580
Flags
create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00da
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x06fdde03
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x00e5
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x095ea7b3
00000046: EQ
00000047: PUSH2 0x016f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x17d9bfcb
00000051: EQ
00000052: PUSH2 0x01a7
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x01cb
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x23b872dd
00000067: EQ
00000068: PUSH2 0x01f2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x27e235e3
00000072: EQ
00000073: PUSH2 0x021c
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x28026ace
0000007d: EQ
0000007e: PUSH2 0x023d
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x2e1a7d4d
00000088: EQ
00000089: PUSH2 0x0254
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x026c
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x5c658165
0000009e: EQ
0000009f: PUSH2 0x0281
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x70a08231
000000a9: EQ
000000aa: PUSH2 0x02a8
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x95d89b41
000000b4: EQ
000000b5: PUSH2 0x02c9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa9059cbb
000000bf: EQ
000000c0: PUSH2 0x02de
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xd0e30db0
000000ca: EQ
000000cb: PUSH2 0x0302
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xdd62ed3e
000000d5: EQ
000000d6: PUSH2 0x030a
000000d9: JUMPI
000000da: JUMPDEST
000000db: PUSH2 0x00e2
000000de: PUSH2 0x0331
000000e1: JUMP
000000e2: JUMPDEST
000000e3: POP
000000e4: STOP
000000e5: JUMPDEST
000000e6: CALLVALUE
000000e7: DUP1
000000e8: ISZERO
000000e9: PUSH2 0x00f1
000000ec: JUMPI
000000ed: PUSH1 0x00
000000ef: DUP1
000000f0: REVERT
000000f1: JUMPDEST
000000f2: POP
000000f3: PUSH2 0x00fa
000000f6: PUSH2 0x03b4
000000f9: JUMP
000000fa: JUMPDEST
000000fb: PUSH1 0x40
000000fd: DUP1
000000fe: MLOAD
000000ff: PUSH1 0x20
00000101: DUP1
00000102: DUP3
00000103: MSTORE
00000104: DUP4
00000105: MLOAD
00000106: DUP2
00000107: DUP4
00000108: ADD
00000109: MSTORE
0000010a: DUP4
0000010b: MLOAD
0000010c: SWAP2
0000010d: SWAP3
0000010e: DUP4
0000010f: SWAP3
00000110: SWAP1
00000111: DUP4
00000112: ADD
00000113: SWAP2
00000114: DUP6
00000115: ADD
00000116: SWAP1
00000117: DUP1
00000118: DUP4
00000119: DUP4
0000011a: PUSH1 0x00
0000011c: JUMPDEST
0000011d: DUP4
0000011e: DUP2
0000011f: LT
00000120: ISZERO
00000121: PUSH2 0x0134
00000124: JUMPI
00000125: DUP2
00000126: DUP2
00000127: ADD
00000128: MLOAD
00000129: DUP4
0000012a: DUP3
0000012b: ADD
0000012c: MSTORE
0000012d: PUSH1 0x20
0000012f: ADD
00000130: PUSH2 0x011c
00000133: JUMP
00000134: JUMPDEST
00000135: POP
00000136: POP
00000137: POP
00000138: POP
00000139: SWAP1
0000013a: POP
0000013b: SWAP1
0000013c: DUP2
0000013d: ADD
0000013e: SWAP1
0000013f: PUSH1 0x1f
00000141: AND
00000142: DUP1
00000143: ISZERO
00000144: PUSH2 0x0161
00000147: JUMPI
00000148: DUP1
00000149: DUP3
0000014a: SUB
0000014b: DUP1
0000014c: MLOAD
0000014d: PUSH1 0x01
0000014f: DUP4
00000150: PUSH1 0x20
00000152: SUB
00000153: PUSH2 0x0100
00000156: EXP
00000157: SUB
00000158: NOT
00000159: AND
0000015a: DUP2
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: ADD
0000015f: SWAP2
00000160: POP
00000161: JUMPDEST
00000162: POP
00000163: SWAP3
00000164: POP
00000165: POP
00000166: POP
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: DUP1
0000016b: SWAP2
0000016c: SUB
0000016d: SWAP1
0000016e: RETURN
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: POP
0000017d: PUSH2 0x0193
00000180: PUSH1 0x01
00000182: PUSH1 0xa0
00000184: PUSH1 0x02
00000186: EXP
00000187: SUB
00000188: PUSH1 0x04
0000018a: CALLDATALOAD
0000018b: AND
0000018c: PUSH1 0x24
0000018e: CALLDATALOAD
0000018f: PUSH2 0x03eb
00000192: JUMP
00000193: JUMPDEST
00000194: PUSH1 0x40
00000196: DUP1
00000197: MLOAD
00000198: SWAP2
00000199: ISZERO
0000019a: ISZERO
0000019b: DUP3
0000019c: MSTORE
0000019d: MLOAD
0000019e: SWAP1
0000019f: DUP2
000001a0: SWAP1
000001a1: SUB
000001a2: PUSH1 0x20
000001a4: ADD
000001a5: SWAP1
000001a6: RETURN
000001a7: JUMPDEST
000001a8: CALLVALUE
000001a9: DUP1
000001aa: ISZERO
000001ab: PUSH2 0x01b3
000001ae: JUMPI
000001af: PUSH1 0x00
000001b1: DUP1
000001b2: REVERT
000001b3: JUMPDEST
000001b4: POP
000001b5: PUSH2 0x0193
000001b8: PUSH1 0x04
000001ba: CALLDATALOAD
000001bb: PUSH1 0x01
000001bd: PUSH1 0xa0
000001bf: PUSH1 0x02
000001c1: EXP
000001c2: SUB
000001c3: PUSH1 0x24
000001c5: CALLDATALOAD
000001c6: AND
000001c7: PUSH2 0x0451
000001ca: JUMP
000001cb: JUMPDEST
000001cc: CALLVALUE
000001cd: DUP1
000001ce: ISZERO
000001cf: PUSH2 0x01d7
000001d2: JUMPI
000001d3: PUSH1 0x00
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: POP
000001d9: PUSH2 0x01e0
000001dc: PUSH2 0x05d5
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: DUP1
000001e4: MLOAD
000001e5: SWAP2
000001e6: DUP3
000001e7: MSTORE
000001e8: MLOAD
000001e9: SWAP1
000001ea: DUP2
000001eb: SWAP1
000001ec: SUB
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: SWAP1
000001f1: RETURN
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: DUP1
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH2 0x0193
00000203: PUSH1 0x01
00000205: PUSH1 0xa0
00000207: PUSH1 0x02
00000209: EXP
0000020a: SUB
0000020b: PUSH1 0x04
0000020d: CALLDATALOAD
0000020e: DUP2
0000020f: AND
00000210: SWAP1
00000211: PUSH1 0x24
00000213: CALLDATALOAD
00000214: AND
00000215: PUSH1 0x44
00000217: CALLDATALOAD
00000218: PUSH2 0x05db
0000021b: JUMP
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x01e0
0000022d: PUSH1 0x01
0000022f: PUSH1 0xa0
00000231: PUSH1 0x02
00000233: EXP
00000234: SUB
00000235: PUSH1 0x04
00000237: CALLDATALOAD
00000238: AND
00000239: PUSH2 0x07ed
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH2 0x0193
00000241: PUSH1 0x01
00000243: PUSH1 0xa0
00000245: PUSH1 0x02
00000247: EXP
00000248: SUB
00000249: PUSH1 0x04
0000024b: CALLDATALOAD
0000024c: AND
0000024d: PUSH1 0x24
0000024f: CALLDATALOAD
00000250: PUSH2 0x07ff
00000253: JUMP
00000254: JUMPDEST
00000255: CALLVALUE
00000256: DUP1
00000257: ISZERO
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: POP
00000262: PUSH2 0x0193
00000265: PUSH1 0x04
00000267: CALLDATALOAD
00000268: PUSH2 0x081e
0000026b: JUMP
0000026c: JUMPDEST
0000026d: CALLVALUE
0000026e: DUP1
0000026f: ISZERO
00000270: PUSH2 0x0278
00000273: JUMPI
00000274: PUSH1 0x00
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: POP
0000027a: PUSH2 0x01e0
0000027d: PUSH2 0x0938
00000280: JUMP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: DUP1
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: POP
0000028f: PUSH2 0x01e0
00000292: PUSH1 0x01
00000294: PUSH1 0xa0
00000296: PUSH1 0x02
00000298: EXP
00000299: SUB
0000029a: PUSH1 0x04
0000029c: CALLDATALOAD
0000029d: DUP2
0000029e: AND
0000029f: SWAP1
000002a0: PUSH1 0x24
000002a2: CALLDATALOAD
000002a3: AND
000002a4: PUSH2 0x093d
000002a7: JUMP
000002a8: JUMPDEST
000002a9: CALLVALUE
000002aa: DUP1
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: POP
000002b6: PUSH2 0x01e0
000002b9: PUSH1 0x01
000002bb: PUSH1 0xa0
000002bd: PUSH1 0x02
000002bf: EXP
000002c0: SUB
000002c1: PUSH1 0x04
000002c3: CALLDATALOAD
000002c4: AND
000002c5: PUSH2 0x095a
000002c8: JUMP
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: DUP1
000002cc: ISZERO
000002cd: PUSH2 0x02d5
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: POP
000002d7: PUSH2 0x00fa
000002da: PUSH2 0x0975
000002dd: JUMP
000002de: JUMPDEST
000002df: CALLVALUE
000002e0: DUP1
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: POP
000002ec: PUSH2 0x0193
000002ef: PUSH1 0x01
000002f1: PUSH1 0xa0
000002f3: PUSH1 0x02
000002f5: EXP
000002f6: SUB
000002f7: PUSH1 0x04
000002f9: CALLDATALOAD
000002fa: AND
000002fb: PUSH1 0x24
000002fd: CALLDATALOAD
000002fe: PUSH2 0x09ac
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x0193
00000306: PUSH2 0x0331
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH2 0x01e0
0000031b: PUSH1 0x01
0000031d: PUSH1 0xa0
0000031f: PUSH1 0x02
00000321: EXP
00000322: SUB
00000323: PUSH1 0x04
00000325: CALLDATALOAD
00000326: DUP2
00000327: AND
00000328: SWAP1
00000329: PUSH1 0x24
0000032b: CALLDATALOAD
0000032c: AND
0000032d: PUSH2 0x09c0
00000330: JUMP
00000331: JUMPDEST
00000332: CALLER
00000333: PUSH1 0x00
00000335: SWAP1
00000336: DUP2
00000337: MSTORE
00000338: PUSH1 0x01
0000033a: PUSH1 0x20
0000033c: MSTORE
0000033d: PUSH1 0x40
0000033f: DUP2
00000340: KECCAK256
00000341: SLOAD
00000342: PUSH2 0x0351
00000345: SWAP1
00000346: CALLVALUE
00000347: PUSH4 0xffffffff
0000034c: PUSH2 0x09eb
0000034f: AND
00000350: JUMP
00000351: JUMPDEST
00000352: CALLER
00000353: PUSH1 0x00
00000355: SWAP1
00000356: DUP2
00000357: MSTORE
00000358: PUSH1 0x01
0000035a: PUSH1 0x20
0000035c: MSTORE
0000035d: PUSH1 0x40
0000035f: DUP2
00000360: KECCAK256
00000361: SWAP2
00000362: SWAP1
00000363: SWAP2
00000364: SSTORE
00000365: SLOAD
00000366: PUSH2 0x0375
00000369: SWAP1
0000036a: CALLVALUE
0000036b: PUSH4 0xffffffff
00000370: PUSH2 0x09eb
00000373: AND
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH1 0x00
00000378: SSTORE
00000379: PUSH1 0x40
0000037b: DUP1
0000037c: MLOAD
0000037d: CALLVALUE
0000037e: DUP2
0000037f: MSTORE
00000380: SWAP1
00000381: MLOAD
00000382: CALLER
00000383: SWAP2
00000384: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
000003a5: SWAP2
000003a6: SWAP1
000003a7: DUP2
000003a8: SWAP1
000003a9: SUB
000003aa: PUSH1 0x20
000003ac: ADD
000003ad: SWAP1
000003ae: LOG2
000003af: POP
000003b0: PUSH1 0x01
000003b2: SWAP1
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH1 0x40
000003b7: DUP1
000003b8: MLOAD
000003b9: DUP1
000003ba: DUP3
000003bb: ADD
000003bc: SWAP1
000003bd: SWAP2
000003be: MSTORE
000003bf: PUSH1 0x0a
000003c1: DUP2
000003c2: MSTORE
000003c3: PUSH32 0x5665696c20457468657200000000000000000000000000000000000000000000
000003e4: PUSH1 0x20
000003e6: DUP3
000003e7: ADD
000003e8: MSTORE
000003e9: DUP2
000003ea: JUMP
000003eb: JUMPDEST
000003ec: CALLER
000003ed: PUSH1 0x00
000003ef: DUP2
000003f0: DUP2
000003f1: MSTORE
000003f2: PUSH1 0x02
000003f4: PUSH1 0x20
000003f6: SWAP1
000003f7: DUP2
000003f8: MSTORE
000003f9: PUSH1 0x40
000003fb: DUP1
000003fc: DUP4
000003fd: KECCAK256
000003fe: PUSH1 0x01
00000400: PUSH1 0xa0
00000402: PUSH1 0x02
00000404: EXP
00000405: SUB
00000406: DUP8
00000407: AND
00000408: DUP1
00000409: DUP6
0000040a: MSTORE
0000040b: SWAP1
0000040c: DUP4
0000040d: MSTORE
0000040e: DUP2
0000040f: DUP5
00000410: KECCAK256
00000411: DUP7
00000412: SWAP1
00000413: SSTORE
00000414: DUP2
00000415: MLOAD
00000416: DUP7
00000417: DUP2
00000418: MSTORE
00000419: SWAP2
0000041a: MLOAD
0000041b: SWAP4
0000041c: SWAP5
0000041d: SWAP1
0000041e: SWAP4
0000041f: SWAP1
00000420: SWAP3
00000421: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000442: SWAP3
00000443: DUP3
00000444: SWAP1
00000445: SUB
00000446: ADD
00000447: SWAP1
00000448: LOG3
00000449: POP
0000044a: PUSH1 0x01
0000044c: SWAP3
0000044d: SWAP2
0000044e: POP
0000044f: POP
00000450: JUMP
00000451: JUMPDEST
00000452: CALLER
00000453: PUSH1 0x00
00000455: SWAP1
00000456: DUP2
00000457: MSTORE
00000458: PUSH1 0x01
0000045a: PUSH1 0x20
0000045c: MSTORE
0000045d: PUSH1 0x40
0000045f: DUP2
00000460: KECCAK256
00000461: SLOAD
00000462: DUP4
00000463: GT
00000464: ISZERO
00000465: PUSH2 0x04b8
00000468: JUMPI
00000469: PUSH1 0x40
0000046b: DUP1
0000046c: MLOAD
0000046d: PUSH1 0xe5
0000046f: PUSH1 0x02
00000471: EXP
00000472: PUSH3 0x461bcd
00000476: MUL
00000477: DUP2
00000478: MSTORE
00000479: PUSH1 0x20
0000047b: PUSH1 0x04
0000047d: DUP3
0000047e: ADD
0000047f: MSTORE
00000480: PUSH1 0x19
00000482: PUSH1 0x24
00000484: DUP3
00000485: ADD
00000486: MSTORE
00000487: PUSH32 0x496e73756666696369656e7420757365722062616c616e636500000000000000
000004a8: PUSH1 0x44
000004aa: DUP3
000004ab: ADD
000004ac: MSTORE
000004ad: SWAP1
000004ae: MLOAD
000004af: SWAP1
000004b0: DUP2
000004b1: SWAP1
000004b2: SUB
000004b3: PUSH1 0x64
000004b5: ADD
000004b6: SWAP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: PUSH1 0x01
000004bb: PUSH1 0xa0
000004bd: PUSH1 0x02
000004bf: EXP
000004c0: SUB
000004c1: DUP3
000004c2: AND
000004c3: ISZERO
000004c4: ISZERO
000004c5: PUSH2 0x0518
000004c8: JUMPI
000004c9: PUSH1 0x40
000004cb: DUP1
000004cc: MLOAD
000004cd: PUSH1 0xe5
000004cf: PUSH1 0x02
000004d1: EXP
000004d2: PUSH3 0x461bcd
000004d6: MUL
000004d7: DUP2
000004d8: MSTORE
000004d9: PUSH1 0x20
000004db: PUSH1 0x04
000004dd: DUP3
000004de: ADD
000004df: MSTORE
000004e0: PUSH1 0x16
000004e2: PUSH1 0x24
000004e4: DUP3
000004e5: ADD
000004e6: MSTORE
000004e7: PUSH32 0x496e76616c696420746172676574206164647265737300000000000000000000
00000508: PUSH1 0x44
0000050a: DUP3
0000050b: ADD
0000050c: MSTORE
0000050d: SWAP1
0000050e: MLOAD
0000050f: SWAP1
00000510: DUP2
00000511: SWAP1
00000512: SUB
00000513: PUSH1 0x64
00000515: ADD
00000516: SWAP1
00000517: REVERT
00000518: JUMPDEST
00000519: CALLER
0000051a: PUSH1 0x00
0000051c: SWAP1
0000051d: DUP2
0000051e: MSTORE
0000051f: PUSH1 0x01
00000521: PUSH1 0x20
00000523: MSTORE
00000524: PUSH1 0x40
00000526: SWAP1
00000527: KECCAK256
00000528: SLOAD
00000529: PUSH2 0x0538
0000052c: SWAP1
0000052d: DUP5
0000052e: PUSH4 0xffffffff
00000533: PUSH2 0x09fd
00000536: AND
00000537: JUMP
00000538: JUMPDEST
00000539: CALLER
0000053a: PUSH1 0x00
0000053c: SWAP1
0000053d: DUP2
0000053e: MSTORE
0000053f: PUSH1 0x01
00000541: PUSH1 0x20
00000543: MSTORE
00000544: PUSH1 0x40
00000546: DUP2
00000547: KECCAK256
00000548: SWAP2
00000549: SWAP1
0000054a: SWAP2
0000054b: SSTORE
0000054c: SLOAD
0000054d: PUSH2 0x055c
00000550: SWAP1
00000551: DUP5
00000552: PUSH4 0xffffffff
00000557: PUSH2 0x09fd
0000055a: AND
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH1 0x00
0000055f: SWAP1
00000560: DUP2
00000561: SSTORE
00000562: PUSH1 0x40
00000564: MLOAD
00000565: PUSH1 0x01
00000567: PUSH1 0xa0
00000569: PUSH1 0x02
0000056b: EXP
0000056c: SUB
0000056d: DUP5
0000056e: AND
0000056f: SWAP2
00000570: DUP6
00000571: ISZERO
00000572: PUSH2 0x08fc
00000575: MUL
00000576: SWAP2
00000577: DUP7
00000578: SWAP2
00000579: DUP2
0000057a: DUP2
0000057b: DUP2
0000057c: DUP6
0000057d: DUP9
0000057e: DUP9
0000057f: CALL
00000580: SWAP4
00000581: POP
00000582: POP
00000583: POP
00000584: POP
00000585: ISZERO
00000586: DUP1
00000587: ISZERO
00000588: PUSH2 0x0595
0000058b: JUMPI
0000058c: RETURNDATASIZE
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: RETURNDATACOPY
00000591: RETURNDATASIZE
00000592: PUSH1 0x00
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH1 0x40
00000599: DUP1
0000059a: MLOAD
0000059b: DUP5
0000059c: DUP2
0000059d: MSTORE
0000059e: SWAP1
0000059f: MLOAD
000005a0: CALLER
000005a1: SWAP2
000005a2: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
000005c3: SWAP2
000005c4: SWAP1
000005c5: DUP2
000005c6: SWAP1
000005c7: SUB
000005c8: PUSH1 0x20
000005ca: ADD
000005cb: SWAP1
000005cc: LOG2
000005cd: POP
000005ce: PUSH1 0x01
000005d0: SWAP3
000005d1: SWAP2
000005d2: POP
000005d3: POP
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH1 0x00
000005d8: SLOAD
000005d9: SWAP1
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH1 0x01
000005de: PUSH1 0xa0
000005e0: PUSH1 0x02
000005e2: EXP
000005e3: SUB
000005e4: DUP4
000005e5: AND
000005e6: PUSH1 0x00
000005e8: SWAP1
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x01
000005ed: PUSH1 0x20
000005ef: MSTORE
000005f0: PUSH1 0x40
000005f2: DUP2
000005f3: KECCAK256
000005f4: SLOAD
000005f5: DUP3
000005f6: GT
000005f7: ISZERO
000005f8: PUSH2 0x064b
000005fb: JUMPI
000005fc: PUSH1 0x40
000005fe: DUP1
000005ff: MLOAD
00000600: PUSH1 0xe5
00000602: PUSH1 0x02
00000604: EXP
00000605: PUSH3 0x461bcd
00000609: MUL
0000060a: DUP2
0000060b: MSTORE
0000060c: PUSH1 0x20
0000060e: PUSH1 0x04
00000610: DUP3
00000611: ADD
00000612: MSTORE
00000613: PUSH1 0x19
00000615: PUSH1 0x24
00000617: DUP3
00000618: ADD
00000619: MSTORE
0000061a: PUSH32 0x496e73756666696369656e7420757365722062616c616e636500000000000000
0000063b: PUSH1 0x44
0000063d: DUP3
0000063e: ADD
0000063f: MSTORE
00000640: SWAP1
00000641: MLOAD
00000642: SWAP1
00000643: DUP2
00000644: SWAP1
00000645: SUB
00000646: PUSH1 0x64
00000648: ADD
00000649: SWAP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: PUSH1 0x02
00000652: EXP
00000653: SUB
00000654: DUP5
00000655: AND
00000656: CALLER
00000657: EQ
00000658: DUP1
00000659: ISZERO
0000065a: SWAP1
0000065b: PUSH2 0x066f
0000065e: JUMPI
0000065f: POP
00000660: PUSH1 0x00
00000662: NOT
00000663: PUSH2 0x066c
00000666: DUP6
00000667: CALLER
00000668: PUSH2 0x09c0
0000066b: JUMP
0000066c: JUMPDEST
0000066d: EQ
0000066e: ISZERO
0000066f: JUMPDEST
00000670: ISZERO
00000671: PUSH2 0x072e
00000674: JUMPI
00000675: DUP2
00000676: PUSH2 0x067f
00000679: DUP6
0000067a: CALLER
0000067b: PUSH2 0x09c0
0000067e: JUMP
0000067f: JUMPDEST
00000680: LT
00000681: ISZERO
00000682: PUSH2 0x06d5
00000685: JUMPI
00000686: PUSH1 0x40
00000688: DUP1
00000689: MLOAD
0000068a: PUSH1 0xe5
0000068c: PUSH1 0x02
0000068e: EXP
0000068f: PUSH3 0x461bcd
00000693: MUL
00000694: DUP2
00000695: MSTORE
00000696: PUSH1 0x20
00000698: PUSH1 0x04
0000069a: DUP3
0000069b: ADD
0000069c: MSTORE
0000069d: PUSH1 0x1b
0000069f: PUSH1 0x24
000006a1: DUP3
000006a2: ADD
000006a3: MSTORE
000006a4: PUSH32 0x496e73756666696369656e74207573657220616c6c6f77616e63650000000000
000006c5: PUSH1 0x44
000006c7: DUP3
000006c8: ADD
000006c9: MSTORE
000006ca: SWAP1
000006cb: MLOAD
000006cc: SWAP1
000006cd: DUP2
000006ce: SWAP1
000006cf: SUB
000006d0: PUSH1 0x64
000006d2: ADD
000006d3: SWAP1
000006d4: REVERT
000006d5: JUMPDEST
000006d6: PUSH1 0x01
000006d8: PUSH1 0xa0
000006da: PUSH1 0x02
000006dc: EXP
000006dd: SUB
000006de: DUP5
000006df: AND
000006e0: PUSH1 0x00
000006e2: SWAP1
000006e3: DUP2
000006e4: MSTORE
000006e5: PUSH1 0x02
000006e7: PUSH1 0x20
000006e9: SWAP1
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x40
000006ee: DUP1
000006ef: DUP4
000006f0: KECCAK256
000006f1: CALLER
000006f2: DUP5
000006f3: MSTORE
000006f4: SWAP1
000006f5: SWAP2
000006f6: MSTORE
000006f7: SWAP1
000006f8: KECCAK256
000006f9: SLOAD
000006fa: PUSH2 0x0709
000006fd: SWAP1
000006fe: DUP4
000006ff: PUSH4 0xffffffff
00000704: PUSH2 0x09fd
00000707: AND
00000708: JUMP
00000709: JUMPDEST
0000070a: PUSH1 0x01
0000070c: PUSH1 0xa0
0000070e: PUSH1 0x02
00000710: EXP
00000711: SUB
00000712: DUP6
00000713: AND
00000714: PUSH1 0x00
00000716: SWAP1
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x02
0000071b: PUSH1 0x20
0000071d: SWAP1
0000071e: DUP2
0000071f: MSTORE
00000720: PUSH1 0x40
00000722: DUP1
00000723: DUP4
00000724: KECCAK256
00000725: CALLER
00000726: DUP5
00000727: MSTORE
00000728: SWAP1
00000729: SWAP2
0000072a: MSTORE
0000072b: SWAP1
0000072c: KECCAK256
0000072d: SSTORE
0000072e: JUMPDEST
0000072f: PUSH1 0x01
00000731: PUSH1 0xa0
00000733: PUSH1 0x02
00000735: EXP
00000736: SUB
00000737: DUP5
00000738: AND
00000739: PUSH1 0x00
0000073b: SWAP1
0000073c: DUP2
0000073d: MSTORE
0000073e: PUSH1 0x01
00000740: PUSH1 0x20
00000742: MSTORE
00000743: PUSH1 0x40
00000745: SWAP1
00000746: KECCAK256
00000747: SLOAD
00000748: PUSH2 0x0757
0000074b: SWAP1
0000074c: DUP4
0000074d: PUSH4 0xffffffff
00000752: PUSH2 0x09fd
00000755: AND
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH1 0x01
0000075a: PUSH1 0xa0
0000075c: PUSH1 0x02
0000075e: EXP
0000075f: SUB
00000760: DUP1
00000761: DUP7
00000762: AND
00000763: PUSH1 0x00
00000765: SWAP1
00000766: DUP2
00000767: MSTORE
00000768: PUSH1 0x01
0000076a: PUSH1 0x20
0000076c: MSTORE
0000076d: PUSH1 0x40
0000076f: DUP1
00000770: DUP3
00000771: KECCAK256
00000772: SWAP4
00000773: SWAP1
00000774: SWAP4
00000775: SSTORE
00000776: SWAP1
00000777: DUP6
00000778: AND
00000779: DUP2
0000077a: MSTORE
0000077b: KECCAK256
0000077c: SLOAD
0000077d: PUSH2 0x078c
00000780: SWAP1
00000781: DUP4
00000782: PUSH4 0xffffffff
00000787: PUSH2 0x09eb
0000078a: AND
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH1 0x01
0000078f: PUSH1 0xa0
00000791: PUSH1 0x02
00000793: EXP
00000794: SUB
00000795: DUP1
00000796: DUP6
00000797: AND
00000798: PUSH1 0x00
0000079a: DUP2
0000079b: DUP2
0000079c: MSTORE
0000079d: PUSH1 0x01
0000079f: PUSH1 0x20
000007a1: SWAP1
000007a2: DUP2
000007a3: MSTORE
000007a4: PUSH1 0x40
000007a6: SWAP2
000007a7: DUP3
000007a8: SWAP1
000007a9: KECCAK256
000007aa: SWAP5
000007ab: SWAP1
000007ac: SWAP5
000007ad: SSTORE
000007ae: DUP1
000007af: MLOAD
000007b0: DUP7
000007b1: DUP2
000007b2: MSTORE
000007b3: SWAP1
000007b4: MLOAD
000007b5: SWAP2
000007b6: SWAP4
000007b7: SWAP3
000007b8: DUP9
000007b9: AND
000007ba: SWAP3
000007bb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000007dc: SWAP3
000007dd: SWAP2
000007de: DUP3
000007df: SWAP1
000007e0: SUB
000007e1: ADD
000007e2: SWAP1
000007e3: LOG3
000007e4: POP
000007e5: PUSH1 0x01
000007e7: SWAP4
000007e8: SWAP3
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x01
000007f0: PUSH1 0x20
000007f2: MSTORE
000007f3: PUSH1 0x00
000007f5: SWAP1
000007f6: DUP2
000007f7: MSTORE
000007f8: PUSH1 0x40
000007fa: SWAP1
000007fb: KECCAK256
000007fc: SLOAD
000007fd: DUP2
000007fe: JUMP
000007ff: JUMPDEST
00000800: PUSH1 0x00
00000802: PUSH2 0x0809
00000805: PUSH2 0x0331
00000808: JUMP
00000809: JUMPDEST
0000080a: POP
0000080b: PUSH2 0x0814
0000080e: DUP4
0000080f: DUP4
00000810: PUSH2 0x03eb
00000813: JUMP
00000814: JUMPDEST
00000815: POP
00000816: PUSH1 0x01
00000818: SWAP4
00000819: SWAP3
0000081a: POP
0000081b: POP
0000081c: POP
0000081d: JUMP
0000081e: JUMPDEST
0000081f: CALLER
00000820: PUSH1 0x00
00000822: SWAP1
00000823: DUP2
00000824: MSTORE
00000825: PUSH1 0x01
00000827: PUSH1 0x20
00000829: MSTORE
0000082a: PUSH1 0x40
0000082c: DUP2
0000082d: KECCAK256
0000082e: SLOAD
0000082f: DUP3
00000830: GT
00000831: ISZERO
00000832: PUSH2 0x0885
00000835: JUMPI
00000836: PUSH1 0x40
00000838: DUP1
00000839: MLOAD
0000083a: PUSH1 0xe5
0000083c: PUSH1 0x02
0000083e: EXP
0000083f: PUSH3 0x461bcd
00000843: MUL
00000844: DUP2
00000845: MSTORE
00000846: PUSH1 0x20
00000848: PUSH1 0x04
0000084a: DUP3
0000084b: ADD
0000084c: MSTORE
0000084d: PUSH1 0x19
0000084f: PUSH1 0x24
00000851: DUP3
00000852: ADD
00000853: MSTORE
00000854: PUSH32 0x496e73756666696369656e7420757365722062616c616e636500000000000000
00000875: PUSH1 0x44
00000877: DUP3
00000878: ADD
00000879: MSTORE
0000087a: SWAP1
0000087b: MLOAD
0000087c: SWAP1
0000087d: DUP2
0000087e: SWAP1
0000087f: SUB
00000880: PUSH1 0x64
00000882: ADD
00000883: SWAP1
00000884: REVERT
00000885: JUMPDEST
00000886: CALLER
00000887: PUSH1 0x00
00000889: SWAP1
0000088a: DUP2
0000088b: MSTORE
0000088c: PUSH1 0x01
0000088e: PUSH1 0x20
00000890: MSTORE
00000891: PUSH1 0x40
00000893: SWAP1
00000894: KECCAK256
00000895: SLOAD
00000896: PUSH2 0x08a5
00000899: SWAP1
0000089a: DUP4
0000089b: PUSH4 0xffffffff
000008a0: PUSH2 0x09fd
000008a3: AND
000008a4: JUMP
000008a5: JUMPDEST
000008a6: CALLER
000008a7: PUSH1 0x00
000008a9: SWAP1
000008aa: DUP2
000008ab: MSTORE
000008ac: PUSH1 0x01
000008ae: PUSH1 0x20
000008b0: MSTORE
000008b1: PUSH1 0x40
000008b3: DUP2
000008b4: KECCAK256
000008b5: SWAP2
000008b6: SWAP1
000008b7: SWAP2
000008b8: SSTORE
000008b9: SLOAD
000008ba: PUSH2 0x08c9
000008bd: SWAP1
000008be: DUP4
000008bf: PUSH4 0xffffffff
000008c4: PUSH2 0x09fd
000008c7: AND
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x00
000008cc: SWAP1
000008cd: DUP2
000008ce: SSTORE
000008cf: PUSH1 0x40
000008d1: MLOAD
000008d2: CALLER
000008d3: SWAP2
000008d4: DUP5
000008d5: ISZERO
000008d6: PUSH2 0x08fc
000008d9: MUL
000008da: SWAP2
000008db: DUP6
000008dc: SWAP2
000008dd: DUP2
000008de: DUP2
000008df: DUP2
000008e0: DUP6
000008e1: DUP9
000008e2: DUP9
000008e3: CALL
000008e4: SWAP4
000008e5: POP
000008e6: POP
000008e7: POP
000008e8: POP
000008e9: ISZERO
000008ea: DUP1
000008eb: ISZERO
000008ec: PUSH2 0x08f9
000008ef: JUMPI
000008f0: RETURNDATASIZE
000008f1: PUSH1 0x00
000008f3: DUP1
000008f4: RETURNDATACOPY
000008f5: RETURNDATASIZE
000008f6: PUSH1 0x00
000008f8: REVERT
000008f9: JUMPDEST
000008fa: POP
000008fb: PUSH1 0x40
000008fd: DUP1
000008fe: MLOAD
000008ff: DUP4
00000900: DUP2
00000901: MSTORE
00000902: SWAP1
00000903: MLOAD
00000904: CALLER
00000905: SWAP2
00000906: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
00000927: SWAP2
00000928: SWAP1
00000929: DUP2
0000092a: SWAP1
0000092b: SUB
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: SWAP1
00000930: LOG2
00000931: POP
00000932: PUSH1 0x01
00000934: SWAP2
00000935: SWAP1
00000936: POP
00000937: JUMP
00000938: JUMPDEST
00000939: PUSH1 0x12
0000093b: DUP2
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH1 0x02
00000940: PUSH1 0x20
00000942: SWAP1
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x00
00000947: SWAP3
00000948: DUP4
00000949: MSTORE
0000094a: PUSH1 0x40
0000094c: DUP1
0000094d: DUP5
0000094e: KECCAK256
0000094f: SWAP1
00000950: SWAP2
00000951: MSTORE
00000952: SWAP1
00000953: DUP3
00000954: MSTORE
00000955: SWAP1
00000956: KECCAK256
00000957: SLOAD
00000958: DUP2
00000959: JUMP
0000095a: JUMPDEST
0000095b: PUSH1 0x01
0000095d: PUSH1 0xa0
0000095f: PUSH1 0x02
00000961: EXP
00000962: SUB
00000963: AND
00000964: PUSH1 0x00
00000966: SWAP1
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x01
0000096b: PUSH1 0x20
0000096d: MSTORE
0000096e: PUSH1 0x40
00000970: SWAP1
00000971: KECCAK256
00000972: SLOAD
00000973: SWAP1
00000974: JUMP
00000975: JUMPDEST
00000976: PUSH1 0x40
00000978: DUP1
00000979: MLOAD
0000097a: DUP1
0000097b: DUP3
0000097c: ADD
0000097d: SWAP1
0000097e: SWAP2
0000097f: MSTORE
00000980: PUSH1 0x08
00000982: DUP2
00000983: MSTORE
00000984: PUSH32 0x5665696c20455448000000000000000000000000000000000000000000000000
000009a5: PUSH1 0x20
000009a7: DUP3
000009a8: ADD
000009a9: MSTORE
000009aa: DUP2
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x00
000009af: PUSH2 0x09b9
000009b2: CALLER
000009b3: DUP5
000009b4: DUP5
000009b5: PUSH2 0x05db
000009b8: JUMP
000009b9: JUMPDEST
000009ba: SWAP4
000009bb: SWAP3
000009bc: POP
000009bd: POP
000009be: POP
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH1 0x01
000009c3: PUSH1 0xa0
000009c5: PUSH1 0x02
000009c7: EXP
000009c8: SUB
000009c9: SWAP2
000009ca: DUP3
000009cb: AND
000009cc: PUSH1 0x00
000009ce: SWAP1
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x02
000009d3: PUSH1 0x20
000009d5: SWAP1
000009d6: DUP2
000009d7: MSTORE
000009d8: PUSH1 0x40
000009da: DUP1
000009db: DUP4
000009dc: KECCAK256
000009dd: SWAP4
000009de: SWAP1
000009df: SWAP5
000009e0: AND
000009e1: DUP3
000009e2: MSTORE
000009e3: SWAP2
000009e4: SWAP1
000009e5: SWAP2
000009e6: MSTORE
000009e7: KECCAK256
000009e8: SLOAD
000009e9: SWAP1
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH1 0x00
000009ee: DUP3
000009ef: DUP3
000009f0: ADD
000009f1: DUP4
000009f2: DUP2
000009f3: LT
000009f4: ISZERO
000009f5: PUSH2 0x09b9
000009f8: JUMPI
000009f9: PUSH1 0x00
000009fb: DUP1
000009fc: REVERT
000009fd: JUMPDEST
000009fe: PUSH1 0x00
00000a00: DUP1
00000a01: DUP4
00000a02: DUP4
00000a03: GT
00000a04: ISZERO
00000a05: PUSH2 0x0a0d
00000a08: JUMPI
00000a09: PUSH1 0x00
00000a0b: DUP1
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: POP
00000a0f: POP
00000a10: SWAP1
00000a11: SUB
00000a12: SWAP1
00000a13: JUMP
00000a14: STOP
00000a15: LOG1
00000a16: PUSH6 0x627a7a723058
00000a1d: KECCAK256
00000a1e: SELFBALANCE
00000a1f: PUSH28 0x4d0c0102260a075d1f8320bdd91de3ae743e7aefaf16928e62cd2bcb
00000a3c: CREATE
00000a3d: PUSH13

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: 0x3b0ed0a1d08ff9ec154a5b2b24e9fbb9411b40ccafd2fe0fd665d01008cd3a9d
call_targets: 0x53b04999c1ff2d77fcdde98935bb936a67209e4c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3b0ed0a1d08ff9ec154a5b2b24e9fbb9411b40ccafd2fe0fd665d01008cd3a9d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x53b04999c1ff2d77fcdde98935bb936a67209e4c"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17d9bfcb",
            "selector": "0x17d9bfcb",
            "calldata_variants": [
                "0x17d9bfcb",
                "0x17d9bfcb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28026ace",
            "selector": "0x28026ace",
            "calldata_variants": [
                "0x28026ace",
                "0x28026ace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1407,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2275,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x3b0ed0a1d08ff9ec154a5b2b24e9fbb9411b40ccafd2fe0fd665d01008cd3a9d
call_targets: 0x53b04999c1ff2d77fcdde98935bb936a67209e4c
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3b0ed0a1d08ff9ec154a5b2b24e9fbb9411b40ccafd2fe0fd665d01008cd3a9d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x53b04999c1ff2d77fcdde98935bb936a67209e4c"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17d9bfcb",
            "selector": "0x17d9bfcb",
            "calldata_variants": [
                "0x17d9bfcb",
                "0x17d9bfcb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28026ace",
            "selector": "0x28026ace",
            "calldata_variants": [
                "0x28026ace",
                "0x28026ace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1407,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2275,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xf197f5934d1edb7de405635aefe3fc346b027c1724b112009ec8e45d441471e4
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 30,
    "trace_id": "0xf197f5934d1edb7de405635aefe3fc346b027c1724b112009ec8e45d441471e4",
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17d9bfcb",
            "selector": "0x17d9bfcb",
            "calldata_variants": [
                "0x17d9bfcb",
                "0x17d9bfcb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x28026ace",
            "selector": "0x28026ace",
            "calldata_variants": [
                "0x28026ace",
                "0x28026ace0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 1,
    "create2_count": 0
}