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

Analysis Run

019b3836-377d-70ea-9004-cc753dee424d

complete
Chain ID
1
Address
0xec0abf20156dc50a291b90c7aa6dc0aa1db7b757
Block Number
—
Created
Fri, Dec 19, 2025 8:03 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
3763 artifact.fetch complete 1 / 3 3 months ago
3764 tool.cast_disasm complete 1 / 3 3 months ago
105317 analysis.bundle complete 1 / 3 1 week ago
105318 capability.graph complete 1 / 3 1 week ago
105319 detector.run complete 1 / 3 1 week ago
105320 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
7
EXT*/BALANCE
3
Total opcodes
1733
Flags
create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0106
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x05fefda7
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x013d
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x06fdde03
00000025: EQ
00000026: PUSH2 0x0163
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x18160ddd
00000030: EQ
00000031: PUSH2 0x01c0
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x23b872dd
0000003b: EQ
0000003c: PUSH2 0x01c9
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x2e1a7d4d
00000046: EQ
00000047: PUSH2 0x01fb
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x313ce567
00000051: EQ
00000052: PUSH2 0x021e
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x3177029f
0000005c: EQ
0000005d: PUSH2 0x022a
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x47f1d8d7
00000067: EQ
00000068: PUSH2 0x02d2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x4b750334
00000072: EQ
00000073: PUSH2 0x02db
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x70a08231
0000007d: EQ
0000007e: PUSH2 0x02e4
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x8620410b
00000088: EQ
00000089: PUSH2 0x02fc
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8da5cb5b
00000093: EQ
00000094: PUSH2 0x0305
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x95d89b41
0000009e: EQ
0000009f: PUSH2 0x0317
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa6f2ae3a
000000a9: EQ
000000aa: PUSH2 0x0372
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa9059cbb
000000b4: EQ
000000b5: PUSH2 0x03a2
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xb414d4b6
000000bf: EQ
000000c0: PUSH2 0x03d1
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xc91d956c
000000ca: EQ
000000cb: PUSH2 0x03ec
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xdc3080f2
000000d5: EQ
000000d6: PUSH2 0x040f
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xdd62ed3e
000000e0: EQ
000000e1: PUSH2 0x0434
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xe4849b32
000000eb: EQ
000000ec: PUSH2 0x0459
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xe724529c
000000f6: EQ
000000f7: PUSH2 0x048f
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xf2fde38b
00000101: EQ
00000102: PUSH2 0x04b5
00000105: JUMPI
00000106: JUMPDEST
00000107: PUSH2 0x04d8
0000010a: PUSH1 0x05
0000010c: SLOAD
0000010d: CALLVALUE
0000010e: GT
0000010f: ISZERO
00000110: PUSH2 0x013b
00000113: JUMPI
00000114: PUSH1 0x05
00000116: SLOAD
00000117: CALLER
00000118: PUSH1 0x01
0000011a: PUSH1 0xa0
0000011c: PUSH1 0x02
0000011e: EXP
0000011f: SUB
00000120: AND
00000121: PUSH1 0x00
00000123: SWAP1
00000124: DUP2
00000125: MSTORE
00000126: PUSH1 0x08
00000128: PUSH1 0x20
0000012a: MSTORE
0000012b: PUSH1 0x40
0000012d: SWAP1
0000012e: KECCAK256
0000012f: DUP1
00000130: SLOAD
00000131: CALLVALUE
00000132: SWAP3
00000133: SWAP1
00000134: SWAP3
00000135: DIV
00000136: SWAP1
00000137: SWAP2
00000138: ADD
00000139: SWAP1
0000013a: SSTORE
0000013b: JUMPDEST
0000013c: JUMP
0000013d: JUMPDEST
0000013e: PUSH2 0x04d8
00000141: PUSH1 0x04
00000143: CALLDATALOAD
00000144: PUSH1 0x24
00000146: CALLDATALOAD
00000147: PUSH1 0x00
00000149: SLOAD
0000014a: PUSH1 0x01
0000014c: PUSH1 0xa0
0000014e: PUSH1 0x02
00000150: EXP
00000151: SUB
00000152: SWAP1
00000153: DUP2
00000154: AND
00000155: CALLER
00000156: SWAP2
00000157: SWAP1
00000158: SWAP2
00000159: AND
0000015a: EQ
0000015b: PUSH2 0x0841
0000015e: JUMPI
0000015f: PUSH2 0x0002
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH1 0x01
0000016a: DUP1
0000016b: SLOAD
0000016c: PUSH1 0x20
0000016e: PUSH1 0x02
00000170: DUP3
00000171: DUP5
00000172: AND
00000173: ISZERO
00000174: PUSH2 0x0100
00000177: MUL
00000178: PUSH1 0x00
0000017a: NOT
0000017b: ADD
0000017c: SWAP1
0000017d: SWAP3
0000017e: AND
0000017f: SWAP2
00000180: SWAP1
00000181: SWAP2
00000182: DIV
00000183: PUSH1 0x1f
00000185: DUP2
00000186: ADD
00000187: DUP3
00000188: SWAP1
00000189: DIV
0000018a: DUP3
0000018b: MUL
0000018c: DUP5
0000018d: ADD
0000018e: DUP3
0000018f: ADD
00000190: SWAP1
00000191: SWAP5
00000192: MSTORE
00000193: DUP4
00000194: DUP4
00000195: MSTORE
00000196: PUSH2 0x04da
00000199: SWAP4
0000019a: SWAP1
0000019b: DUP4
0000019c: ADD
0000019d: DUP3
0000019e: DUP3
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x05db
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH1 0x1f
000001a8: LT
000001a9: PUSH2 0x05b0
000001ac: JUMPI
000001ad: PUSH2 0x0100
000001b0: DUP1
000001b1: DUP4
000001b2: SLOAD
000001b3: DIV
000001b4: MUL
000001b5: DUP4
000001b6: MSTORE
000001b7: SWAP2
000001b8: PUSH1 0x20
000001ba: ADD
000001bb: SWAP2
000001bc: PUSH2 0x05db
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH2 0x0548
000001c4: PUSH1 0x06
000001c6: SLOAD
000001c7: DUP2
000001c8: JUMP
000001c9: JUMPDEST
000001ca: PUSH2 0x0548
000001cd: PUSH1 0x04
000001cf: CALLDATALOAD
000001d0: PUSH1 0x24
000001d2: CALLDATALOAD
000001d3: PUSH1 0x44
000001d5: CALLDATALOAD
000001d6: PUSH1 0x01
000001d8: PUSH1 0xa0
000001da: PUSH1 0x02
000001dc: EXP
000001dd: SUB
000001de: DUP4
000001df: AND
000001e0: PUSH1 0x00
000001e2: SWAP1
000001e3: DUP2
000001e4: MSTORE
000001e5: PUSH1 0x08
000001e7: PUSH1 0x20
000001e9: MSTORE
000001ea: PUSH1 0x40
000001ec: DUP2
000001ed: KECCAK256
000001ee: SLOAD
000001ef: DUP3
000001f0: SWAP1
000001f1: LT
000001f2: ISZERO
000001f3: PUSH2 0x06f6
000001f6: JUMPI
000001f7: PUSH2 0x0002
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH2 0x04d8
000001ff: PUSH1 0x04
00000201: CALLDATALOAD
00000202: PUSH1 0x00
00000204: SLOAD
00000205: PUSH1 0x01
00000207: PUSH1 0xa0
00000209: PUSH1 0x02
0000020b: EXP
0000020c: SUB
0000020d: SWAP1
0000020e: DUP2
0000020f: AND
00000210: CALLER
00000211: SWAP2
00000212: SWAP1
00000213: SWAP2
00000214: AND
00000215: EQ
00000216: PUSH2 0x0919
00000219: JUMPI
0000021a: PUSH2 0x0002
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x055a
00000222: PUSH1 0x03
00000224: SLOAD
00000225: PUSH1 0xff
00000227: AND
00000228: DUP2
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH2 0x0548
0000022e: PUSH1 0x04
00000230: CALLDATALOAD
00000231: PUSH1 0x24
00000233: CALLDATALOAD
00000234: PUSH1 0x01
00000236: PUSH1 0xa0
00000238: PUSH1 0x02
0000023a: EXP
0000023b: SUB
0000023c: CALLER
0000023d: DUP2
0000023e: AND
0000023f: PUSH1 0x00
00000241: DUP2
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x0a
00000246: PUSH1 0x20
00000248: SWAP1
00000249: DUP2
0000024a: MSTORE
0000024b: PUSH1 0x40
0000024d: DUP1
0000024e: DUP4
0000024f: KECCAK256
00000250: DUP8
00000251: DUP7
00000252: AND
00000253: DUP1
00000254: DUP6
00000255: MSTORE
00000256: SWAP3
00000257: MSTORE
00000258: DUP1
00000259: DUP4
0000025a: KECCAK256
0000025b: DUP7
0000025c: SWAP1
0000025d: SSTORE
0000025e: DUP1
0000025f: MLOAD
00000260: PUSH32 0x4889ca8800000000000000000000000000000000000000000000000000000000
00000281: DUP2
00000282: MSTORE
00000283: PUSH1 0x04
00000285: DUP2
00000286: ADD
00000287: SWAP5
00000288: SWAP1
00000289: SWAP5
0000028a: MSTORE
0000028b: PUSH1 0x24
0000028d: DUP5
0000028e: ADD
0000028f: DUP7
00000290: SWAP1
00000291: MSTORE
00000292: ADDRESS
00000293: SWAP1
00000294: SWAP5
00000295: AND
00000296: PUSH1 0x44
00000298: DUP5
00000299: ADD
0000029a: MSTORE
0000029b: SWAP3
0000029c: MLOAD
0000029d: SWAP1
0000029e: SWAP3
0000029f: DUP6
000002a0: SWAP3
000002a1: SWAP1
000002a2: SWAP2
000002a3: PUSH4 0x4889ca88
000002a8: SWAP2
000002a9: PUSH1 0x64
000002ab: DUP1
000002ac: DUP3
000002ad: ADD
000002ae: SWAP3
000002af: DUP8
000002b0: SWAP3
000002b1: SWAP1
000002b2: SWAP2
000002b3: SWAP1
000002b4: DUP3
000002b5: SWAP1
000002b6: SUB
000002b7: ADD
000002b8: DUP2
000002b9: DUP4
000002ba: DUP8
000002bb: PUSH2 0x61da
000002be: GAS
000002bf: SUB
000002c0: CALL
000002c1: ISZERO
000002c2: PUSH2 0x0002
000002c5: JUMPI
000002c6: POP
000002c7: PUSH1 0x01
000002c9: SWAP7
000002ca: SWAP6
000002cb: POP
000002cc: POP
000002cd: POP
000002ce: POP
000002cf: POP
000002d0: POP
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH2 0x0548
000002d6: PUSH1 0x07
000002d8: SLOAD
000002d9: DUP2
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH2 0x0548
000002df: PUSH1 0x04
000002e1: SLOAD
000002e2: DUP2
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH2 0x0548
000002e8: PUSH1 0x04
000002ea: CALLDATALOAD
000002eb: PUSH1 0x08
000002ed: PUSH1 0x20
000002ef: MSTORE
000002f0: PUSH1 0x00
000002f2: SWAP1
000002f3: DUP2
000002f4: MSTORE
000002f5: PUSH1 0x40
000002f7: SWAP1
000002f8: KECCAK256
000002f9: SLOAD
000002fa: DUP2
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x0548
00000300: PUSH1 0x05
00000302: SLOAD
00000303: DUP2
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH2 0x0571
00000309: PUSH1 0x00
0000030b: SLOAD
0000030c: PUSH1 0x01
0000030e: PUSH1 0xa0
00000310: PUSH1 0x02
00000312: EXP
00000313: SUB
00000314: AND
00000315: DUP2
00000316: JUMP
00000317: JUMPDEST
00000318: PUSH1 0x40
0000031a: DUP1
0000031b: MLOAD
0000031c: PUSH1 0x02
0000031e: DUP1
0000031f: SLOAD
00000320: PUSH1 0x20
00000322: PUSH1 0x01
00000324: DUP3
00000325: AND
00000326: ISZERO
00000327: PUSH2 0x0100
0000032a: MUL
0000032b: PUSH1 0x00
0000032d: NOT
0000032e: ADD
0000032f: SWAP1
00000330: SWAP2
00000331: AND
00000332: DUP3
00000333: SWAP1
00000334: DIV
00000335: PUSH1 0x1f
00000337: DUP2
00000338: ADD
00000339: DUP3
0000033a: SWAP1
0000033b: DIV
0000033c: DUP3
0000033d: MUL
0000033e: DUP5
0000033f: ADD
00000340: DUP3
00000341: ADD
00000342: SWAP1
00000343: SWAP5
00000344: MSTORE
00000345: DUP4
00000346: DUP4
00000347: MSTORE
00000348: PUSH2 0x04da
0000034b: SWAP4
0000034c: SWAP1
0000034d: DUP4
0000034e: ADD
0000034f: DUP3
00000350: DUP3
00000351: DUP1
00000352: ISZERO
00000353: PUSH2 0x05db
00000356: JUMPI
00000357: DUP1
00000358: PUSH1 0x1f
0000035a: LT
0000035b: PUSH2 0x05b0
0000035e: JUMPI
0000035f: PUSH2 0x0100
00000362: DUP1
00000363: DUP4
00000364: SLOAD
00000365: DIV
00000366: MUL
00000367: DUP4
00000368: MSTORE
00000369: SWAP2
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: SWAP2
0000036e: PUSH2 0x05db
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH1 0x05
00000375: SLOAD
00000376: ADDRESS
00000377: PUSH1 0x01
00000379: PUSH1 0xa0
0000037b: PUSH1 0x02
0000037d: EXP
0000037e: SUB
0000037f: AND
00000380: PUSH1 0x00
00000382: SWAP1
00000383: DUP2
00000384: MSTORE
00000385: PUSH1 0x08
00000387: PUSH1 0x20
00000389: MSTORE
0000038a: PUSH1 0x40
0000038c: SWAP1
0000038d: KECCAK256
0000038e: SLOAD
0000038f: PUSH2 0x04d8
00000392: SWAP2
00000393: CALLVALUE
00000394: DIV
00000395: SWAP1
00000396: DUP2
00000397: SWAP1
00000398: LT
00000399: ISZERO
0000039a: PUSH2 0x084c
0000039d: JUMPI
0000039e: PUSH2 0x0002
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x04d8
000003a6: PUSH1 0x04
000003a8: CALLDATALOAD
000003a9: PUSH1 0x24
000003ab: CALLDATALOAD
000003ac: PUSH1 0x01
000003ae: PUSH1 0xa0
000003b0: PUSH1 0x02
000003b2: EXP
000003b3: SUB
000003b4: CALLER
000003b5: AND
000003b6: PUSH1 0x00
000003b8: SWAP1
000003b9: DUP2
000003ba: MSTORE
000003bb: PUSH1 0x08
000003bd: PUSH1 0x20
000003bf: MSTORE
000003c0: PUSH1 0x40
000003c2: SWAP1
000003c3: KECCAK256
000003c4: SLOAD
000003c5: DUP2
000003c6: SWAP1
000003c7: LT
000003c8: ISZERO
000003c9: PUSH2 0x05f1
000003cc: JUMPI
000003cd: PUSH2 0x0002
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x0548
000003d5: PUSH1 0x04
000003d7: CALLDATALOAD
000003d8: PUSH1 0x09
000003da: PUSH1 0x20
000003dc: MSTORE
000003dd: PUSH1 0x00
000003df: SWAP1
000003e0: DUP2
000003e1: MSTORE
000003e2: PUSH1 0x40
000003e4: SWAP1
000003e5: KECCAK256
000003e6: SLOAD
000003e7: PUSH1 0xff
000003e9: AND
000003ea: DUP2
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH2 0x04d8
000003f0: PUSH1 0x04
000003f2: CALLDATALOAD
000003f3: PUSH1 0x00
000003f5: SLOAD
000003f6: PUSH1 0x01
000003f8: PUSH1 0xa0
000003fa: PUSH1 0x02
000003fc: EXP
000003fd: SUB
000003fe: SWAP1
000003ff: DUP2
00000400: AND
00000401: CALLER
00000402: SWAP2
00000403: SWAP1
00000404: SWAP2
00000405: AND
00000406: EQ
00000407: PUSH2 0x05e3
0000040a: JUMPI
0000040b: PUSH2 0x0002
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH1 0x0b
00000412: PUSH1 0x20
00000414: SWAP1
00000415: DUP2
00000416: MSTORE
00000417: PUSH1 0x04
00000419: CALLDATALOAD
0000041a: PUSH1 0x00
0000041c: SWAP1
0000041d: DUP2
0000041e: MSTORE
0000041f: PUSH1 0x40
00000421: DUP1
00000422: DUP3
00000423: KECCAK256
00000424: SWAP1
00000425: SWAP3
00000426: MSTORE
00000427: PUSH1 0x24
00000429: CALLDATALOAD
0000042a: DUP2
0000042b: MSTORE
0000042c: KECCAK256
0000042d: SLOAD
0000042e: PUSH2 0x0548
00000431: SWAP1
00000432: DUP2
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x0a
00000437: PUSH1 0x20
00000439: SWAP1
0000043a: DUP2
0000043b: MSTORE
0000043c: PUSH1 0x04
0000043e: CALLDATALOAD
0000043f: PUSH1 0x00
00000441: SWAP1
00000442: DUP2
00000443: MSTORE
00000444: PUSH1 0x40
00000446: DUP1
00000447: DUP3
00000448: KECCAK256
00000449: SWAP1
0000044a: SWAP3
0000044b: MSTORE
0000044c: PUSH1 0x24
0000044e: CALLDATALOAD
0000044f: DUP2
00000450: MSTORE
00000451: KECCAK256
00000452: SLOAD
00000453: PUSH2 0x0548
00000456: SWAP1
00000457: DUP2
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH2 0x04d8
0000045d: PUSH1 0x04
0000045f: CALLDATALOAD
00000460: JUMPDEST
00000461: DUP1
00000462: PUSH1 0x08
00000464: PUSH1 0x00
00000466: POP
00000467: PUSH1 0x00
00000469: CALLER
0000046a: PUSH1 0x01
0000046c: PUSH1 0xa0
0000046e: PUSH1 0x02
00000470: EXP
00000471: SUB
00000472: AND
00000473: DUP2
00000474: MSTORE
00000475: PUSH1 0x20
00000477: ADD
00000478: SWAP1
00000479: DUP2
0000047a: MSTORE
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: PUSH1 0x00
00000480: KECCAK256
00000481: PUSH1 0x00
00000483: POP
00000484: SLOAD
00000485: LT
00000486: ISZERO
00000487: PUSH2 0x08a6
0000048a: JUMPI
0000048b: PUSH2 0x0002
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH2 0x04d8
00000493: PUSH1 0x04
00000495: CALLDATALOAD
00000496: PUSH1 0x24
00000498: CALLDATALOAD
00000499: PUSH1 0x00
0000049b: SLOAD
0000049c: PUSH1 0x01
0000049e: PUSH1 0xa0
000004a0: PUSH1 0x02
000004a2: EXP
000004a3: SUB
000004a4: SWAP1
000004a5: DUP2
000004a6: AND
000004a7: CALLER
000004a8: SWAP2
000004a9: SWAP1
000004aa: SWAP2
000004ab: AND
000004ac: EQ
000004ad: PUSH2 0x07e1
000004b0: JUMPI
000004b1: PUSH2 0x0002
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH2 0x04d8
000004b9: PUSH1 0x04
000004bb: CALLDATALOAD
000004bc: PUSH1 0x00
000004be: SLOAD
000004bf: PUSH1 0x01
000004c1: PUSH1 0xa0
000004c3: PUSH1 0x02
000004c5: EXP
000004c6: SUB
000004c7: SWAP1
000004c8: DUP2
000004c9: AND
000004ca: CALLER
000004cb: SWAP2
000004cc: SWAP1
000004cd: SWAP2
000004ce: AND
000004cf: EQ
000004d0: PUSH2 0x058e
000004d3: JUMPI
000004d4: PUSH2 0x0002
000004d7: JUMP
000004d8: JUMPDEST
000004d9: STOP
000004da: JUMPDEST
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP1
000004df: DUP1
000004e0: PUSH1 0x20
000004e2: ADD
000004e3: DUP3
000004e4: DUP2
000004e5: SUB
000004e6: DUP3
000004e7: MSTORE
000004e8: DUP4
000004e9: DUP2
000004ea: DUP2
000004eb: MLOAD
000004ec: DUP2
000004ed: MSTORE
000004ee: PUSH1 0x20
000004f0: ADD
000004f1: SWAP2
000004f2: POP
000004f3: DUP1
000004f4: MLOAD
000004f5: SWAP1
000004f6: PUSH1 0x20
000004f8: ADD
000004f9: SWAP1
000004fa: DUP1
000004fb: DUP4
000004fc: DUP4
000004fd: DUP3
000004fe: SWAP1
000004ff: PUSH1 0x00
00000501: PUSH1 0x04
00000503: PUSH1 0x20
00000505: DUP5
00000506: PUSH1 0x1f
00000508: ADD
00000509: DIV
0000050a: PUSH1 0x0f
0000050c: MUL
0000050d: PUSH1 0x03
0000050f: ADD
00000510: CALL
00000511: POP
00000512: SWAP1
00000513: POP
00000514: SWAP1
00000515: DUP2
00000516: ADD
00000517: SWAP1
00000518: PUSH1 0x1f
0000051a: AND
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x053a
00000520: JUMPI
00000521: DUP1
00000522: DUP3
00000523: SUB
00000524: DUP1
00000525: MLOAD
00000526: PUSH1 0x01
00000528: DUP4
00000529: PUSH1 0x20
0000052b: SUB
0000052c: PUSH2 0x0100
0000052f: EXP
00000530: SUB
00000531: NOT
00000532: AND
00000533: DUP2
00000534: MSTORE
00000535: PUSH1 0x20
00000537: ADD
00000538: SWAP2
00000539: POP
0000053a: JUMPDEST
0000053b: POP
0000053c: SWAP3
0000053d: POP
0000053e: POP
0000053f: POP
00000540: PUSH1 0x40
00000542: MLOAD
00000543: DUP1
00000544: SWAP2
00000545: SUB
00000546: SWAP1
00000547: RETURN
00000548: JUMPDEST
00000549: PUSH1 0x40
0000054b: DUP1
0000054c: MLOAD
0000054d: SWAP2
0000054e: DUP3
0000054f: MSTORE
00000550: MLOAD
00000551: SWAP1
00000552: DUP2
00000553: SWAP1
00000554: SUB
00000555: PUSH1 0x20
00000557: ADD
00000558: SWAP1
00000559: RETURN
0000055a: JUMPDEST
0000055b: PUSH1 0x40
0000055d: DUP1
0000055e: MLOAD
0000055f: PUSH1 0xff
00000561: SWAP3
00000562: SWAP1
00000563: SWAP3
00000564: AND
00000565: DUP3
00000566: MSTORE
00000567: MLOAD
00000568: SWAP1
00000569: DUP2
0000056a: SWAP1
0000056b: SUB
0000056c: PUSH1 0x20
0000056e: ADD
0000056f: SWAP1
00000570: RETURN
00000571: JUMPDEST
00000572: PUSH1 0x40
00000574: DUP1
00000575: MLOAD
00000576: PUSH1 0x01
00000578: PUSH1 0xa0
0000057a: PUSH1 0x02
0000057c: EXP
0000057d: SUB
0000057e: SWAP3
0000057f: SWAP1
00000580: SWAP3
00000581: AND
00000582: DUP3
00000583: MSTORE
00000584: MLOAD
00000585: SWAP1
00000586: DUP2
00000587: SWAP1
00000588: SUB
00000589: PUSH1 0x20
0000058b: ADD
0000058c: SWAP1
0000058d: RETURN
0000058e: JUMPDEST
0000058f: PUSH1 0x00
00000591: DUP1
00000592: SLOAD
00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a8: NOT
000005a9: AND
000005aa: DUP3
000005ab: OR
000005ac: SWAP1
000005ad: SSTORE
000005ae: POP
000005af: JUMP
000005b0: JUMPDEST
000005b1: DUP3
000005b2: ADD
000005b3: SWAP2
000005b4: SWAP1
000005b5: PUSH1 0x00
000005b7: MSTORE
000005b8: PUSH1 0x20
000005ba: PUSH1 0x00
000005bc: KECCAK256
000005bd: SWAP1
000005be: JUMPDEST
000005bf: DUP2
000005c0: SLOAD
000005c1: DUP2
000005c2: MSTORE
000005c3: SWAP1
000005c4: PUSH1 0x01
000005c6: ADD
000005c7: SWAP1
000005c8: PUSH1 0x20
000005ca: ADD
000005cb: DUP1
000005cc: DUP4
000005cd: GT
000005ce: PUSH2 0x05be
000005d1: JUMPI
000005d2: DUP3
000005d3: SWAP1
000005d4: SUB
000005d5: PUSH1 0x1f
000005d7: AND
000005d8: DUP3
000005d9: ADD
000005da: SWAP2
000005db: JUMPDEST
000005dc: POP
000005dd: POP
000005de: POP
000005df: POP
000005e0: POP
000005e1: DUP2
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH7 0x038d7ea4c68000
000005ec: MUL
000005ed: PUSH1 0x07
000005ef: SSTORE
000005f0: JUMP
000005f1: JUMPDEST
000005f2: PUSH1 0x01
000005f4: PUSH1 0xa0
000005f6: PUSH1 0x02
000005f8: EXP
000005f9: SUB
000005fa: DUP3
000005fb: AND
000005fc: PUSH1 0x00
000005fe: SWAP1
000005ff: DUP2
00000600: MSTORE
00000601: PUSH1 0x08
00000603: PUSH1 0x20
00000605: MSTORE
00000606: PUSH1 0x40
00000608: SWAP1
00000609: KECCAK256
0000060a: SLOAD
0000060b: DUP2
0000060c: DUP2
0000060d: ADD
0000060e: LT
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH2 0x0002
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH1 0x01
0000061b: PUSH1 0xa0
0000061d: PUSH1 0x02
0000061f: EXP
00000620: SUB
00000621: CALLER
00000622: AND
00000623: PUSH1 0x00
00000625: SWAP1
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x09
0000062a: PUSH1 0x20
0000062c: MSTORE
0000062d: PUSH1 0x40
0000062f: SWAP1
00000630: KECCAK256
00000631: SLOAD
00000632: PUSH1 0xff
00000634: AND
00000635: ISZERO
00000636: PUSH2 0x063e
00000639: JUMPI
0000063a: PUSH2 0x0002
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH1 0x01
00000641: PUSH1 0xa0
00000643: PUSH1 0x02
00000645: EXP
00000646: SUB
00000647: CALLER
00000648: DUP2
00000649: AND
0000064a: PUSH1 0x00
0000064c: DUP2
0000064d: DUP2
0000064e: MSTORE
0000064f: PUSH1 0x08
00000651: PUSH1 0x20
00000653: SWAP1
00000654: DUP2
00000655: MSTORE
00000656: PUSH1 0x40
00000658: DUP1
00000659: DUP4
0000065a: KECCAK256
0000065b: DUP1
0000065c: SLOAD
0000065d: DUP8
0000065e: SWAP1
0000065f: SUB
00000660: SWAP1
00000661: SSTORE
00000662: SWAP4
00000663: DUP7
00000664: AND
00000665: DUP1
00000666: DUP4
00000667: MSTORE
00000668: SWAP2
00000669: DUP5
0000066a: SWAP1
0000066b: KECCAK256
0000066c: DUP1
0000066d: SLOAD
0000066e: DUP7
0000066f: ADD
00000670: SWAP1
00000671: SSTORE
00000672: DUP4
00000673: MLOAD
00000674: DUP6
00000675: DUP2
00000676: MSTORE
00000677: SWAP4
00000678: MLOAD
00000679: SWAP2
0000067a: SWAP4
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: MLOAD
0000067f: PUSH1 0x20
00000681: PUSH2 0x0940
00000684: DUP4
00000685: CODECOPY
00000686: DUP2
00000687: MLOAD
00000688: SWAP2
00000689: MSTORE
0000068a: SWAP3
0000068b: SWAP1
0000068c: DUP2
0000068d: SWAP1
0000068e: SUB
0000068f: SWAP1
00000690: SWAP2
00000691: ADD
00000692: SWAP1
00000693: LOG3
00000694: PUSH1 0x07
00000696: SLOAD
00000697: PUSH1 0x01
00000699: PUSH1 0xa0
0000069b: PUSH1 0x02
0000069d: EXP
0000069e: SUB
0000069f: DUP4
000006a0: AND
000006a1: BALANCE
000006a2: LT
000006a3: ISZERO
000006a4: PUSH2 0x06c4
000006a7: JUMPI
000006a8: PUSH1 0x07
000006aa: SLOAD
000006ab: PUSH1 0x04
000006ad: SLOAD
000006ae: PUSH2 0x06c4
000006b1: SWAP2
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: PUSH1 0x02
000006b8: EXP
000006b9: SUB
000006ba: DUP6
000006bb: AND
000006bc: BALANCE
000006bd: SWAP1
000006be: SUB
000006bf: DIV
000006c0: PUSH2 0x0460
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: PUSH1 0x04
000006ca: SLOAD
000006cb: PUSH1 0x07
000006cd: SLOAD
000006ce: PUSH1 0x01
000006d0: PUSH1 0xa0
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: SUB
000006d6: DUP6
000006d7: AND
000006d8: SWAP3
000006d9: PUSH1 0x00
000006db: SWAP3
000006dc: DUP5
000006dd: BALANCE
000006de: SWAP1
000006df: SWAP3
000006e0: SUB
000006e1: SWAP2
000006e2: SWAP1
000006e3: SWAP2
000006e4: DIV
000006e5: SWAP1
000006e6: DUP3
000006e7: DUP2
000006e8: DUP2
000006e9: DUP2
000006ea: DUP6
000006eb: DUP9
000006ec: DUP4
000006ed: CALL
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: POP
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH1 0x01
000006f9: PUSH1 0xa0
000006fb: PUSH1 0x02
000006fd: EXP
000006fe: SUB
000006ff: DUP4
00000700: AND
00000701: PUSH1 0x00
00000703: SWAP1
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x08
00000708: PUSH1 0x20
0000070a: MSTORE
0000070b: PUSH1 0x40
0000070d: SWAP1
0000070e: KECCAK256
0000070f: SLOAD
00000710: DUP1
00000711: DUP4
00000712: ADD
00000713: LT
00000714: ISZERO
00000715: PUSH2 0x071d
00000718: JUMPI
00000719: PUSH2 0x0002
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH1 0x01
00000720: PUSH1 0xa0
00000722: PUSH1 0x02
00000724: EXP
00000725: SUB
00000726: DUP5
00000727: DUP2
00000728: AND
00000729: PUSH1 0x00
0000072b: DUP2
0000072c: DUP2
0000072d: MSTORE
0000072e: PUSH1 0x0a
00000730: PUSH1 0x20
00000732: SWAP1
00000733: DUP2
00000734: MSTORE
00000735: PUSH1 0x40
00000737: DUP1
00000738: DUP4
00000739: KECCAK256
0000073a: CALLER
0000073b: SWAP1
0000073c: SWAP6
0000073d: AND
0000073e: DUP1
0000073f: DUP5
00000740: MSTORE
00000741: SWAP5
00000742: DUP3
00000743: MSTORE
00000744: DUP1
00000745: DUP4
00000746: KECCAK256
00000747: SLOAD
00000748: SWAP4
00000749: DUP4
0000074a: MSTORE
0000074b: PUSH1 0x0b
0000074d: DUP3
0000074e: MSTORE
0000074f: DUP1
00000750: DUP4
00000751: KECCAK256
00000752: SWAP5
00000753: DUP4
00000754: MSTORE
00000755: SWAP4
00000756: SWAP1
00000757: MSTORE
00000758: SWAP2
00000759: SWAP1
0000075a: SWAP2
0000075b: KECCAK256
0000075c: SLOAD
0000075d: DUP4
0000075e: ADD
0000075f: GT
00000760: ISZERO
00000761: PUSH2 0x0769
00000764: JUMPI
00000765: PUSH2 0x0002
00000768: JUMP
00000769: JUMPDEST
0000076a: PUSH1 0x01
0000076c: PUSH1 0xa0
0000076e: PUSH1 0x02
00000770: EXP
00000771: SUB
00000772: DUP5
00000773: DUP2
00000774: AND
00000775: PUSH1 0x00
00000777: DUP2
00000778: DUP2
00000779: MSTORE
0000077a: PUSH1 0x08
0000077c: PUSH1 0x20
0000077e: SWAP1
0000077f: DUP2
00000780: MSTORE
00000781: PUSH1 0x40
00000783: DUP1
00000784: DUP4
00000785: KECCAK256
00000786: DUP1
00000787: SLOAD
00000788: DUP9
00000789: SWAP1
0000078a: SUB
0000078b: SWAP1
0000078c: SSTORE
0000078d: DUP8
0000078e: DUP6
0000078f: AND
00000790: DUP1
00000791: DUP5
00000792: MSTORE
00000793: DUP2
00000794: DUP5
00000795: KECCAK256
00000796: DUP1
00000797: SLOAD
00000798: DUP10
00000799: ADD
0000079a: SWAP1
0000079b: SSTORE
0000079c: DUP5
0000079d: DUP5
0000079e: MSTORE
0000079f: PUSH1 0x0b
000007a1: DUP4
000007a2: MSTORE
000007a3: DUP2
000007a4: DUP5
000007a5: KECCAK256
000007a6: CALLER
000007a7: SWAP1
000007a8: SWAP7
000007a9: AND
000007aa: DUP5
000007ab: MSTORE
000007ac: SWAP5
000007ad: DUP3
000007ae: MSTORE
000007af: SWAP2
000007b0: DUP3
000007b1: SWAP1
000007b2: KECCAK256
000007b3: DUP1
000007b4: SLOAD
000007b5: DUP8
000007b6: ADD
000007b7: SWAP1
000007b8: SSTORE
000007b9: DUP2
000007ba: MLOAD
000007bb: DUP7
000007bc: DUP2
000007bd: MSTORE
000007be: SWAP2
000007bf: MLOAD
000007c0: PUSH1 0x00
000007c2: DUP1
000007c3: MLOAD
000007c4: PUSH1 0x20
000007c6: PUSH2 0x0940
000007c9: DUP4
000007ca: CODECOPY
000007cb: DUP2
000007cc: MLOAD
000007cd: SWAP2
000007ce: MSTORE
000007cf: SWAP3
000007d0: DUP2
000007d1: SWAP1
000007d2: SUB
000007d3: SWAP1
000007d4: SWAP2
000007d5: ADD
000007d6: SWAP1
000007d7: LOG3
000007d8: POP
000007d9: PUSH1 0x01
000007db: SWAP4
000007dc: SWAP3
000007dd: POP
000007de: POP
000007df: POP
000007e0: JUMP
000007e1: JUMPDEST
000007e2: PUSH1 0x01
000007e4: PUSH1 0xa0
000007e6: PUSH1 0x02
000007e8: EXP
000007e9: SUB
000007ea: DUP3
000007eb: AND
000007ec: PUSH1 0x00
000007ee: DUP2
000007ef: DUP2
000007f0: MSTORE
000007f1: PUSH1 0x09
000007f3: PUSH1 0x20
000007f5: SWAP1
000007f6: DUP2
000007f7: MSTORE
000007f8: PUSH1 0x40
000007fa: SWAP2
000007fb: DUP3
000007fc: SWAP1
000007fd: KECCAK256
000007fe: DUP1
000007ff: SLOAD
00000800: PUSH1 0xff
00000802: NOT
00000803: AND
00000804: DUP6
00000805: OR
00000806: SWAP1
00000807: SSTORE
00000808: DUP2
00000809: MLOAD
0000080a: SWAP3
0000080b: DUP4
0000080c: MSTORE
0000080d: DUP3
0000080e: ADD
0000080f: DUP4
00000810: SWAP1
00000811: MSTORE
00000812: DUP1
00000813: MLOAD
00000814: PUSH32 0x48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a5
00000835: SWAP3
00000836: DUP2
00000837: SWAP1
00000838: SUB
00000839: SWAP1
0000083a: SWAP2
0000083b: ADD
0000083c: SWAP1
0000083d: LOG1
0000083e: POP
0000083f: POP
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x04
00000844: SWAP2
00000845: SWAP1
00000846: SWAP2
00000847: SSTORE
00000848: PUSH1 0x05
0000084a: SSTORE
0000084b: JUMP
0000084c: JUMPDEST
0000084d: PUSH1 0x01
0000084f: PUSH1 0xa0
00000851: PUSH1 0x02
00000853: EXP
00000854: SUB
00000855: CALLER
00000856: DUP2
00000857: AND
00000858: PUSH1 0x00
0000085a: DUP2
0000085b: DUP2
0000085c: MSTORE
0000085d: PUSH1 0x08
0000085f: PUSH1 0x20
00000861: SWAP1
00000862: DUP2
00000863: MSTORE
00000864: PUSH1 0x40
00000866: DUP1
00000867: DUP4
00000868: KECCAK256
00000869: DUP1
0000086a: SLOAD
0000086b: DUP8
0000086c: ADD
0000086d: SWAP1
0000086e: SSTORE
0000086f: ADDRESS
00000870: SWAP1
00000871: SWAP5
00000872: AND
00000873: DUP1
00000874: DUP4
00000875: MSTORE
00000876: SWAP2
00000877: DUP5
00000878: SWAP1
00000879: KECCAK256
0000087a: DUP1
0000087b: SLOAD
0000087c: DUP7
0000087d: SWAP1
0000087e: SUB
0000087f: SWAP1
00000880: SSTORE
00000881: DUP4
00000882: MLOAD
00000883: DUP6
00000884: DUP2
00000885: MSTORE
00000886: SWAP4
00000887: MLOAD
00000888: SWAP3
00000889: SWAP4
0000088a: SWAP2
0000088b: SWAP3
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: MLOAD
00000890: PUSH1 0x20
00000892: PUSH2 0x0940
00000895: DUP4
00000896: CODECOPY
00000897: DUP2
00000898: MLOAD
00000899: SWAP2
0000089a: MSTORE
0000089b: SWAP3
0000089c: DUP2
0000089d: SWAP1
0000089e: SUB
0000089f: SWAP1
000008a0: SWAP2
000008a1: ADD
000008a2: SWAP1
000008a3: LOG3
000008a4: POP
000008a5: JUMP
000008a6: JUMPDEST
000008a7: ADDRESS
000008a8: PUSH1 0x01
000008aa: PUSH1 0xa0
000008ac: PUSH1 0x02
000008ae: EXP
000008af: SUB
000008b0: SWAP1
000008b1: DUP2
000008b2: AND
000008b3: PUSH1 0x00
000008b5: SWAP1
000008b6: DUP2
000008b7: MSTORE
000008b8: PUSH1 0x08
000008ba: PUSH1 0x20
000008bc: MSTORE
000008bd: PUSH1 0x40
000008bf: DUP1
000008c0: DUP3
000008c1: KECCAK256
000008c2: DUP1
000008c3: SLOAD
000008c4: DUP6
000008c5: ADD
000008c6: SWAP1
000008c7: SSTORE
000008c8: CALLER
000008c9: SWAP1
000008ca: SWAP3
000008cb: AND
000008cc: DUP1
000008cd: DUP3
000008ce: MSTORE
000008cf: DUP3
000008d0: DUP3
000008d1: KECCAK256
000008d2: DUP1
000008d3: SLOAD
000008d4: DUP6
000008d5: SWAP1
000008d6: SUB
000008d7: SWAP1
000008d8: SSTORE
000008d9: SWAP2
000008da: MLOAD
000008db: PUSH1 0x04
000008dd: SLOAD
000008de: DUP5
000008df: MUL
000008e0: SWAP1
000008e1: DUP3
000008e2: DUP2
000008e3: DUP2
000008e4: DUP2
000008e5: DUP6
000008e6: DUP9
000008e7: DUP4
000008e8: CALL
000008e9: POP
000008ea: DUP5
000008eb: DUP2
000008ec: MSTORE
000008ed: PUSH1 0x40
000008ef: MLOAD
000008f0: ADDRESS
000008f1: PUSH1 0x01
000008f3: PUSH1 0xa0
000008f5: PUSH1 0x02
000008f7: EXP
000008f8: SUB
000008f9: AND
000008fa: SWAP5
000008fb: SWAP4
000008fc: POP
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: MLOAD
00000901: PUSH1 0x20
00000903: PUSH2 0x0940
00000906: DUP4
00000907: CODECOPY
00000908: DUP2
00000909: MLOAD
0000090a: SWAP2
0000090b: MSTORE
0000090c: SWAP3
0000090d: POP
0000090e: SWAP1
0000090f: DUP2
00000910: SWAP1
00000911: SUB
00000912: PUSH1 0x20
00000914: ADD
00000915: SWAP1
00000916: LOG3
00000917: POP
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH1 0x00
0000091c: DUP1
0000091d: SLOAD
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: PUSH1 0x01
00000923: PUSH1 0xa0
00000925: PUSH1 0x02
00000927: EXP
00000928: SUB
00000929: SWAP2
0000092a: SWAP1
0000092b: SWAP2
0000092c: AND
0000092d: SWAP2
0000092e: SWAP1
0000092f: DUP4
00000930: SWAP1
00000931: DUP3
00000932: DUP2
00000933: DUP2
00000934: DUP2
00000935: DUP6
00000936: DUP9
00000937: DUP4
00000938: CALL
00000939: POP
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: POP
0000093f: JUMP
00000940: UNKNOWN(0xDD)
00000941: CALLCODE
00000942: MSTORE
00000943: UNKNOWN(0xAD)
00000944: SHL
00000945: UNKNOWN(0xE2)
00000946: UNKNOWN(0xC8)
00000947: SWAP12
00000948: PUSH10 0xc2b068fc378daa952ba7
00000953: CALL
00000954: PUSH4 0xc4a11628
00000959: CREATE2
0000095a: GAS
0000095b: UNKNOWN(0x4D)
0000095c: CREATE2
0000095d: UNKNOWN(0x23)
0000095e: UNKNOWN(0xB3)
0000095f: UNKNOWN(0xEF)
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
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x725ff06a15b2cb4632dafb11960dd1b28a78cc138dd9edeb13173bbad196c6d5
call_targets: 0xec0abf20156dc50a291b90c7aa6dc0aa1db7b757
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x725ff06a15b2cb4632dafb11960dd1b28a78cc138dd9edeb13173bbad196c6d5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xec0abf20156dc50a291b90c7aa6dc0aa1db7b757"
    ],
    "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": "0x05fefda7",
            "selector": "0x05fefda7",
            "calldata_variants": [
                "0x05fefda7",
                "0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3177029f",
            "selector": "0x3177029f",
            "calldata_variants": [
                "0x3177029f",
                "0x3177029f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x47f1d8d7",
            "selector": "0x47f1d8d7",
            "calldata_variants": [
                "0x47f1d8d7",
                "0x47f1d8d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1296,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1773,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 7
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x725ff06a15b2cb4632dafb11960dd1b28a78cc138dd9edeb13173bbad196c6d5
call_targets: 0xec0abf20156dc50a291b90c7aa6dc0aa1db7b757
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x725ff06a15b2cb4632dafb11960dd1b28a78cc138dd9edeb13173bbad196c6d5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xec0abf20156dc50a291b90c7aa6dc0aa1db7b757"
    ],
    "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": "0x05fefda7",
            "selector": "0x05fefda7",
            "calldata_variants": [
                "0x05fefda7",
                "0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3177029f",
            "selector": "0x3177029f",
            "calldata_variants": [
                "0x3177029f",
                "0x3177029f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x47f1d8d7",
            "selector": "0x47f1d8d7",
            "calldata_variants": [
                "0x47f1d8d7",
                "0x47f1d8d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1296,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1773,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xe8b9eb24cafdef1f4db4e5b395941a205ba0537fdf9f803e9aabd3a4f420464c
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xe8b9eb24cafdef1f4db4e5b395941a205ba0537fdf9f803e9aabd3a4f420464c",
    "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": "0x05fefda7",
            "selector": "0x05fefda7",
            "calldata_variants": [
                "0x05fefda7",
                "0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3177029f",
            "selector": "0x3177029f",
            "calldata_variants": [
                "0x3177029f",
                "0x3177029f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x47f1d8d7",
            "selector": "0x47f1d8d7",
            "calldata_variants": [
                "0x47f1d8d7",
                "0x47f1d8d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 2
}