Analysis Run

019b3836-5b83-714b-aa13-bda622943b0d

complete

Chain ID

1

Address

0x55572c25923dec38a01f6144b651a57659d1767d

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
9059	artifact.fetch	complete	1 / 3	4 months ago
9060	tool.cast_disasm	complete	1 / 3	4 months ago
82780	analysis.bundle	complete	1 / 3	2 weeks ago
82781	capability.graph	complete	1 / 3	2 weeks ago
82782	detector.run	complete	1 / 3	2 weeks ago
82783	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

3

EXT*/BALANCE

2

Total opcodes

1270

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x007f
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x06f94b89
00000034: EQ
00000035: PUSH2 0x03e8
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x1865c57d
0000003f: EQ
00000040: PUSH2 0x0414
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x2ae168a6
0000004a: EQ
0000004b: PUSH2 0x0452
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x41c0e1b5
00000055: EQ
00000056: PUSH2 0x0461
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x4fb90da0
00000060: EQ
00000061: PUSH2 0x0470
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x60239fe7
0000006b: EQ
0000006c: PUSH2 0x047f
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xf7608485
00000076: EQ
00000077: PUSH2 0x048e
0000007a: JUMPI
0000007b: PUSH2 0x007f
0000007e: JUMP
0000007f: JUMPDEST
00000080: PUSH2 0x03b7
00000083: JUMPDEST
00000084: PUSH2 0x0100
00000087: PUSH1 0x40
00000089: MLOAD
0000008a: SWAP1
0000008b: DUP2
0000008c: ADD
0000008d: PUSH1 0x40
0000008f: MSTORE
00000090: DUP1
00000091: PUSH1 0x08
00000093: SWAP1
00000094: JUMPDEST
00000095: PUSH1 0x00
00000097: DUP2
00000098: MSTORE
00000099: PUSH1 0x20
0000009b: ADD
0000009c: SWAP1
0000009d: PUSH1 0x01
0000009f: SWAP1
000000a0: SUB
000000a1: SWAP1
000000a2: DUP2
000000a3: PUSH2 0x0094
000000a6: JUMPI
000000a7: SWAP1
000000a8: POP
000000a9: POP
000000aa: PUSH1 0x00
000000ac: PUSH1 0x00
000000ae: PUSH1 0x00
000000b0: PUSH1 0x00
000000b2: PUSH1 0x00
000000b4: PUSH1 0x00
000000b6: PUSH1 0x0d
000000b8: PUSH1 0x00
000000ba: SWAP1
000000bb: SLOAD
000000bc: SWAP1
000000bd: PUSH2 0x0100
000000c0: EXP
000000c1: SWAP1
000000c2: DIV
000000c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000d8: AND
000000d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000ee: AND
000000ef: CALLER
000000f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000105: AND
00000106: EQ
00000107: ISZERO
00000108: ISZERO
00000109: PUSH2 0x01d9
0000010c: JUMPI
0000010d: PUSH1 0x01
0000010f: PUSH1 0x03
00000111: PUSH1 0x00
00000113: POP
00000114: SLOAD
00000115: EQ
00000116: ISZERO
00000117: DUP1
00000118: PUSH2 0x012b
0000011b: JUMPI
0000011c: POP
0000011d: PUSH1 0x06
0000011f: PUSH1 0x00
00000121: POP
00000122: SLOAD
00000123: PUSH1 0x04
00000125: PUSH1 0x00
00000127: POP
00000128: SLOAD
00000129: LT
0000012a: ISZERO
0000012b: JUMPDEST
0000012c: DUP1
0000012d: PUSH2 0x013b
00000130: JUMPI
00000131: POP
00000132: PUSH1 0x00
00000134: PUSH1 0x00
00000136: POP
00000137: SLOAD
00000138: TIMESTAMP
00000139: LT
0000013a: ISZERO
0000013b: JUMPDEST
0000013c: ISZERO
0000013d: PUSH2 0x0145
00000140: JUMPI
00000141: PUSH2 0x0002
00000144: JUMP
00000145: JUMPDEST
00000146: PUSH1 0x08
00000148: PUSH1 0x00
0000014a: POP
0000014b: SLOAD
0000014c: PUSH1 0x08
0000014e: PUSH1 0x00
00000150: POP
00000151: SLOAD
00000152: CALLVALUE
00000153: MOD
00000154: CALLVALUE
00000155: SUB
00000156: DIV
00000157: SWAP6
00000158: POP
00000159: PUSH1 0x02
0000015b: PUSH1 0x00
0000015d: POP
0000015e: SLOAD
0000015f: DUP7
00000160: EQ
00000161: ISZERO
00000162: ISZERO
00000163: PUSH2 0x016b
00000166: JUMPI
00000167: PUSH2 0x0002
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x01
0000016e: PUSH1 0x04
00000170: PUSH1 0x00
00000172: DUP3
00000173: DUP3
00000174: DUP3
00000175: POP
00000176: SLOAD
00000177: ADD
00000178: SWAP3
00000179: POP
0000017a: POP
0000017b: DUP2
0000017c: SWAP1
0000017d: SSTORE
0000017e: POP
0000017f: PUSH1 0x03
00000181: PUSH1 0x00
00000183: POP
00000184: SLOAD
00000185: SWAP5
00000186: POP
00000187: PUSH2 0x0100
0000018a: PUSH1 0x40
0000018c: MLOAD
0000018d: SWAP1
0000018e: DUP2
0000018f: ADD
00000190: PUSH1 0x40
00000192: MSTORE
00000193: DUP1
00000194: PUSH1 0x00
00000196: DUP2
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: ADD
0000019b: PUSH1 0x00
0000019d: DUP2
0000019e: MSTORE
0000019f: PUSH1 0x20
000001a1: ADD
000001a2: DUP7
000001a3: DUP2
000001a4: MSTORE
000001a5: PUSH1 0x20
000001a7: ADD
000001a8: DUP7
000001a9: DUP2
000001aa: MSTORE
000001ab: PUSH1 0x20
000001ad: ADD
000001ae: DUP7
000001af: DUP2
000001b0: MSTORE
000001b1: PUSH1 0x20
000001b3: ADD
000001b4: DUP7
000001b5: DUP2
000001b6: MSTORE
000001b7: PUSH1 0x20
000001b9: ADD
000001ba: TIMESTAMP
000001bb: PUSH1 0x00
000001bd: PUSH1 0x00
000001bf: POP
000001c0: SLOAD
000001c1: SUB
000001c2: DUP2
000001c3: MSTORE
000001c4: PUSH1 0x20
000001c6: ADD
000001c7: PUSH1 0x04
000001c9: PUSH1 0x00
000001cb: POP
000001cc: SLOAD
000001cd: DUP2
000001ce: MSTORE
000001cf: PUSH1 0x20
000001d1: ADD
000001d2: POP
000001d3: SWAP7
000001d4: POP
000001d5: PUSH2 0x03ae
000001d8: JUMP
000001d9: JUMPDEST
000001da: PUSH1 0x0d
000001dc: PUSH1 0x00
000001de: SWAP1
000001df: SLOAD
000001e0: SWAP1
000001e1: PUSH2 0x0100
000001e4: EXP
000001e5: SWAP1
000001e6: DIV
000001e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fc: AND
000001fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000212: AND
00000213: CALLER
00000214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000229: AND
0000022a: EQ
0000022b: ISZERO
0000022c: PUSH2 0x03ad
0000022f: JUMPI
00000230: PUSH1 0x64
00000232: CALLVALUE
00000233: MOD
00000234: SWAP4
00000235: POP
00000236: PUSH1 0x64
00000238: PUSH1 0x64
0000023a: CALLVALUE
0000023b: MOD
0000023c: CALLVALUE
0000023d: SUB
0000023e: DIV
0000023f: SWAP3
00000240: POP
00000241: PUSH1 0x0a
00000243: DUP5
00000244: MOD
00000245: SWAP2
00000246: POP
00000247: PUSH1 0x0a
00000249: DUP3
0000024a: DUP6
0000024b: SUB
0000024c: DIV
0000024d: SWAP1
0000024e: POP
0000024f: PUSH1 0x01
00000251: DUP3
00000252: EQ
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025e
00000258: JUMPI
00000259: POP
0000025a: PUSH1 0x00
0000025c: DUP4
0000025d: GT
0000025e: JUMPDEST
0000025f: ISZERO
00000260: PUSH2 0x026e
00000263: JUMPI
00000264: DUP3
00000265: PUSH1 0x09
00000267: PUSH1 0x00
00000269: POP
0000026a: DUP2
0000026b: SWAP1
0000026c: SSTORE
0000026d: POP
0000026e: JUMPDEST
0000026f: PUSH1 0x02
00000271: DUP3
00000272: EQ
00000273: ISZERO
00000274: PUSH2 0x0283
00000277: JUMPI
00000278: PUSH1 0x00
0000027a: PUSH1 0x03
0000027c: PUSH1 0x00
0000027e: POP
0000027f: DUP2
00000280: SWAP1
00000281: SSTORE
00000282: POP
00000283: JUMPDEST
00000284: PUSH1 0x03
00000286: DUP3
00000287: EQ
00000288: ISZERO
00000289: PUSH2 0x0298
0000028c: JUMPI
0000028d: PUSH1 0x01
0000028f: PUSH1 0x03
00000291: PUSH1 0x00
00000293: POP
00000294: DUP2
00000295: SWAP1
00000296: SSTORE
00000297: POP
00000298: JUMPDEST
00000299: PUSH1 0x04
0000029b: DUP3
0000029c: EQ
0000029d: ISZERO
0000029e: PUSH2 0x02aa
000002a1: JUMPI
000002a2: PUSH2 0x02a9
000002a5: PUSH2 0x04dc
000002a8: JUMP
000002a9: JUMPDEST
000002aa: JUMPDEST
000002ab: PUSH1 0x05
000002ad: DUP3
000002ae: EQ
000002af: DUP1
000002b0: ISZERO
000002b1: PUSH2 0x02ba
000002b4: JUMPI
000002b5: POP
000002b6: PUSH1 0x00
000002b8: DUP4
000002b9: GT
000002ba: JUMPDEST
000002bb: ISZERO
000002bc: PUSH2 0x02d1
000002bf: JUMPI
000002c0: PUSH1 0x08
000002c2: PUSH1 0x00
000002c4: POP
000002c5: SLOAD
000002c6: DUP4
000002c7: MUL
000002c8: PUSH1 0x0a
000002ca: PUSH1 0x00
000002cc: POP
000002cd: DUP2
000002ce: SWAP1
000002cf: SSTORE
000002d0: POP
000002d1: JUMPDEST
000002d2: PUSH1 0x06
000002d4: DUP3
000002d5: EQ
000002d6: ISZERO
000002d7: PUSH2 0x02e8
000002da: JUMPI
000002db: PUSH1 0x3c
000002dd: DUP4
000002de: MUL
000002df: PUSH1 0x01
000002e1: PUSH1 0x00
000002e3: POP
000002e4: DUP2
000002e5: SWAP1
000002e6: SSTORE
000002e7: POP
000002e8: JUMPDEST
000002e9: PUSH1 0x07
000002eb: DUP3
000002ec: EQ
000002ed: ISZERO
000002ee: PUSH2 0x02fc
000002f1: JUMPI
000002f2: DUP3
000002f3: PUSH1 0x06
000002f5: PUSH1 0x00
000002f7: POP
000002f8: DUP2
000002f9: SWAP1
000002fa: SSTORE
000002fb: POP
000002fc: JUMPDEST
000002fd: PUSH1 0x01
000002ff: DUP2
00000300: EQ
00000301: ISZERO
00000302: PUSH2 0x039e
00000305: JUMPI
00000306: PUSH1 0x0a
00000308: PUSH1 0x00
0000030a: POP
0000030b: SLOAD
0000030c: ADDRESS
0000030d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000322: AND
00000323: BALANCE
00000324: GT
00000325: ISZERO
00000326: PUSH2 0x039d
00000329: JUMPI
0000032a: PUSH1 0x0b
0000032c: PUSH1 0x00
0000032e: SWAP1
0000032f: SLOAD
00000330: SWAP1
00000331: PUSH2 0x0100
00000334: EXP
00000335: SWAP1
00000336: DIV
00000337: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000034c: AND
0000034d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000362: AND
00000363: PUSH1 0x00
00000365: PUSH1 0x0a
00000367: PUSH1 0x00
00000369: POP
0000036a: SLOAD
0000036b: ADDRESS
0000036c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000381: AND
00000382: BALANCE
00000383: SUB
00000384: PUSH1 0x40
00000386: MLOAD
00000387: DUP1
00000388: SWAP1
00000389: POP
0000038a: PUSH1 0x00
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: DUP1
00000390: DUP4
00000391: SUB
00000392: DUP2
00000393: DUP6
00000394: DUP9
00000395: DUP9
00000396: CALL
00000397: SWAP4
00000398: POP
00000399: POP
0000039a: POP
0000039b: POP
0000039c: POP
0000039d: JUMPDEST
0000039e: JUMPDEST
0000039f: PUSH2 0x03a6
000003a2: PUSH2 0x059d
000003a5: JUMP
000003a6: JUMPDEST
000003a7: SWAP7
000003a8: POP
000003a9: PUSH2 0x03ae
000003ac: JUMP
000003ad: JUMPDEST
000003ae: JUMPDEST
000003af: POP
000003b0: POP
000003b1: POP
000003b2: POP
000003b3: POP
000003b4: POP
000003b5: SWAP1
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: DUP1
000003bc: DUP3
000003bd: PUSH1 0x08
000003bf: PUSH1 0x20
000003c1: MUL
000003c2: DUP1
000003c3: DUP4
000003c4: DUP4
000003c5: DUP3
000003c6: SWAP1
000003c7: PUSH1 0x00
000003c9: PUSH1 0x04
000003cb: PUSH1 0x20
000003cd: DUP5
000003ce: PUSH1 0x1f
000003d0: ADD
000003d1: DIV
000003d2: PUSH1 0x03
000003d4: MUL
000003d5: PUSH1 0x0f
000003d7: ADD
000003d8: CALL
000003d9: POP
000003da: SWAP1
000003db: POP
000003dc: ADD
000003dd: SWAP2
000003de: POP
000003df: POP
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: DUP1
000003e4: SWAP2
000003e5: SUB
000003e6: SWAP1
000003e7: RETURN
000003e8: JUMPDEST
000003e9: PUSH2 0x03fe
000003ec: PUSH1 0x04
000003ee: DUP1
000003ef: DUP1
000003f0: CALLDATALOAD
000003f1: SWAP1
000003f2: PUSH1 0x20
000003f4: ADD
000003f5: SWAP1
000003f6: SWAP2
000003f7: SWAP1
000003f8: POP
000003f9: POP
000003fa: PUSH2 0x068a
000003fd: JUMP
000003fe: JUMPDEST
000003ff: PUSH1 0x40
00000401: MLOAD
00000402: DUP1
00000403: DUP3
00000404: DUP2
00000405: MSTORE
00000406: PUSH1 0x20
00000408: ADD
00000409: SWAP2
0000040a: POP
0000040b: POP
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: DUP1
00000410: SWAP2
00000411: SUB
00000412: SWAP1
00000413: RETURN
00000414: JUMPDEST
00000415: PUSH2 0x0421
00000418: PUSH1 0x04
0000041a: DUP1
0000041b: POP
0000041c: POP
0000041d: PUSH2 0x059d
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: DUP3
00000427: PUSH1 0x08
00000429: PUSH1 0x20
0000042b: MUL
0000042c: DUP1
0000042d: DUP4
0000042e: DUP4
0000042f: DUP3
00000430: SWAP1
00000431: PUSH1 0x00
00000433: PUSH1 0x04
00000435: PUSH1 0x20
00000437: DUP5
00000438: PUSH1 0x1f
0000043a: ADD
0000043b: DIV
0000043c: PUSH1 0x03
0000043e: MUL
0000043f: PUSH1 0x0f
00000441: ADD
00000442: CALL
00000443: POP
00000444: SWAP1
00000445: POP
00000446: ADD
00000447: SWAP2
00000448: POP
00000449: POP
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: SWAP2
0000044f: SUB
00000450: SWAP1
00000451: RETURN
00000452: JUMPDEST
00000453: PUSH2 0x045f
00000456: PUSH1 0x04
00000458: DUP1
00000459: POP
0000045a: POP
0000045b: PUSH2 0x04dc
0000045e: JUMP
0000045f: JUMPDEST
00000460: STOP
00000461: JUMPDEST
00000462: PUSH2 0x046e
00000465: PUSH1 0x04
00000467: DUP1
00000468: POP
00000469: POP
0000046a: PUSH2 0x06a9
0000046d: JUMP
0000046e: JUMPDEST
0000046f: STOP
00000470: JUMPDEST
00000471: PUSH2 0x047d
00000474: PUSH1 0x04
00000476: DUP1
00000477: POP
00000478: POP
00000479: PUSH2 0x073d
0000047c: JUMP
0000047d: JUMPDEST
0000047e: STOP
0000047f: JUMPDEST
00000480: PUSH2 0x048c
00000483: PUSH1 0x04
00000485: DUP1
00000486: POP
00000487: POP
00000488: PUSH2 0x07a7
0000048b: JUMP
0000048c: JUMPDEST
0000048d: STOP
0000048e: JUMPDEST
0000048f: PUSH2 0x04da
00000492: PUSH1 0x04
00000494: DUP1
00000495: DUP1
00000496: CALLDATALOAD
00000497: SWAP1
00000498: PUSH1 0x20
0000049a: ADD
0000049b: SWAP1
0000049c: SWAP2
0000049d: SWAP1
0000049e: DUP1
0000049f: CALLDATALOAD
000004a0: SWAP1
000004a1: PUSH1 0x20
000004a3: ADD
000004a4: SWAP1
000004a5: SWAP2
000004a6: SWAP1
000004a7: DUP1
000004a8: CALLDATALOAD
000004a9: SWAP1
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: SWAP1
000004ae: SWAP2
000004af: SWAP1
000004b0: DUP1
000004b1: CALLDATALOAD
000004b2: SWAP1
000004b3: PUSH1 0x20
000004b5: ADD
000004b6: SWAP1
000004b7: SWAP2
000004b8: SWAP1
000004b9: DUP1
000004ba: CALLDATALOAD
000004bb: SWAP1
000004bc: PUSH1 0x20
000004be: ADD
000004bf: SWAP1
000004c0: SWAP2
000004c1: SWAP1
000004c2: DUP1
000004c3: CALLDATALOAD
000004c4: SWAP1
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: SWAP1
000004c9: SWAP2
000004ca: SWAP1
000004cb: DUP1
000004cc: CALLDATALOAD
000004cd: SWAP1
000004ce: PUSH1 0x20
000004d0: ADD
000004d1: SWAP1
000004d2: SWAP2
000004d3: SWAP1
000004d4: POP
000004d5: POP
000004d6: PUSH2 0x0811
000004d9: JUMP
000004da: JUMPDEST
000004db: STOP
000004dc: JUMPDEST
000004dd: PUSH1 0x00
000004df: PUSH1 0x0d
000004e1: PUSH1 0x00
000004e3: SWAP1
000004e4: SLOAD
000004e5: SWAP1
000004e6: PUSH2 0x0100
000004e9: EXP
000004ea: SWAP1
000004eb: DIV
000004ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000501: AND
00000502: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000517: AND
00000518: CALLER
00000519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052e: AND
0000052f: EQ
00000530: ISZERO
00000531: DUP1
00000532: PUSH2 0x053f
00000535: JUMPI
00000536: POP
00000537: PUSH1 0x00
00000539: PUSH1 0x00
0000053b: POP
0000053c: SLOAD
0000053d: TIMESTAMP
0000053e: LT
0000053f: JUMPDEST
00000540: ISZERO
00000541: PUSH2 0x0549
00000544: JUMPI
00000545: PUSH2 0x0002
00000548: JUMP
00000549: JUMPDEST
0000054a: PUSH1 0x09
0000054c: PUSH1 0x00
0000054e: POP
0000054f: SLOAD
00000550: PUSH1 0x02
00000552: PUSH1 0x00
00000554: POP
00000555: DUP2
00000556: SWAP1
00000557: SSTORE
00000558: POP
00000559: PUSH1 0x07
0000055b: PUSH1 0x00
0000055d: POP
0000055e: SLOAD
0000055f: TIMESTAMP
00000560: SUB
00000561: SWAP1
00000562: POP
00000563: PUSH1 0x01
00000565: PUSH1 0x00
00000567: POP
00000568: SLOAD
00000569: PUSH1 0x01
0000056b: PUSH1 0x00
0000056d: POP
0000056e: SLOAD
0000056f: DUP3
00000570: MOD
00000571: DUP3
00000572: SUB
00000573: PUSH1 0x07
00000575: PUSH1 0x00
00000577: POP
00000578: SLOAD
00000579: ADD
0000057a: ADD
0000057b: PUSH1 0x00
0000057d: PUSH1 0x00
0000057f: POP
00000580: DUP2
00000581: SWAP1
00000582: SSTORE
00000583: POP
00000584: PUSH1 0x00
00000586: PUSH1 0x04
00000588: PUSH1 0x00
0000058a: POP
0000058b: DUP2
0000058c: SWAP1
0000058d: SSTORE
0000058e: POP
0000058f: PUSH1 0x01
00000591: PUSH1 0x03
00000593: PUSH1 0x00
00000595: POP
00000596: DUP2
00000597: SWAP1
00000598: SSTORE
00000599: POP
0000059a: JUMPDEST
0000059b: POP
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH2 0x0100
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: SWAP1
000005a5: DUP2
000005a6: ADD
000005a7: PUSH1 0x40
000005a9: MSTORE
000005aa: DUP1
000005ab: PUSH1 0x08
000005ad: SWAP1
000005ae: JUMPDEST
000005af: PUSH1 0x00
000005b1: DUP2
000005b2: MSTORE
000005b3: PUSH1 0x20
000005b5: ADD
000005b6: SWAP1
000005b7: PUSH1 0x01
000005b9: SWAP1
000005ba: SUB
000005bb: SWAP1
000005bc: DUP2
000005bd: PUSH2 0x05ae
000005c0: JUMPI
000005c1: SWAP1
000005c2: POP
000005c3: POP
000005c4: PUSH1 0x0d
000005c6: PUSH1 0x00
000005c8: SWAP1
000005c9: SLOAD
000005ca: SWAP1
000005cb: PUSH2 0x0100
000005ce: EXP
000005cf: SWAP1
000005d0: DIV
000005d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e6: AND
000005e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fc: AND
000005fd: CALLER
000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000613: AND
00000614: EQ
00000615: ISZERO
00000616: ISZERO
00000617: PUSH2 0x061f
0000061a: JUMPI
0000061b: PUSH2 0x0002
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH2 0x0100
00000623: PUSH1 0x40
00000625: MLOAD
00000626: SWAP1
00000627: DUP2
00000628: ADD
00000629: PUSH1 0x40
0000062b: MSTORE
0000062c: DUP1
0000062d: PUSH1 0x04
0000062f: PUSH1 0x00
00000631: POP
00000632: SLOAD
00000633: DUP2
00000634: MSTORE
00000635: PUSH1 0x20
00000637: ADD
00000638: PUSH1 0x06
0000063a: PUSH1 0x00
0000063c: POP
0000063d: SLOAD
0000063e: DUP2
0000063f: MSTORE
00000640: PUSH1 0x20
00000642: ADD
00000643: PUSH1 0x00
00000645: PUSH1 0x00
00000647: POP
00000648: SLOAD
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: TIMESTAMP
0000064f: DUP2
00000650: MSTORE
00000651: PUSH1 0x20
00000653: ADD
00000654: PUSH1 0x01
00000656: PUSH1 0x00
00000658: POP
00000659: SLOAD
0000065a: DUP2
0000065b: MSTORE
0000065c: PUSH1 0x20
0000065e: ADD
0000065f: PUSH1 0x02
00000661: PUSH1 0x00
00000663: POP
00000664: SLOAD
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x20
00000669: ADD
0000066a: PUSH1 0x09
0000066c: PUSH1 0x00
0000066e: POP
0000066f: SLOAD
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x20
00000674: ADD
00000675: PUSH1 0x03
00000677: PUSH1 0x00
00000679: POP
0000067a: SLOAD
0000067b: DUP2
0000067c: MSTORE
0000067d: PUSH1 0x20
0000067f: ADD
00000680: POP
00000681: SWAP1
00000682: POP
00000683: PUSH2 0x0687
00000686: JUMP
00000687: JUMPDEST
00000688: SWAP1
00000689: JUMP
0000068a: JUMPDEST
0000068b: PUSH1 0x00
0000068d: PUSH1 0x08
0000068f: PUSH1 0x00
00000691: POP
00000692: SLOAD
00000693: PUSH1 0x08
00000695: PUSH1 0x00
00000697: POP
00000698: SLOAD
00000699: DUP4
0000069a: MOD
0000069b: DUP4
0000069c: SUB
0000069d: DIV
0000069e: SWAP1
0000069f: POP
000006a0: PUSH2 0x06a4
000006a3: JUMP
000006a4: JUMPDEST
000006a5: SWAP2
000006a6: SWAP1
000006a7: POP
000006a8: JUMP
000006a9: JUMPDEST
000006aa: PUSH1 0x0d
000006ac: PUSH1 0x00
000006ae: SWAP1
000006af: SLOAD
000006b0: SWAP1
000006b1: PUSH2 0x0100
000006b4: EXP
000006b5: SWAP1
000006b6: DIV
000006b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006cc: AND
000006cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e2: AND
000006e3: CALLER
000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f9: AND
000006fa: EQ
000006fb: ISZERO
000006fc: PUSH2 0x073a
000006ff: JUMPI
00000700: PUSH1 0x0d
00000702: PUSH1 0x00
00000704: SWAP1
00000705: SLOAD
00000706: SWAP1
00000707: PUSH2 0x0100
0000070a: EXP
0000070b: SWAP1
0000070c: DIV
0000070d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000722: AND
00000723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000738: AND
00000739: SELFDESTRUCT
0000073a: JUMPDEST
0000073b: JUMPDEST
0000073c: JUMP
0000073d: JUMPDEST
0000073e: PUSH1 0x0d
00000740: PUSH1 0x00
00000742: SWAP1
00000743: SLOAD
00000744: SWAP1
00000745: PUSH2 0x0100
00000748: EXP
00000749: SWAP1
0000074a: DIV
0000074b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000760: AND
00000761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000776: AND
00000777: CALLER
00000778: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078d: AND
0000078e: EQ
0000078f: ISZERO
00000790: ISZERO
00000791: PUSH2 0x0799
00000794: JUMPI
00000795: PUSH2 0x0002
00000798: JUMP
00000799: JUMPDEST
0000079a: PUSH1 0x00
0000079c: PUSH1 0x03
0000079e: PUSH1 0x00
000007a0: POP
000007a1: DUP2
000007a2: SWAP1
000007a3: SSTORE
000007a4: POP
000007a5: JUMPDEST
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH1 0x0d
000007aa: PUSH1 0x00
000007ac: SWAP1
000007ad: SLOAD
000007ae: SWAP1
000007af: PUSH2 0x0100
000007b2: EXP
000007b3: SWAP1
000007b4: DIV
000007b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ca: AND
000007cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e0: AND
000007e1: CALLER
000007e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f7: AND
000007f8: EQ
000007f9: ISZERO
000007fa: ISZERO
000007fb: PUSH2 0x0803
000007fe: JUMPI
000007ff: PUSH2 0x0002
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH1 0x00
00000806: PUSH1 0x03
00000808: PUSH1 0x00
0000080a: POP
0000080b: DUP2
0000080c: SWAP1
0000080d: SSTORE
0000080e: POP
0000080f: JUMPDEST
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x0d
00000814: PUSH1 0x00
00000816: SWAP1
00000817: SLOAD
00000818: SWAP1
00000819: PUSH2 0x0100
0000081c: EXP
0000081d: SWAP1
0000081e: DIV
0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000834: AND
00000835: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084a: AND
0000084b: CALLER
0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000861: AND
00000862: EQ
00000863: ISZERO
00000864: ISZERO
00000865: PUSH2 0x086d
00000868: JUMPI
00000869: PUSH2 0x0002
0000086c: JUMP
0000086d: JUMPDEST
0000086e: PUSH1 0x00
00000870: DUP4
00000871: EQ
00000872: ISZERO
00000873: ISZERO
00000874: PUSH2 0x0882
00000877: JUMPI
00000878: DUP3
00000879: PUSH1 0x08
0000087b: PUSH1 0x00
0000087d: POP
0000087e: DUP2
0000087f: SWAP1
00000880: SSTORE
00000881: POP
00000882: JUMPDEST
00000883: PUSH1 0x00
00000885: DUP8
00000886: EQ
00000887: ISZERO
00000888: ISZERO
00000889: PUSH2 0x089a
0000088c: JUMPI
0000088d: PUSH1 0x3c
0000088f: DUP8
00000890: MUL
00000891: PUSH1 0x01
00000893: PUSH1 0x00
00000895: POP
00000896: DUP2
00000897: SWAP1
00000898: SSTORE
00000899: POP
0000089a: JUMPDEST
0000089b: PUSH1 0x00
0000089d: DUP7
0000089e: EQ
0000089f: ISZERO
000008a0: ISZERO
000008a1: PUSH2 0x08af
000008a4: JUMPI
000008a5: DUP6
000008a6: PUSH1 0x09
000008a8: PUSH1 0x00
000008aa: POP
000008ab: DUP2
000008ac: SWAP1
000008ad: SSTORE
000008ae: POP
000008af: JUMPDEST
000008b0: PUSH1 0x00
000008b2: DUP6
000008b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c8: AND
000008c9: EQ
000008ca: ISZERO
000008cb: ISZERO
000008cc: PUSH2 0x08fb
000008cf: JUMPI
000008d0: DUP5
000008d1: PUSH1 0x0b
000008d3: PUSH1 0x00
000008d5: PUSH2 0x0100
000008d8: EXP
000008d9: DUP2
000008da: SLOAD
000008db: DUP2
000008dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f1: MUL
000008f2: NOT
000008f3: AND
000008f4: SWAP1
000008f5: DUP4
000008f6: MUL
000008f7: OR
000008f8: SWAP1
000008f9: SSTORE
000008fa: POP
000008fb: JUMPDEST
000008fc: PUSH1 0x00
000008fe: DUP5
000008ff: EQ
00000900: ISZERO
00000901: ISZERO
00000902: PUSH2 0x0910
00000905: JUMPI
00000906: DUP4
00000907: PUSH1 0x06
00000909: PUSH1 0x00
0000090b: POP
0000090c: DUP2
0000090d: SWAP1
0000090e: SSTORE
0000090f: POP
00000910: JUMPDEST
00000911: PUSH1 0x00
00000913: DUP3
00000914: EQ
00000915: ISZERO
00000916: ISZERO
00000917: PUSH2 0x092c
0000091a: JUMPI
0000091b: PUSH1 0x08
0000091d: PUSH1 0x00
0000091f: POP
00000920: SLOAD
00000921: DUP3
00000922: MUL
00000923: PUSH1 0x0a
00000925: PUSH1 0x00
00000927: POP
00000928: DUP2
00000929: SWAP1
0000092a: SSTORE
0000092b: POP
0000092c: JUMPDEST
0000092d: PUSH1 0x02
0000092f: DUP2
00000930: LT
00000931: ISZERO
00000932: PUSH2 0x0940
00000935: JUMPI
00000936: DUP1
00000937: PUSH1 0x03
00000939: PUSH1 0x00
0000093b: POP
0000093c: DUP2
0000093d: SWAP1
0000093e: SSTORE
0000093f: POP
00000940: JUMPDEST
00000941: JUMPDEST
00000942: POP
00000943: POP
00000944: POP
00000945: POP
00000946: POP
00000947: POP
00000948: POP
00000949: JUMP

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
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6 call_targets: 0x55572c25923dec38a01f6144b651a57659d1767d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x55572c25923dec38a01f6144b651a57659d1767d" ], "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": "0x06f94b89", "selector": "0x06f94b89", "calldata_variants": [ "0x06f94b89", "0x06f94b890000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1865c57d", "selector": "0x1865c57d", "calldata_variants": [ "0x1865c57d", "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ae168a6", "selector": "0x2ae168a6", "calldata_variants": [ "0x2ae168a6", "0x2ae168a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4fb90da0", "selector": "0x4fb90da0", "calldata_variants": [ "0x4fb90da0", "0x4fb90da00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x60239fe7", "selector": "0x60239fe7", "calldata_variants": [ "0x60239fe7", "0x60239fe70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7608485", "selector": "0xf7608485", "calldata_variants": [ "0xf7608485", "0xf76084850000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 918, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 984, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1090, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 239, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 531, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1304, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1533, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1763, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1911, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2017, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2123, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6 call_targets: 0x55572c25923dec38a01f6144b651a57659d1767d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x55572c25923dec38a01f6144b651a57659d1767d" ], "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": "0x06f94b89", "selector": "0x06f94b89", "calldata_variants": [ "0x06f94b89", "0x06f94b890000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1865c57d", "selector": "0x1865c57d", "calldata_variants": [ "0x1865c57d", "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ae168a6", "selector": "0x2ae168a6", "calldata_variants": [ "0x2ae168a6", "0x2ae168a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4fb90da0", "selector": "0x4fb90da0", "calldata_variants": [ "0x4fb90da0", "0x4fb90da00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x60239fe7", "selector": "0x60239fe7", "calldata_variants": [ "0x60239fe7", "0x60239fe70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7608485", "selector": "0xf7608485", "calldata_variants": [ "0xf7608485", "0xf76084850000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 918, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 984, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1090, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 239, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 531, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1304, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1533, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1763, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1911, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2017, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2123, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0x641723277e38ebb06370768229212667e914dc937de1d627d7074baff51bce50 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 14, "trace_id": "0x641723277e38ebb06370768229212667e914dc937de1d627d7074baff51bce50", "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": "0x06f94b89", "selector": "0x06f94b89", "calldata_variants": [ "0x06f94b89", "0x06f94b890000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1865c57d", "selector": "0x1865c57d", "calldata_variants": [ "0x1865c57d", "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ae168a6", "selector": "0x2ae168a6", "calldata_variants": [ "0x2ae168a6", "0x2ae168a60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4fb90da0", "selector": "0x4fb90da0", "calldata_variants": [ "0x4fb90da0", "0x4fb90da00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x60239fe7", "selector": "0x60239fe7", "calldata_variants": [ "0x60239fe7", "0x60239fe70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf7608485", "selector": "0xf7608485", "calldata_variants": [ "0xf7608485", "0xf76084850000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 239, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 531, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1304, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1533, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1763, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1911, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2017, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2123, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "selfdestruct_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

medium

other

detector

Untrusted CALL target/value reachable

45

no

view

trace_id: 0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6

call_targets: 0x55572c25923dec38a01f6144b651a57659d1767d

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x55572c25923dec38a01f6144b651a57659d1767d"
    ],
    "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": "0x06f94b89",
            "selector": "0x06f94b89",
            "calldata_variants": [
                "0x06f94b89",
                "0x06f94b890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1865c57d",
            "selector": "0x1865c57d",
            "calldata_variants": [
                "0x1865c57d",
                "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2ae168a6",
            "selector": "0x2ae168a6",
            "calldata_variants": [
                "0x2ae168a6",
                "0x2ae168a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4fb90da0",
            "selector": "0x4fb90da0",
            "calldata_variants": [
                "0x4fb90da0",
                "0x4fb90da00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x60239fe7",
            "selector": "0x60239fe7",
            "calldata_variants": [
                "0x60239fe7",
                "0x60239fe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7608485",
            "selector": "0xf7608485",
            "calldata_variants": [
                "0xf7608485",
                "0xf76084850000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 918,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 984,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1090,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 239,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 531,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1304,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1533,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1763,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1911,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2017,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2123,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}

medium

other

detector

ETH value transfer possible

40

no

view

trace_id: 0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6

call_targets: 0x55572c25923dec38a01f6144b651a57659d1767d

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x563073b8d3eeb740875e702acdec71dbd207509a56ce8522c0df45b1d6799bf6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x55572c25923dec38a01f6144b651a57659d1767d"
    ],
    "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": "0x06f94b89",
            "selector": "0x06f94b89",
            "calldata_variants": [
                "0x06f94b89",
                "0x06f94b890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1865c57d",
            "selector": "0x1865c57d",
            "calldata_variants": [
                "0x1865c57d",
                "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2ae168a6",
            "selector": "0x2ae168a6",
            "calldata_variants": [
                "0x2ae168a6",
                "0x2ae168a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4fb90da0",
            "selector": "0x4fb90da0",
            "calldata_variants": [
                "0x4fb90da0",
                "0x4fb90da00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x60239fe7",
            "selector": "0x60239fe7",
            "calldata_variants": [
                "0x60239fe7",
                "0x60239fe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7608485",
            "selector": "0xf7608485",
            "calldata_variants": [
                "0xf7608485",
                "0xf76084850000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 918,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 984,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1090,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 239,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 531,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1304,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1533,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1763,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1911,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2017,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2123,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}

medium

other

detector

SELFDESTRUCT reachable

45

no

view

trace_id: 0x641723277e38ebb06370768229212667e914dc937de1d627d7074baff51bce50

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 14,
    "trace_id": "0x641723277e38ebb06370768229212667e914dc937de1d627d7074baff51bce50",
    "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": "0x06f94b89",
            "selector": "0x06f94b89",
            "calldata_variants": [
                "0x06f94b89",
                "0x06f94b890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1865c57d",
            "selector": "0x1865c57d",
            "calldata_variants": [
                "0x1865c57d",
                "0x1865c57d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2ae168a6",
            "selector": "0x2ae168a6",
            "calldata_variants": [
                "0x2ae168a6",
                "0x2ae168a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4fb90da0",
            "selector": "0x4fb90da0",
            "calldata_variants": [
                "0x4fb90da0",
                "0x4fb90da00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x60239fe7",
            "selector": "0x60239fe7",
            "calldata_variants": [
                "0x60239fe7",
                "0x60239fe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7608485",
            "selector": "0xf7608485",
            "calldata_variants": [
                "0xf7608485",
                "0xf76084850000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "guards_detected": [
        {
            "pc": 239,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 531,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1304,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1533,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1763,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1911,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2017,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2123,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}