Analysis Run

019b3836-4056-7224-9cf2-ef32354729fd

complete

Chain ID

1

Address

0x9f8bf604abeb04d32b0ffae9c3a083be5858cf96

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

ETH value transfer possible

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
5201	artifact.fetch	complete	1 / 3	3 months ago
5202	tool.cast_disasm	complete	1 / 3	3 months ago
48712	analysis.bundle	complete	1 / 3	2 weeks ago
48713	capability.graph	complete	1 / 3	2 weeks ago
48714	detector.run	complete	1 / 3	2 weeks ago
48715	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

0

CREATE2

0

CALL-family (heavy)

19

EXT*/BALANCE

1

Total opcodes

2371

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0111
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x11613fc9
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x011c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x146ca531
00000025: EQ
00000026: PUSH2 0x0125
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1fdf6e0c
00000030: EQ
00000031: PUSH2 0x013b
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x2083f44f
0000003b: EQ
0000003c: PUSH2 0x0176
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x314e99a2
00000046: EQ
00000047: PUSH2 0x017f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x5841b9bf
00000051: EQ
00000052: PUSH2 0x0258
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x816f3f4d
0000005c: EQ
0000005d: PUSH2 0x0261
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x9935b968
00000067: EQ
00000068: PUSH2 0x027a
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xa2e7241c
00000072: EQ
00000073: PUSH2 0x0283
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xb117a3e8
0000007d: EQ
0000007e: PUSH2 0x02c9
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xb7d5d4c0
00000088: EQ
00000089: PUSH2 0x02d2
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xbd6bbc31
00000093: EQ
00000094: PUSH2 0x02db
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xbd7b09e4
0000009e: EQ
0000009f: PUSH2 0x02e4
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xccf1ab9b
000000a9: EQ
000000aa: PUSH2 0x02f3
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xd466a03f
000000b4: EQ
000000b5: PUSH2 0x0321
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xd4d5d32a
000000bf: EQ
000000c0: PUSH2 0x034c
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xd94395e2
000000ca: EQ
000000cb: PUSH2 0x038e
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xd954cbcb
000000d5: EQ
000000d6: PUSH2 0x03a5
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xe2202a4d
000000e0: EQ
000000e1: PUSH2 0x03ae
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xe684aa5c
000000eb: EQ
000000ec: PUSH2 0x03c0
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xf113fccd
000000f6: EQ
000000f7: PUSH2 0x03c9
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xf64c08b1
00000101: EQ
00000102: PUSH2 0x03db
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xfbeaebc6
0000010c: EQ
0000010d: PUSH2 0x03e4
00000110: JUMPI
00000111: JUMPDEST
00000112: PUSH2 0x0480
00000115: PUSH2 0x048b
00000118: PUSH2 0x013f
0000011b: JUMP
0000011c: JUMPDEST
0000011d: PUSH2 0x048f
00000120: PUSH1 0x07
00000122: SLOAD
00000123: DUP2
00000124: JUMP
00000125: JUMPDEST
00000126: PUSH2 0x04a1
00000129: PUSH1 0x0c
0000012b: SLOAD
0000012c: PUSH1 0xe0
0000012e: PUSH1 0x02
00000130: EXP
00000131: SWAP1
00000132: DIV
00000133: PUSH4 0xffffffff
00000138: AND
00000139: DUP2
0000013a: JUMP
0000013b: JUMPDEST
0000013c: PUSH2 0x048f
0000013f: JUMPDEST
00000140: PUSH1 0x00
00000142: CALLVALUE
00000143: PUSH7 0x2386f26fc10000
0000014b: DUP2
0000014c: LT
0000014d: ISZERO
0000014e: PUSH2 0x04d8
00000151: JUMPI
00000152: PUSH1 0x40
00000154: MLOAD
00000155: PUSH1 0x01
00000157: PUSH1 0xa0
00000159: PUSH1 0x02
0000015b: EXP
0000015c: SUB
0000015d: CALLER
0000015e: AND
0000015f: SWAP1
00000160: DUP4
00000161: SWAP1
00000162: DUP4
00000163: SWAP1
00000164: DUP3
00000165: DUP2
00000166: DUP2
00000167: DUP2
00000168: DUP6
00000169: DUP9
0000016a: DUP4
0000016b: CALL
0000016c: POP
0000016d: PUSH2 0x093d
00000170: SWAP4
00000171: POP
00000172: POP
00000173: POP
00000174: POP
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH2 0x048f
0000017a: PUSH1 0x03
0000017c: SLOAD
0000017d: DUP2
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH2 0x0480
00000183: PUSH1 0x0c
00000185: SLOAD
00000186: PUSH1 0x40
00000188: PUSH1 0x02
0000018a: EXP
0000018b: SWAP1
0000018c: DIV
0000018d: PUSH1 0x01
0000018f: PUSH1 0xa0
00000191: PUSH1 0x02
00000193: EXP
00000194: SUB
00000195: SWAP1
00000196: DUP2
00000197: AND
00000198: CALLER
00000199: SWAP2
0000019a: SWAP1
0000019b: SWAP2
0000019c: AND
0000019d: EQ
0000019e: DUP1
0000019f: ISZERO
000001a0: PUSH2 0x01b9
000001a3: JUMPI
000001a4: POP
000001a5: PUSH1 0x00
000001a7: SLOAD
000001a8: PUSH1 0x01
000001aa: PUSH1 0xa0
000001ac: PUSH1 0x02
000001ae: EXP
000001af: SUB
000001b0: SWAP1
000001b1: DUP2
000001b2: AND
000001b3: CALLER
000001b4: SWAP1
000001b5: SWAP2
000001b6: AND
000001b7: EQ
000001b8: ISZERO
000001b9: JUMPDEST
000001ba: ISZERO
000001bb: PUSH2 0x048d
000001be: JUMPI
000001bf: PUSH1 0x0c
000001c1: SLOAD
000001c2: PUSH1 0x09
000001c4: SLOAD
000001c5: PUSH1 0x40
000001c7: MLOAD
000001c8: PUSH1 0x40
000001ca: PUSH1 0x02
000001cc: EXP
000001cd: SWAP1
000001ce: SWAP3
000001cf: DIV
000001d0: PUSH1 0x01
000001d2: PUSH1 0xa0
000001d4: PUSH1 0x02
000001d6: EXP
000001d7: SUB
000001d8: AND
000001d9: SWAP2
000001da: PUSH1 0x00
000001dc: SWAP2
000001dd: SWAP1
000001de: DUP3
000001df: DUP2
000001e0: DUP2
000001e1: DUP2
000001e2: DUP6
000001e3: DUP9
000001e4: DUP4
000001e5: CALL
000001e6: SWAP4
000001e7: POP
000001e8: POP
000001e9: POP
000001ea: POP
000001eb: POP
000001ec: PUSH1 0x64
000001ee: PUSH1 0x05
000001f0: PUSH1 0x00
000001f2: POP
000001f3: SLOAD
000001f4: PUSH1 0x28
000001f6: MUL
000001f7: DIV
000001f8: PUSH1 0x06
000001fa: PUSH1 0x00
000001fc: POP
000001fd: SLOAD
000001fe: GT
000001ff: ISZERO
00000200: PUSH2 0x0ccc
00000203: JUMPI
00000204: PUSH1 0x05
00000206: SLOAD
00000207: PUSH1 0x0c
00000209: SLOAD
0000020a: PUSH1 0x40
0000020c: MLOAD
0000020d: PUSH1 0x40
0000020f: PUSH1 0x02
00000211: EXP
00000212: SWAP1
00000213: SWAP2
00000214: DIV
00000215: PUSH1 0x01
00000217: PUSH1 0xa0
00000219: PUSH1 0x02
0000021b: EXP
0000021c: SUB
0000021d: AND
0000021e: SWAP2
0000021f: PUSH1 0x00
00000221: SWAP2
00000222: PUSH1 0x64
00000224: PUSH1 0x28
00000226: SWAP1
00000227: SWAP3
00000228: MUL
00000229: SWAP2
0000022a: SWAP1
0000022b: SWAP2
0000022c: DIV
0000022d: SWAP1
0000022e: DUP3
0000022f: DUP2
00000230: DUP2
00000231: DUP2
00000232: DUP6
00000233: DUP9
00000234: DUP4
00000235: CALL
00000236: POP
00000237: POP
00000238: PUSH1 0x05
0000023a: SLOAD
0000023b: PUSH1 0x06
0000023d: DUP1
0000023e: SLOAD
0000023f: PUSH1 0x64
00000241: PUSH1 0x28
00000243: SWAP4
00000244: SWAP1
00000245: SWAP4
00000246: MUL
00000247: SWAP3
00000248: SWAP1
00000249: SWAP3
0000024a: DIV
0000024b: SWAP1
0000024c: SWAP2
0000024d: SUB
0000024e: SWAP1
0000024f: SSTORE
00000250: POP
00000251: PUSH2 0x0cfa
00000254: SWAP2
00000255: POP
00000256: POP
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH2 0x048f
0000025c: PUSH1 0x05
0000025e: SLOAD
0000025f: DUP2
00000260: JUMP
00000261: JUMPDEST
00000262: PUSH2 0x04bb
00000265: PUSH1 0x0c
00000267: SLOAD
00000268: PUSH1 0x40
0000026a: PUSH1 0x02
0000026c: EXP
0000026d: SWAP1
0000026e: DIV
0000026f: PUSH1 0x01
00000271: PUSH1 0xa0
00000273: PUSH1 0x02
00000275: EXP
00000276: SUB
00000277: AND
00000278: DUP2
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH2 0x048f
0000027e: PUSH1 0x08
00000280: SLOAD
00000281: DUP2
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x04bb
00000287: PUSH1 0x04
00000289: CALLDATALOAD
0000028a: PUSH1 0x0a
0000028c: DUP1
0000028d: SLOAD
0000028e: DUP3
0000028f: SWAP1
00000290: DUP2
00000291: LT
00000292: ISZERO
00000293: PUSH2 0x0002
00000296: JUMPI
00000297: POP
00000298: PUSH1 0x00
0000029a: MSTORE
0000029b: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8
000002bc: ADD
000002bd: SLOAD
000002be: PUSH1 0x01
000002c0: PUSH1 0xa0
000002c2: PUSH1 0x02
000002c4: EXP
000002c5: SUB
000002c6: AND
000002c7: DUP2
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH2 0x048f
000002cd: PUSH1 0x09
000002cf: SLOAD
000002d0: DUP2
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH2 0x048f
000002d6: PUSH1 0x06
000002d8: SLOAD
000002d9: DUP2
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH2 0x048f
000002df: PUSH1 0x02
000002e1: SLOAD
000002e2: DUP2
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH2 0x04a1
000002e8: PUSH1 0x0c
000002ea: SLOAD
000002eb: PUSH4 0xffffffff
000002f0: AND
000002f1: DUP2
000002f2: JUMP
000002f3: JUMPDEST
000002f4: PUSH2 0x0480
000002f7: PUSH1 0x0c
000002f9: SLOAD
000002fa: CALLVALUE
000002fb: SWAP1
000002fc: PUSH1 0x40
000002fe: PUSH1 0x02
00000300: EXP
00000301: SWAP1
00000302: DIV
00000303: PUSH1 0x01
00000305: PUSH1 0xa0
00000307: PUSH1 0x02
00000309: EXP
0000030a: SUB
0000030b: SWAP1
0000030c: DUP2
0000030d: AND
0000030e: CALLER
0000030f: SWAP2
00000310: SWAP1
00000311: SWAP2
00000312: AND
00000313: EQ
00000314: ISZERO
00000315: PUSH2 0x0d47
00000318: JUMPI
00000319: PUSH2 0x0482
0000031c: DUP2
0000031d: PUSH2 0x0978
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH2 0x048f
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: PUSH1 0x0b
0000032a: DUP1
0000032b: SLOAD
0000032c: DUP3
0000032d: SWAP1
0000032e: DUP2
0000032f: LT
00000330: ISZERO
00000331: PUSH2 0x0002
00000334: JUMPI
00000335: POP
00000336: PUSH1 0x00
00000338: MSTORE
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: MLOAD
0000033d: PUSH1 0x20
0000033f: PUSH2 0x0e2e
00000342: DUP4
00000343: CODECOPY
00000344: DUP2
00000345: MLOAD
00000346: SWAP2
00000347: MSTORE
00000348: ADD
00000349: SLOAD
0000034a: DUP2
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH2 0x0480
00000350: PUSH1 0x00
00000352: SLOAD
00000353: PUSH1 0x01
00000355: PUSH1 0xa0
00000357: PUSH1 0x02
00000359: EXP
0000035a: SUB
0000035b: SWAP1
0000035c: DUP2
0000035d: AND
0000035e: CALLER
0000035f: SWAP2
00000360: SWAP1
00000361: SWAP2
00000362: AND
00000363: EQ
00000364: ISZERO
00000365: PUSH2 0x048d
00000368: JUMPI
00000369: PUSH1 0x40
0000036b: MLOAD
0000036c: PUSH1 0x00
0000036e: DUP1
0000036f: SLOAD
00000370: PUSH1 0x07
00000372: SLOAD
00000373: PUSH1 0x01
00000375: PUSH1 0xa0
00000377: PUSH1 0x02
00000379: EXP
0000037a: SUB
0000037b: SWAP2
0000037c: SWAP1
0000037d: SWAP2
0000037e: AND
0000037f: SWAP3
00000380: DUP3
00000381: DUP2
00000382: DUP2
00000383: DUP2
00000384: DUP6
00000385: DUP9
00000386: DUP4
00000387: CALL
00000388: POP
00000389: POP
0000038a: POP
0000038b: POP
0000038c: POP
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x04a1
00000392: PUSH1 0x0c
00000394: SLOAD
00000395: PUSH5 0x0100000000
0000039b: SWAP1
0000039c: DIV
0000039d: PUSH4 0xffffffff
000003a2: AND
000003a3: DUP2
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH2 0x048f
000003a9: PUSH1 0x0e
000003ab: SLOAD
000003ac: DUP2
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x04bb
000003b2: PUSH1 0x01
000003b4: SLOAD
000003b5: PUSH1 0x01
000003b7: PUSH1 0xa0
000003b9: PUSH1 0x02
000003bb: EXP
000003bc: SUB
000003bd: AND
000003be: DUP2
000003bf: JUMP
000003c0: JUMPDEST
000003c1: PUSH2 0x048f
000003c4: PUSH1 0x0d
000003c6: SLOAD
000003c7: DUP2
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH2 0x04bb
000003cd: PUSH1 0x00
000003cf: SLOAD
000003d0: PUSH1 0x01
000003d2: PUSH1 0xa0
000003d4: PUSH1 0x02
000003d6: EXP
000003d7: SUB
000003d8: AND
000003d9: DUP2
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH2 0x048f
000003df: PUSH1 0x04
000003e1: SLOAD
000003e2: DUP2
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH2 0x0480
000003e8: PUSH8 0x016345785d8a0000
000003f1: CALLVALUE
000003f2: DUP2
000003f3: SWAP1
000003f4: LT
000003f5: DUP1
000003f6: ISZERO
000003f7: SWAP1
000003f8: PUSH2 0x0411
000003fb: JUMPI
000003fc: POP
000003fd: PUSH1 0x01
000003ff: SLOAD
00000400: PUSH1 0x01
00000402: PUSH1 0xa0
00000404: PUSH1 0x02
00000406: EXP
00000407: SUB
00000408: SWAP1
00000409: DUP2
0000040a: AND
0000040b: CALLER
0000040c: SWAP1
0000040d: SWAP2
0000040e: AND
0000040f: EQ
00000410: ISZERO
00000411: JUMPDEST
00000412: ISZERO
00000413: PUSH2 0x0d42
00000416: JUMPI
00000417: PUSH1 0x08
00000419: SLOAD
0000041a: PUSH1 0x01
0000041c: SLOAD
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: PUSH1 0x01
00000422: PUSH1 0xa0
00000424: PUSH1 0x02
00000426: EXP
00000427: SUB
00000428: SWAP2
00000429: SWAP1
0000042a: SWAP2
0000042b: AND
0000042c: SWAP2
0000042d: PUSH1 0x00
0000042f: SWAP2
00000430: DUP3
00000431: DUP2
00000432: DUP2
00000433: DUP2
00000434: DUP6
00000435: DUP9
00000436: DUP4
00000437: CALL
00000438: POP
00000439: POP
0000043a: POP
0000043b: PUSH1 0x08
0000043d: DUP2
0000043e: SWAP1
0000043f: SSTORE
00000440: PUSH1 0x01
00000442: DUP1
00000443: SLOAD
00000444: PUSH1 0x01
00000446: PUSH1 0xa0
00000448: PUSH1 0x02
0000044a: EXP
0000044b: SUB
0000044c: NOT
0000044d: AND
0000044e: CALLER
0000044f: SWAP1
00000450: DUP2
00000451: OR
00000452: SWAP1
00000453: SWAP2
00000454: SSTORE
00000455: PUSH1 0x40
00000457: MLOAD
00000458: PUSH1 0x01
0000045a: PUSH1 0xa0
0000045c: PUSH1 0x02
0000045e: EXP
0000045f: SUB
00000460: SWAP1
00000461: SWAP2
00000462: AND
00000463: SWAP3
00000464: POP
00000465: CALLVALUE
00000466: DUP5
00000467: SWAP1
00000468: SUB
00000469: SWAP1
0000046a: DUP3
0000046b: DUP2
0000046c: DUP2
0000046d: DUP2
0000046e: DUP6
0000046f: DUP9
00000470: DUP4
00000471: CALL
00000472: SWAP4
00000473: POP
00000474: POP
00000475: POP
00000476: POP
00000477: POP
00000478: PUSH2 0x048b
0000047b: DUP2
0000047c: PUSH2 0x0978
0000047f: JUMP
00000480: JUMPDEST
00000481: STOP
00000482: JUMPDEST
00000483: PUSH1 0x05
00000485: DUP1
00000486: SLOAD
00000487: DUP3
00000488: ADD
00000489: SWAP1
0000048a: SSTORE
0000048b: JUMPDEST
0000048c: POP
0000048d: JUMPDEST
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH1 0x40
00000492: DUP1
00000493: MLOAD
00000494: SWAP2
00000495: DUP3
00000496: MSTORE
00000497: MLOAD
00000498: SWAP1
00000499: DUP2
0000049a: SWAP1
0000049b: SUB
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: SWAP1
000004a0: RETURN
000004a1: JUMPDEST
000004a2: PUSH1 0x40
000004a4: DUP1
000004a5: MLOAD
000004a6: PUSH4 0xffffffff
000004ab: SWAP3
000004ac: SWAP1
000004ad: SWAP3
000004ae: AND
000004af: DUP3
000004b0: MSTORE
000004b1: MLOAD
000004b2: SWAP1
000004b3: DUP2
000004b4: SWAP1
000004b5: SUB
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: SWAP1
000004ba: RETURN
000004bb: JUMPDEST
000004bc: PUSH1 0x40
000004be: DUP1
000004bf: MLOAD
000004c0: PUSH1 0x01
000004c2: PUSH1 0xa0
000004c4: PUSH1 0x02
000004c6: EXP
000004c7: SUB
000004c8: SWAP3
000004c9: SWAP1
000004ca: SWAP3
000004cb: AND
000004cc: DUP3
000004cd: MSTORE
000004ce: MLOAD
000004cf: SWAP1
000004d0: DUP2
000004d1: SWAP1
000004d2: SUB
000004d3: PUSH1 0x20
000004d5: ADD
000004d6: SWAP1
000004d7: RETURN
000004d8: JUMPDEST
000004d9: PUSH9 0x056bc75e2d63100000
000004e3: DUP2
000004e4: GT
000004e5: ISZERO
000004e6: PUSH2 0x0522
000004e9: JUMPI
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: PUSH1 0x01
000004ef: PUSH1 0xa0
000004f1: PUSH1 0x02
000004f3: EXP
000004f4: SUB
000004f5: CALLER
000004f6: AND
000004f7: SWAP1
000004f8: PUSH1 0x00
000004fa: SWAP1
000004fb: PUSH9 0x056bc75e2d630fffff
00000505: NOT
00000506: CALLVALUE
00000507: ADD
00000508: SWAP1
00000509: DUP3
0000050a: DUP2
0000050b: DUP2
0000050c: DUP2
0000050d: DUP6
0000050e: DUP9
0000050f: DUP4
00000510: CALL
00000511: POP
00000512: PUSH9 0x056bc75e2d63100000
0000051c: SWAP5
0000051d: POP
0000051e: POP
0000051f: POP
00000520: POP
00000521: POP
00000522: JUMPDEST
00000523: TIMESTAMP
00000524: PUSH3 0x015180
00000528: PUSH1 0x02
0000052a: PUSH1 0x00
0000052c: POP
0000052d: SLOAD
0000052e: ADD
0000052f: LT
00000530: ISZERO
00000531: PUSH2 0x05b3
00000534: JUMPI
00000535: PUSH1 0x0c
00000537: SLOAD
00000538: PUSH4 0xffffffff
0000053d: AND
0000053e: PUSH1 0x01
00000540: EQ
00000541: ISZERO
00000542: PUSH2 0x05f3
00000545: JUMPI
00000546: PUSH1 0x0a
00000548: DUP1
00000549: SLOAD
0000054a: PUSH1 0x00
0000054c: NOT
0000054d: DUP2
0000054e: ADD
0000054f: SWAP1
00000550: DUP2
00000551: LT
00000552: ISZERO
00000553: PUSH2 0x0002
00000556: JUMPI
00000557: POP
00000558: DUP1
00000559: SLOAD
0000055a: PUSH1 0x00
0000055c: SWAP2
0000055d: DUP3
0000055e: MSTORE
0000055f: PUSH1 0x06
00000561: SLOAD
00000562: PUSH1 0x40
00000564: MLOAD
00000565: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a7
00000586: SWAP1
00000587: SWAP3
00000588: ADD
00000589: SLOAD
0000058a: PUSH1 0x01
0000058c: PUSH1 0xa0
0000058e: PUSH1 0x02
00000590: EXP
00000591: SUB
00000592: AND
00000593: SWAP3
00000594: SWAP2
00000595: PUSH1 0x64
00000597: PUSH1 0x5f
00000599: SWAP1
0000059a: SWAP3
0000059b: MUL
0000059c: SWAP2
0000059d: SWAP1
0000059e: SWAP2
0000059f: DIV
000005a0: SWAP1
000005a1: DUP3
000005a2: DUP2
000005a3: DUP2
000005a4: DUP2
000005a5: DUP6
000005a6: DUP9
000005a7: DUP4
000005a8: CALL
000005a9: SWAP4
000005aa: POP
000005ab: POP
000005ac: POP
000005ad: POP
000005ae: POP
000005af: PUSH2 0x0832
000005b2: JUMP
000005b3: JUMPDEST
000005b4: PUSH1 0x03
000005b6: SLOAD
000005b7: TIMESTAMP
000005b8: PUSH3 0x02a300
000005bc: SWAP1
000005bd: SWAP2
000005be: ADD
000005bf: LT
000005c0: PUSH2 0x0a28
000005c3: JUMPI
000005c4: PUSH1 0x0a
000005c6: DUP1
000005c7: SLOAD
000005c8: PUSH1 0x01
000005ca: DUP2
000005cb: ADD
000005cc: DUP1
000005cd: DUP4
000005ce: SSTORE
000005cf: DUP3
000005d0: DUP2
000005d1: DUP4
000005d2: DUP1
000005d3: ISZERO
000005d4: DUP3
000005d5: SWAP1
000005d6: GT
000005d7: PUSH2 0x0a58
000005da: JUMPI
000005db: DUP2
000005dc: DUP4
000005dd: PUSH1 0x00
000005df: MSTORE
000005e0: PUSH1 0x20
000005e2: PUSH1 0x00
000005e4: KECCAK256
000005e5: SWAP2
000005e6: DUP3
000005e7: ADD
000005e8: SWAP2
000005e9: ADD
000005ea: PUSH2 0x0a58
000005ed: SWAP2
000005ee: SWAP1
000005ef: PUSH2 0x0892
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH1 0x0c
000005f6: SLOAD
000005f7: PUSH4 0xffffffff
000005fc: AND
000005fd: PUSH1 0x02
000005ff: EQ
00000600: ISZERO
00000601: PUSH2 0x06de
00000604: JUMPI
00000605: PUSH1 0x0a
00000607: DUP1
00000608: SLOAD
00000609: PUSH1 0x00
0000060b: NOT
0000060c: DUP2
0000060d: ADD
0000060e: SWAP1
0000060f: DUP2
00000610: LT
00000611: ISZERO
00000612: PUSH2 0x0002
00000615: JUMPI
00000616: POP
00000617: DUP1
00000618: SLOAD
00000619: PUSH1 0x00
0000061b: SWAP2
0000061c: DUP3
0000061d: MSTORE
0000061e: PUSH1 0x06
00000620: SLOAD
00000621: PUSH1 0x40
00000623: MLOAD
00000624: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a7
00000645: SWAP3
00000646: SWAP1
00000647: SWAP3
00000648: ADD
00000649: SLOAD
0000064a: PUSH1 0x01
0000064c: PUSH1 0xa0
0000064e: PUSH1 0x02
00000650: EXP
00000651: SUB
00000652: AND
00000653: SWAP3
00000654: SWAP2
00000655: PUSH1 0x64
00000657: PUSH1 0x3c
00000659: SWAP1
0000065a: SWAP3
0000065b: MUL
0000065c: SWAP2
0000065d: SWAP1
0000065e: SWAP2
0000065f: DIV
00000660: SWAP1
00000661: DUP3
00000662: DUP2
00000663: DUP2
00000664: DUP2
00000665: DUP6
00000666: DUP9
00000667: DUP4
00000668: CALL
00000669: POP
0000066a: POP
0000066b: PUSH1 0x0a
0000066d: DUP1
0000066e: SLOAD
0000066f: SWAP1
00000670: SWAP4
00000671: POP
00000672: PUSH1 0x01
00000674: NOT
00000675: DUP2
00000676: ADD
00000677: SWAP3
00000678: POP
00000679: DUP3
0000067a: LT
0000067b: ISZERO
0000067c: SWAP1
0000067d: POP
0000067e: PUSH2 0x0002
00000681: JUMPI
00000682: POP
00000683: DUP1
00000684: SLOAD
00000685: PUSH1 0x00
00000687: SWAP2
00000688: DUP3
00000689: MSTORE
0000068a: PUSH1 0x06
0000068c: SLOAD
0000068d: PUSH1 0x40
0000068f: MLOAD
00000690: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a6
000006b1: SWAP1
000006b2: SWAP3
000006b3: ADD
000006b4: SLOAD
000006b5: PUSH1 0x01
000006b7: PUSH1 0xa0
000006b9: PUSH1 0x02
000006bb: EXP
000006bc: SUB
000006bd: AND
000006be: SWAP3
000006bf: SWAP2
000006c0: PUSH1 0x64
000006c2: PUSH1 0x23
000006c4: SWAP1
000006c5: SWAP3
000006c6: MUL
000006c7: SWAP2
000006c8: SWAP1
000006c9: SWAP2
000006ca: DIV
000006cb: SWAP1
000006cc: DUP3
000006cd: DUP2
000006ce: DUP2
000006cf: DUP2
000006d0: DUP6
000006d1: DUP9
000006d2: DUP4
000006d3: CALL
000006d4: SWAP4
000006d5: POP
000006d6: POP
000006d7: POP
000006d8: POP
000006d9: POP
000006da: PUSH2 0x0832
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH1 0x0c
000006e1: SLOAD
000006e2: PUSH1 0x03
000006e4: PUSH4 0xffffffff
000006e9: SWAP2
000006ea: SWAP1
000006eb: SWAP2
000006ec: AND
000006ed: LT
000006ee: PUSH2 0x0832
000006f1: JUMPI
000006f2: PUSH1 0x0a
000006f4: DUP1
000006f5: SLOAD
000006f6: PUSH1 0x00
000006f8: NOT
000006f9: DUP2
000006fa: ADD
000006fb: SWAP1
000006fc: DUP2
000006fd: LT
000006fe: ISZERO
000006ff: PUSH2 0x0002
00000702: JUMPI
00000703: POP
00000704: DUP1
00000705: SLOAD
00000706: PUSH1 0x00
00000708: SWAP2
00000709: DUP3
0000070a: MSTORE
0000070b: PUSH1 0x06
0000070d: SLOAD
0000070e: PUSH1 0x40
00000710: MLOAD
00000711: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a7
00000732: SWAP3
00000733: SWAP1
00000734: SWAP3
00000735: ADD
00000736: SLOAD
00000737: PUSH1 0x01
00000739: PUSH1 0xa0
0000073b: PUSH1 0x02
0000073d: EXP
0000073e: SUB
0000073f: AND
00000740: SWAP3
00000741: SWAP2
00000742: PUSH1 0x64
00000744: PUSH1 0x32
00000746: SWAP1
00000747: SWAP3
00000748: MUL
00000749: SWAP2
0000074a: SWAP1
0000074b: SWAP2
0000074c: DIV
0000074d: SWAP1
0000074e: DUP3
0000074f: DUP2
00000750: DUP2
00000751: DUP2
00000752: DUP6
00000753: DUP9
00000754: DUP4
00000755: CALL
00000756: POP
00000757: POP
00000758: PUSH1 0x0a
0000075a: DUP1
0000075b: SLOAD
0000075c: SWAP1
0000075d: SWAP4
0000075e: POP
0000075f: PUSH1 0x01
00000761: NOT
00000762: DUP2
00000763: ADD
00000764: SWAP3
00000765: POP
00000766: DUP3
00000767: LT
00000768: ISZERO
00000769: SWAP1
0000076a: POP
0000076b: PUSH2 0x0002
0000076e: JUMPI
0000076f: POP
00000770: DUP1
00000771: SLOAD
00000772: PUSH1 0x00
00000774: SWAP2
00000775: DUP3
00000776: MSTORE
00000777: PUSH1 0x06
00000779: SLOAD
0000077a: PUSH1 0x40
0000077c: MLOAD
0000077d: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a6
0000079e: SWAP1
0000079f: SWAP3
000007a0: ADD
000007a1: SLOAD
000007a2: PUSH1 0x01
000007a4: PUSH1 0xa0
000007a6: PUSH1 0x02
000007a8: EXP
000007a9: SUB
000007aa: AND
000007ab: SWAP3
000007ac: SWAP2
000007ad: PUSH1 0x64
000007af: PUSH1 0x1e
000007b1: SWAP1
000007b2: SWAP3
000007b3: MUL
000007b4: SWAP2
000007b5: SWAP1
000007b6: SWAP2
000007b7: DIV
000007b8: SWAP1
000007b9: DUP3
000007ba: DUP2
000007bb: DUP2
000007bc: DUP2
000007bd: DUP6
000007be: DUP9
000007bf: DUP4
000007c0: CALL
000007c1: POP
000007c2: POP
000007c3: PUSH1 0x0a
000007c5: DUP1
000007c6: SLOAD
000007c7: SWAP1
000007c8: SWAP4
000007c9: POP
000007ca: PUSH1 0x02
000007cc: NOT
000007cd: DUP2
000007ce: ADD
000007cf: SWAP3
000007d0: POP
000007d1: DUP3
000007d2: LT
000007d3: ISZERO
000007d4: SWAP1
000007d5: POP
000007d6: PUSH2 0x0002
000007d9: JUMPI
000007da: POP
000007db: DUP1
000007dc: SLOAD
000007dd: PUSH1 0x00
000007df: SWAP2
000007e0: DUP3
000007e1: MSTORE
000007e2: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a5
00000803: ADD
00000804: SLOAD
00000805: PUSH1 0x06
00000807: SLOAD
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: PUSH1 0x01
0000080d: PUSH1 0xa0
0000080f: PUSH1 0x02
00000811: EXP
00000812: SUB
00000813: SWAP3
00000814: SWAP1
00000815: SWAP3
00000816: AND
00000817: SWAP3
00000818: SWAP2
00000819: PUSH1 0x64
0000081b: PUSH1 0x0f
0000081d: SWAP1
0000081e: SWAP3
0000081f: MUL
00000820: SWAP2
00000821: SWAP1
00000822: SWAP2
00000823: DIV
00000824: SWAP1
00000825: DUP3
00000826: DUP2
00000827: DUP2
00000828: DUP2
00000829: DUP6
0000082a: DUP9
0000082b: DUP4
0000082c: CALL
0000082d: POP
0000082e: POP
0000082f: POP
00000830: POP
00000831: POP
00000832: JUMPDEST
00000833: PUSH1 0x06
00000835: DUP1
00000836: SLOAD
00000837: PUSH1 0x07
00000839: DUP1
0000083a: SLOAD
0000083b: PUSH1 0x64
0000083d: PUSH1 0x05
0000083f: SWAP1
00000840: SWAP4
00000841: MUL
00000842: SWAP3
00000843: SWAP1
00000844: SWAP3
00000845: DIV
00000846: SWAP1
00000847: SWAP2
00000848: ADD
00000849: SWAP1
0000084a: SSTORE
0000084b: PUSH1 0x00
0000084d: SWAP1
0000084e: SSTORE
0000084f: PUSH1 0x01
00000851: DUP1
00000852: SLOAD
00000853: PUSH1 0x01
00000855: PUSH1 0xa0
00000857: PUSH1 0x02
00000859: EXP
0000085a: SUB
0000085b: NOT
0000085c: AND
0000085d: CALLER
0000085e: OR
0000085f: DUP2
00000860: SSTORE
00000861: TIMESTAMP
00000862: PUSH1 0x03
00000864: SSTORE
00000865: PUSH1 0x0a
00000867: DUP1
00000868: SLOAD
00000869: SWAP2
0000086a: DUP3
0000086b: ADD
0000086c: DUP1
0000086d: DUP3
0000086e: SSTORE
0000086f: SWAP1
00000870: SWAP2
00000871: SWAP1
00000872: DUP3
00000873: DUP2
00000874: DUP4
00000875: DUP1
00000876: ISZERO
00000877: DUP3
00000878: SWAP1
00000879: GT
0000087a: PUSH2 0x08a6
0000087d: JUMPI
0000087e: DUP2
0000087f: DUP4
00000880: PUSH1 0x00
00000882: MSTORE
00000883: PUSH1 0x20
00000885: PUSH1 0x00
00000887: KECCAK256
00000888: SWAP2
00000889: DUP3
0000088a: ADD
0000088b: SWAP2
0000088c: ADD
0000088d: PUSH2 0x08a6
00000890: SWAP2
00000891: SWAP1
00000892: JUMPDEST
00000893: DUP1
00000894: DUP3
00000895: GT
00000896: ISZERO
00000897: PUSH2 0x093d
0000089a: JUMPI
0000089b: PUSH1 0x00
0000089d: DUP2
0000089e: SSTORE
0000089f: PUSH1 0x01
000008a1: ADD
000008a2: PUSH2 0x0892
000008a5: JUMP
000008a6: JUMPDEST
000008a7: POP
000008a8: POP
000008a9: POP
000008aa: PUSH1 0x00
000008ac: SWAP3
000008ad: DUP4
000008ae: MSTORE
000008af: POP
000008b0: PUSH1 0x20
000008b2: SWAP1
000008b3: SWAP2
000008b4: KECCAK256
000008b5: ADD
000008b6: DUP1
000008b7: SLOAD
000008b8: PUSH1 0x01
000008ba: PUSH1 0xa0
000008bc: PUSH1 0x02
000008be: EXP
000008bf: SUB
000008c0: NOT
000008c1: AND
000008c2: CALLER
000008c3: OR
000008c4: SWAP1
000008c5: SSTORE
000008c6: PUSH1 0x0b
000008c8: DUP1
000008c9: SLOAD
000008ca: PUSH1 0x01
000008cc: DUP2
000008cd: ADD
000008ce: DUP1
000008cf: DUP4
000008d0: SSTORE
000008d1: DUP3
000008d2: DUP2
000008d3: DUP4
000008d4: DUP1
000008d5: ISZERO
000008d6: DUP3
000008d7: SWAP1
000008d8: GT
000008d9: PUSH2 0x0941
000008dc: JUMPI
000008dd: DUP2
000008de: DUP4
000008df: PUSH1 0x00
000008e1: MSTORE
000008e2: PUSH1 0x20
000008e4: PUSH1 0x00
000008e6: KECCAK256
000008e7: SWAP2
000008e8: DUP3
000008e9: ADD
000008ea: SWAP2
000008eb: ADD
000008ec: PUSH2 0x0941
000008ef: SWAP2
000008f0: SWAP1
000008f1: PUSH2 0x0892
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x06
000008f8: DUP1
000008f9: SLOAD
000008fa: PUSH1 0x64
000008fc: PUSH1 0x5a
000008fe: DUP5
000008ff: MUL
00000900: DIV
00000901: ADD
00000902: SWAP1
00000903: SSTORE
00000904: PUSH1 0x0c
00000906: DUP1
00000907: SLOAD
00000908: PUSH1 0xe0
0000090a: PUSH1 0x02
0000090c: EXP
0000090d: DUP1
0000090e: DUP3
0000090f: DIV
00000910: PUSH4 0xffffffff
00000915: AND
00000916: PUSH1 0x01
00000918: ADD
00000919: MUL
0000091a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000937: SWAP1
00000938: SWAP2
00000939: AND
0000093a: OR
0000093b: SWAP1
0000093c: SSTORE
0000093d: JUMPDEST
0000093e: POP
0000093f: SWAP1
00000940: JUMP
00000941: JUMPDEST
00000942: POP
00000943: POP
00000944: POP
00000945: PUSH1 0x00
00000947: SWAP3
00000948: DUP4
00000949: MSTORE
0000094a: POP
0000094b: PUSH1 0x20
0000094d: SWAP1
0000094e: SWAP2
0000094f: KECCAK256
00000950: PUSH1 0x64
00000952: PUSH1 0x6e
00000954: DUP5
00000955: MUL
00000956: DIV
00000957: SWAP2
00000958: ADD
00000959: SSTORE
0000095a: PUSH1 0x0c
0000095c: DUP1
0000095d: SLOAD
0000095e: PUSH1 0x01
00000960: PUSH4 0xffffffff
00000965: DUP3
00000966: AND
00000967: ADD
00000968: PUSH4 0xffffffff
0000096d: NOT
0000096e: SWAP1
0000096f: SWAP2
00000970: AND
00000971: OR
00000972: SWAP1
00000973: SSTORE
00000974: PUSH2 0x09eb
00000977: DUP2
00000978: JUMPDEST
00000979: TIMESTAMP
0000097a: PUSH1 0x02
0000097c: SSTORE
0000097d: PUSH1 0x0e
0000097f: DUP1
00000980: SLOAD
00000981: DUP3
00000982: ADD
00000983: SWAP1
00000984: SSTORE
00000985: PUSH1 0x08
00000987: DUP1
00000988: SLOAD
00000989: PUSH1 0x64
0000098b: PUSH1 0x05
0000098d: DUP5
0000098e: MUL
0000098f: DIV
00000990: SWAP1
00000991: DUP2
00000992: ADD
00000993: SWAP1
00000994: SWAP2
00000995: SSTORE
00000996: PUSH1 0x09
00000998: DUP1
00000999: SLOAD
0000099a: DUP3
0000099b: ADD
0000099c: SWAP1
0000099d: SSTORE
0000099e: PUSH1 0x06
000009a0: DUP1
000009a1: SLOAD
000009a2: SWAP2
000009a3: SWAP1
000009a4: SWAP2
000009a5: ADD
000009a6: SWAP1
000009a7: SSTORE
000009a8: PUSH2 0x0def
000009ab: PUSH1 0x09
000009ad: SLOAD
000009ae: PUSH8 0x016345785d8a0000
000009b7: SWAP1
000009b8: LT
000009b9: PUSH2 0x048d
000009bc: JUMPI
000009bd: PUSH1 0x40
000009bf: MLOAD
000009c0: PUSH1 0x09
000009c2: SLOAD
000009c3: PUSH1 0x0c
000009c5: SLOAD
000009c6: PUSH1 0x40
000009c8: PUSH1 0x02
000009ca: EXP
000009cb: SWAP1
000009cc: DIV
000009cd: PUSH1 0x01
000009cf: PUSH1 0xa0
000009d1: PUSH1 0x02
000009d3: EXP
000009d4: SUB
000009d5: AND
000009d6: SWAP2
000009d7: PUSH1 0x00
000009d9: SWAP2
000009da: SWAP1
000009db: DUP3
000009dc: DUP2
000009dd: DUP2
000009de: DUP2
000009df: DUP6
000009e0: DUP9
000009e1: DUP4
000009e2: CALL
000009e3: POP
000009e4: POP
000009e5: POP
000009e6: PUSH1 0x09
000009e8: SSTORE
000009e9: POP
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH2 0x08f5
000009ef: PUSH1 0x07
000009f1: SLOAD
000009f2: PUSH8 0x0de0b6b3a7640000
000009fb: SWAP1
000009fc: LT
000009fd: PUSH2 0x048d
00000a00: JUMPI
00000a01: PUSH1 0x40
00000a03: MLOAD
00000a04: PUSH1 0x00
00000a06: DUP1
00000a07: SLOAD
00000a08: PUSH1 0x07
00000a0a: SLOAD
00000a0b: PUSH1 0x01
00000a0d: PUSH1 0xa0
00000a0f: PUSH1 0x02
00000a11: EXP
00000a12: SUB
00000a13: SWAP2
00000a14: SWAP1
00000a15: SWAP2
00000a16: AND
00000a17: SWAP3
00000a18: DUP3
00000a19: DUP2
00000a1a: DUP2
00000a1b: DUP2
00000a1c: DUP6
00000a1d: DUP9
00000a1e: DUP4
00000a1f: CALL
00000a20: POP
00000a21: POP
00000a22: POP
00000a23: PUSH1 0x07
00000a25: SSTORE
00000a26: POP
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH1 0x0a
00000a2b: DUP1
00000a2c: SLOAD
00000a2d: PUSH1 0x01
00000a2f: DUP2
00000a30: ADD
00000a31: DUP1
00000a32: DUP4
00000a33: SSTORE
00000a34: DUP3
00000a35: DUP2
00000a36: DUP4
00000a37: DUP1
00000a38: ISZERO
00000a39: DUP3
00000a3a: SWAP1
00000a3b: GT
00000a3c: PUSH2 0x0b00
00000a3f: JUMPI
00000a40: DUP2
00000a41: DUP4
00000a42: PUSH1 0x00
00000a44: MSTORE
00000a45: PUSH1 0x20
00000a47: PUSH1 0x00
00000a49: KECCAK256
00000a4a: SWAP2
00000a4b: DUP3
00000a4c: ADD
00000a4d: SWAP2
00000a4e: ADD
00000a4f: PUSH2 0x0b00
00000a52: SWAP2
00000a53: SWAP1
00000a54: PUSH2 0x0892
00000a57: JUMP
00000a58: JUMPDEST
00000a59: POP
00000a5a: POP
00000a5b: POP
00000a5c: PUSH1 0x00
00000a5e: SWAP3
00000a5f: DUP4
00000a60: MSTORE
00000a61: POP
00000a62: PUSH1 0x20
00000a64: SWAP1
00000a65: SWAP2
00000a66: KECCAK256
00000a67: ADD
00000a68: DUP1
00000a69: SLOAD
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: PUSH1 0x02
00000a70: EXP
00000a71: SUB
00000a72: NOT
00000a73: AND
00000a74: CALLER
00000a75: OR
00000a76: SWAP1
00000a77: SSTORE
00000a78: PUSH1 0x0b
00000a7a: DUP1
00000a7b: SLOAD
00000a7c: PUSH1 0x01
00000a7e: DUP2
00000a7f: ADD
00000a80: DUP1
00000a81: DUP4
00000a82: SSTORE
00000a83: DUP3
00000a84: DUP2
00000a85: DUP4
00000a86: DUP1
00000a87: ISZERO
00000a88: DUP3
00000a89: SWAP1
00000a8a: GT
00000a8b: PUSH2 0x0aa7
00000a8e: JUMPI
00000a8f: DUP2
00000a90: DUP4
00000a91: PUSH1 0x00
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: PUSH1 0x00
00000a98: KECCAK256
00000a99: SWAP2
00000a9a: DUP3
00000a9b: ADD
00000a9c: SWAP2
00000a9d: ADD
00000a9e: PUSH2 0x0aa7
00000aa1: SWAP2
00000aa2: SWAP1
00000aa3: PUSH2 0x0892
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: POP
00000aaa: POP
00000aab: PUSH1 0x00
00000aad: SWAP3
00000aae: DUP4
00000aaf: MSTORE
00000ab0: POP
00000ab1: PUSH1 0x20
00000ab3: SWAP1
00000ab4: SWAP2
00000ab5: KECCAK256
00000ab6: PUSH1 0x64
00000ab8: PUSH1 0x82
00000aba: DUP5
00000abb: MUL
00000abc: DIV
00000abd: SWAP2
00000abe: ADD
00000abf: SSTORE
00000ac0: PUSH2 0x0add
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: POP
00000ac6: POP
00000ac7: POP
00000ac8: PUSH1 0x00
00000aca: SWAP3
00000acb: DUP4
00000acc: MSTORE
00000acd: POP
00000ace: PUSH1 0x20
00000ad0: SWAP1
00000ad1: SWAP2
00000ad2: KECCAK256
00000ad3: PUSH1 0x64
00000ad5: PUSH1 0x6e
00000ad7: DUP5
00000ad8: MUL
00000ad9: DIV
00000ada: SWAP2
00000adb: ADD
00000adc: SSTORE
00000add: JUMPDEST
00000ade: PUSH1 0x0c
00000ae0: DUP1
00000ae1: SLOAD
00000ae2: PUSH1 0x01
00000ae4: PUSH4 0xffffffff
00000ae9: DUP3
00000aea: AND
00000aeb: ADD
00000aec: PUSH4 0xffffffff
00000af1: NOT
00000af2: SWAP1
00000af3: SWAP2
00000af4: AND
00000af5: OR
00000af6: SWAP1
00000af7: SSTORE
00000af8: PUSH2 0x0b4f
00000afb: DUP2
00000afc: PUSH2 0x0978
00000aff: JUMP
00000b00: JUMPDEST
00000b01: POP
00000b02: POP
00000b03: POP
00000b04: PUSH1 0x00
00000b06: SWAP3
00000b07: DUP4
00000b08: MSTORE
00000b09: POP
00000b0a: PUSH1 0x20
00000b0c: SWAP1
00000b0d: SWAP2
00000b0e: KECCAK256
00000b0f: ADD
00000b10: DUP1
00000b11: SLOAD
00000b12: PUSH1 0x01
00000b14: PUSH1 0xa0
00000b16: PUSH1 0x02
00000b18: EXP
00000b19: SUB
00000b1a: NOT
00000b1b: AND
00000b1c: CALLER
00000b1d: OR
00000b1e: SWAP1
00000b1f: SSTORE
00000b20: PUSH1 0x0b
00000b22: DUP1
00000b23: SLOAD
00000b24: PUSH1 0x01
00000b26: DUP2
00000b27: ADD
00000b28: DUP1
00000b29: DUP4
00000b2a: SSTORE
00000b2b: DUP3
00000b2c: DUP2
00000b2d: DUP4
00000b2e: DUP1
00000b2f: ISZERO
00000b30: DUP3
00000b31: SWAP1
00000b32: GT
00000b33: PUSH2 0x0ac4
00000b36: JUMPI
00000b37: DUP2
00000b38: DUP4
00000b39: PUSH1 0x00
00000b3b: MSTORE
00000b3c: PUSH1 0x20
00000b3e: PUSH1 0x00
00000b40: KECCAK256
00000b41: SWAP2
00000b42: DUP3
00000b43: ADD
00000b44: SWAP2
00000b45: ADD
00000b46: PUSH2 0x0ac4
00000b49: SWAP2
00000b4a: SWAP1
00000b4b: PUSH2 0x0892
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: JUMPDEST
00000b51: PUSH1 0x08
00000b53: PUSH1 0x00
00000b55: POP
00000b56: SLOAD
00000b57: PUSH1 0x09
00000b59: PUSH1 0x00
00000b5b: POP
00000b5c: SLOAD
00000b5d: PUSH1 0x07
00000b5f: PUSH1 0x00
00000b61: POP
00000b62: SLOAD
00000b63: PUSH1 0x06
00000b65: PUSH1 0x00
00000b67: POP
00000b68: SLOAD
00000b69: ADDRESS
00000b6a: PUSH1 0x01
00000b6c: PUSH1 0xa0
00000b6e: PUSH1 0x02
00000b70: EXP
00000b71: SUB
00000b72: AND
00000b73: BALANCE
00000b74: SUB
00000b75: SUB
00000b76: SUB
00000b77: SUB
00000b78: PUSH1 0x0b
00000b7a: PUSH1 0x00
00000b7c: POP
00000b7d: PUSH1 0x0c
00000b7f: PUSH1 0x04
00000b81: SWAP1
00000b82: SLOAD
00000b83: SWAP1
00000b84: PUSH2 0x0100
00000b87: EXP
00000b88: SWAP1
00000b89: DIV
00000b8a: PUSH4 0xffffffff
00000b8f: AND
00000b90: PUSH4 0xffffffff
00000b95: AND
00000b96: DUP2
00000b97: SLOAD
00000b98: DUP2
00000b99: LT
00000b9a: ISZERO
00000b9b: PUSH2 0x0002
00000b9e: JUMPI
00000b9f: PUSH1 0x00
00000ba1: SWAP2
00000ba2: SWAP1
00000ba3: SWAP2
00000ba4: MSTORE
00000ba5: PUSH1 0x00
00000ba7: DUP1
00000ba8: MLOAD
00000ba9: PUSH1 0x20
00000bab: PUSH2 0x0e2e
00000bae: DUP4
00000baf: CODECOPY
00000bb0: DUP2
00000bb1: MLOAD
00000bb2: SWAP2
00000bb3: MSTORE
00000bb4: ADD
00000bb5: SLOAD
00000bb6: LT
00000bb7: DUP1
00000bb8: ISZERO
00000bb9: PUSH2 0x0bd5
00000bbc: JUMPI
00000bbd: POP
00000bbe: PUSH1 0x0c
00000bc0: SLOAD
00000bc1: PUSH4 0xffffffff
00000bc6: DUP2
00000bc7: DUP2
00000bc8: AND
00000bc9: PUSH5 0x0100000000
00000bcf: SWAP1
00000bd0: SWAP3
00000bd1: DIV
00000bd2: AND
00000bd3: GT
00000bd4: ISZERO
00000bd5: JUMPDEST
00000bd6: ISZERO
00000bd7: PUSH2 0x093d
00000bda: JUMPI
00000bdb: PUSH1 0x0c
00000bdd: SLOAD
00000bde: PUSH1 0x0a
00000be0: DUP1
00000be1: SLOAD
00000be2: SWAP1
00000be3: SWAP2
00000be4: PUSH5 0x0100000000
00000bea: SWAP1
00000beb: DIV
00000bec: PUSH4 0xffffffff
00000bf1: AND
00000bf2: SWAP1
00000bf3: DUP2
00000bf4: LT
00000bf5: ISZERO
00000bf6: PUSH2 0x0002
00000bf9: JUMPI
00000bfa: PUSH1 0x00
00000bfc: SWAP2
00000bfd: DUP3
00000bfe: MSTORE
00000bff: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8
00000c20: DUP2
00000c21: ADD
00000c22: SLOAD
00000c23: PUSH1 0x0b
00000c25: DUP1
00000c26: SLOAD
00000c27: PUSH1 0x01
00000c29: PUSH1 0xa0
00000c2b: PUSH1 0x02
00000c2d: EXP
00000c2e: SUB
00000c2f: SWAP3
00000c30: SWAP1
00000c31: SWAP3
00000c32: AND
00000c33: SWAP4
00000c34: SWAP3
00000c35: SWAP1
00000c36: SWAP2
00000c37: DUP2
00000c38: LT
00000c39: ISZERO
00000c3a: PUSH2 0x0002
00000c3d: JUMPI
00000c3e: SWAP1
00000c3f: DUP3
00000c40: MSTORE
00000c41: PUSH1 0x40
00000c43: MLOAD
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: MLOAD
00000c48: PUSH1 0x20
00000c4a: PUSH2 0x0e2e
00000c4d: DUP4
00000c4e: CODECOPY
00000c4f: DUP2
00000c50: MLOAD
00000c51: SWAP2
00000c52: MSTORE
00000c53: SWAP1
00000c54: SWAP2
00000c55: ADD
00000c56: SLOAD
00000c57: SWAP1
00000c58: DUP3
00000c59: DUP2
00000c5a: DUP2
00000c5b: DUP2
00000c5c: DUP6
00000c5d: DUP9
00000c5e: DUP4
00000c5f: CALL
00000c60: POP
00000c61: POP
00000c62: PUSH1 0x0c
00000c64: SLOAD
00000c65: PUSH1 0x0b
00000c67: DUP1
00000c68: SLOAD
00000c69: SWAP1
00000c6a: SWAP5
00000c6b: POP
00000c6c: PUSH5 0x0100000000
00000c72: SWAP1
00000c73: SWAP2
00000c74: DIV
00000c75: PUSH4 0xffffffff
00000c7a: AND
00000c7b: SWAP3
00000c7c: POP
00000c7d: DUP3
00000c7e: LT
00000c7f: ISZERO
00000c80: SWAP1
00000c81: POP
00000c82: PUSH2 0x0002
00000c85: JUMPI
00000c86: PUSH1 0x0c
00000c88: DUP1
00000c89: SLOAD
00000c8a: PUSH1 0x00
00000c8c: SWAP4
00000c8d: SWAP1
00000c8e: SWAP4
00000c8f: MSTORE
00000c90: PUSH1 0x00
00000c92: DUP1
00000c93: MLOAD
00000c94: PUSH1 0x20
00000c96: PUSH2 0x0e2e
00000c99: DUP4
00000c9a: CODECOPY
00000c9b: DUP2
00000c9c: MLOAD
00000c9d: SWAP2
00000c9e: MSTORE
00000c9f: DUP3
00000ca0: ADD
00000ca1: SLOAD
00000ca2: PUSH1 0x0d
00000ca4: DUP1
00000ca5: SLOAD
00000ca6: SWAP1
00000ca7: SWAP2
00000ca8: ADD
00000ca9: SWAP1
00000caa: SSTORE
00000cab: PUSH8 0xffffffff00000000
00000cb4: NOT
00000cb5: SWAP1
00000cb6: SWAP3
00000cb7: AND
00000cb8: PUSH1 0x01
00000cba: SWAP2
00000cbb: SWAP1
00000cbc: SWAP2
00000cbd: ADD
00000cbe: PUSH5 0x0100000000
00000cc4: MUL
00000cc5: OR
00000cc6: SWAP1
00000cc7: SSTORE
00000cc8: PUSH2 0x0b50
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: PUSH1 0x0c
00000ccf: SLOAD
00000cd0: PUSH1 0x40
00000cd2: MLOAD
00000cd3: PUSH1 0x06
00000cd5: SLOAD
00000cd6: PUSH1 0x40
00000cd8: PUSH1 0x02
00000cda: EXP
00000cdb: SWAP1
00000cdc: SWAP3
00000cdd: DIV
00000cde: PUSH1 0x01
00000ce0: PUSH1 0xa0
00000ce2: PUSH1 0x02
00000ce4: EXP
00000ce5: SUB
00000ce6: AND
00000ce7: SWAP2
00000ce8: PUSH1 0x00
00000cea: SWAP2
00000ceb: DUP3
00000cec: DUP2
00000ced: DUP2
00000cee: DUP2
00000cef: DUP6
00000cf0: DUP9
00000cf1: DUP4
00000cf2: CALL
00000cf3: POP
00000cf4: POP
00000cf5: POP
00000cf6: PUSH1 0x06
00000cf8: SSTORE
00000cf9: POP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x0c
00000cfd: DUP1
00000cfe: SLOAD
00000cff: PUSH1 0x00
00000d01: SLOAD
00000d02: PUSH1 0x01
00000d04: PUSH1 0xa0
00000d06: PUSH1 0x02
00000d08: EXP
00000d09: SUB
00000d0a: AND
00000d0b: PUSH1 0x40
00000d0d: PUSH1 0x02
00000d0f: EXP
00000d10: MUL
00000d11: PUSH28 0xffffffffffffffffffffffffffffffffffffffff0000000000000000
00000d2e: NOT
00000d2f: SWAP1
00000d30: SWAP2
00000d31: AND
00000d32: OR
00000d33: SWAP1
00000d34: SSTORE
00000d35: PUSH8 0x0de0b6b3a7640000
00000d3e: PUSH1 0x05
00000d40: SSTORE
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH2 0x0002
00000d46: JUMP
00000d47: JUMPDEST
00000d48: TIMESTAMP
00000d49: PUSH3 0x0d2f00
00000d4d: PUSH1 0x04
00000d4f: PUSH1 0x00
00000d51: POP
00000d52: SLOAD
00000d53: ADD
00000d54: GT
00000d55: ISZERO
00000d56: DUP1
00000d57: ISZERO
00000d58: PUSH2 0x0d6c
00000d5b: JUMPI
00000d5c: POP
00000d5d: PUSH1 0x64
00000d5f: PUSH1 0x05
00000d61: PUSH1 0x00
00000d63: POP
00000d64: SLOAD
00000d65: PUSH1 0x96
00000d67: MUL
00000d68: DIV
00000d69: DUP2
00000d6a: LT
00000d6b: ISZERO
00000d6c: JUMPDEST
00000d6d: ISZERO
00000d6e: PUSH2 0x0d42
00000d71: JUMPI
00000d72: PUSH1 0x0c
00000d74: SLOAD
00000d75: PUSH1 0x09
00000d77: SLOAD
00000d78: PUSH1 0x40
00000d7a: MLOAD
00000d7b: PUSH1 0x40
00000d7d: PUSH1 0x02
00000d7f: EXP
00000d80: SWAP1
00000d81: SWAP3
00000d82: DIV
00000d83: PUSH1 0x01
00000d85: PUSH1 0xa0
00000d87: PUSH1 0x02
00000d89: EXP
00000d8a: SUB
00000d8b: AND
00000d8c: SWAP2
00000d8d: PUSH1 0x00
00000d8f: SWAP2
00000d90: SWAP1
00000d91: DUP3
00000d92: DUP2
00000d93: DUP2
00000d94: DUP2
00000d95: DUP6
00000d96: DUP9
00000d97: DUP4
00000d98: CALL
00000d99: POP
00000d9a: POP
00000d9b: PUSH1 0x07
00000d9d: DUP1
00000d9e: SLOAD
00000d9f: PUSH1 0x64
00000da1: PUSH1 0x05
00000da3: DUP8
00000da4: DUP2
00000da5: MUL
00000da6: SWAP2
00000da7: SWAP1
00000da8: SWAP2
00000da9: DIV
00000daa: SWAP1
00000dab: SWAP2
00000dac: ADD
00000dad: SWAP1
00000dae: SWAP2
00000daf: SSTORE
00000db0: DUP5
00000db1: SWAP1
00000db2: SSTORE
00000db3: POP
00000db4: POP
00000db5: PUSH1 0x0c
00000db7: DUP1
00000db8: SLOAD
00000db9: PUSH28 0xffffffffffffffffffffffffffffffffffffffff0000000000000000
00000dd6: NOT
00000dd7: AND
00000dd8: PUSH1 0x40
00000dda: PUSH1 0x02
00000ddc: EXP
00000ddd: CALLER
00000dde: MUL
00000ddf: OR
00000de0: SWAP1
00000de1: SSTORE
00000de2: POP
00000de3: TIMESTAMP
00000de4: PUSH1 0x04
00000de6: SSTORE
00000de7: PUSH2 0x048b
00000dea: DUP2
00000deb: PUSH2 0x0978
00000dee: JUMP
00000def: JUMPDEST
00000df0: PUSH2 0x048b
00000df3: PUSH1 0x08
00000df5: SLOAD
00000df6: PUSH8 0x016345785d8a0000
00000dff: SWAP1
00000e00: LT
00000e01: PUSH2 0x048d
00000e04: JUMPI
00000e05: PUSH1 0x08
00000e07: SLOAD
00000e08: PUSH1 0x01
00000e0a: SLOAD
00000e0b: PUSH1 0x40
00000e0d: MLOAD
00000e0e: PUSH1 0x01
00000e10: PUSH1 0xa0
00000e12: PUSH1 0x02
00000e14: EXP
00000e15: SUB
00000e16: SWAP2
00000e17: SWAP1
00000e18: SWAP2
00000e19: AND
00000e1a: SWAP2
00000e1b: PUSH1 0x00
00000e1d: SWAP2
00000e1e: DUP3
00000e1f: DUP2
00000e20: DUP2
00000e21: DUP2
00000e22: DUP6
00000e23: DUP9
00000e24: DUP4
00000e25: CALL
00000e26: POP
00000e27: POP
00000e28: POP
00000e29: PUSH1 0x08
00000e2b: SSTORE
00000e2c: POP
00000e2d: JUMP
00000e2e: ADD
00000e2f: PUSH22 0xb7a638427703f0dbe7bb9bbf987a2551717b34e79f33
00000e46: UNKNOWN(0xB5)
00000e47: UNKNOWN(0xB1)
00000e48: STOP
00000e49: DUP14
00000e4a: UNKNOWN(0x1F)
00000e4b: LOG0
00000e4c: SAR
00000e4d: UNKNOWN(0xB9)

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	ETH value transfer possible	55	no	no	view trace_id: 0x44faec7af2fd522cd41075b32c0ed50571f3feb59711084edc743516e06c2ea6 call_targets: 0x9f8bf604abeb04d32b0ffae9c3a083be5858cf96 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x44faec7af2fd522cd41075b32c0ed50571f3feb59711084edc743516e06c2ea6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9f8bf604abeb04d32b0ffae9c3a083be5858cf96" ], "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": "0x11613fc9", "selector": "0x11613fc9", "calldata_variants": [ "0x11613fc9", "0x11613fc90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x146ca531", "selector": "0x146ca531", "calldata_variants": [ "0x146ca531", "0x146ca5310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1fdf6e0c", "selector": "0x1fdf6e0c", "calldata_variants": [ "0x1fdf6e0c", "0x1fdf6e0c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2083f44f", "selector": "0x2083f44f", "calldata_variants": [ "0x2083f44f", "0x2083f44f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x314e99a2", "selector": "0x314e99a2", "calldata_variants": [ "0x314e99a2", "0x314e99a20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5841b9bf", "selector": "0x5841b9bf", "calldata_variants": [ "0x5841b9bf", "0x5841b9bf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x816f3f4d", "selector": "0x816f3f4d", "calldata_variants": [ "0x816f3f4d", "0x816f3f4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9935b968", "selector": "0x9935b968", "calldata_variants": [ "0x9935b968", "0x9935b9680000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 363, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 485, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 565, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 19, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x44faec7af2fd522cd41075b32c0ed50571f3feb59711084edc743516e06c2ea6 call_targets: 0x9f8bf604abeb04d32b0ffae9c3a083be5858cf96 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x44faec7af2fd522cd41075b32c0ed50571f3feb59711084edc743516e06c2ea6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9f8bf604abeb04d32b0ffae9c3a083be5858cf96" ], "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": "0x11613fc9", "selector": "0x11613fc9", "calldata_variants": [ "0x11613fc9", "0x11613fc90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x146ca531", "selector": "0x146ca531", "calldata_variants": [ "0x146ca531", "0x146ca5310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1fdf6e0c", "selector": "0x1fdf6e0c", "calldata_variants": [ "0x1fdf6e0c", "0x1fdf6e0c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2083f44f", "selector": "0x2083f44f", "calldata_variants": [ "0x2083f44f", "0x2083f44f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x314e99a2", "selector": "0x314e99a2", "calldata_variants": [ "0x314e99a2", "0x314e99a20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5841b9bf", "selector": "0x5841b9bf", "calldata_variants": [ "0x5841b9bf", "0x5841b9bf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x816f3f4d", "selector": "0x816f3f4d", "calldata_variants": [ "0x816f3f4d", "0x816f3f4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9935b968", "selector": "0x9935b968", "calldata_variants": [ "0x9935b968", "0x9935b9680000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 363, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 485, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 565, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 19, "guards_detected": [], "untrusted_call_count": 19 }

Severity