Analysis Run

019b477e-a754-7190-b03d-75cdd6fdbc5d

complete

Chain ID

1

Address

0x112f38772a7efc596afed3ec99348cc134a0c741

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

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
20233	artifact.fetch	complete	1 / 3	3 months ago
20234	tool.cast_disasm	complete	1 / 3	3 months ago
88317	analysis.bundle	complete	1 / 3	2 weeks ago
88318	capability.graph	complete	1 / 3	2 weeks ago
88319	detector.run	complete	1 / 3	2 weeks ago
88320	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)

1

EXT*/BALANCE

3

Total opcodes

2097

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00d7
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x12065fe0
00000034: EQ
00000035: PUSH2 0x013e
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x35f46994
0000003f: EQ
00000040: PUSH2 0x0161
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x5dea5e47
0000004a: EQ
0000004b: PUSH2 0x0170
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x690b90a9
00000055: EQ
00000056: PUSH2 0x0188
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x6adcef6b
00000060: EQ
00000061: PUSH2 0x01ab
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x6ccb5d02
0000006b: EQ
0000006c: PUSH2 0x01c3
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x75724990
00000076: EQ
00000077: PUSH2 0x0205
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x7f616488
00000081: EQ
00000082: PUSH2 0x0226
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x9e1a00aa
0000008c: EQ
0000008d: PUSH2 0x0249
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xa3934658
00000097: EQ
00000098: PUSH2 0x026a
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xb27920bc
000000a2: EQ
000000a3: PUSH2 0x0279
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xbd0e8b2d
000000ad: EQ
000000ae: PUSH2 0x02cc
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xbf76c0ef
000000b8: EQ
000000b9: PUSH2 0x02ef
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xc8224bc2
000000c3: EQ
000000c4: PUSH2 0x0307
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0xdda1a1e6
000000ce: EQ
000000cf: PUSH2 0x0328
000000d2: JUMPI
000000d3: PUSH2 0x00d7
000000d6: JUMP
000000d7: JUMPDEST
000000d8: PUSH2 0x013c
000000db: JUMPDEST
000000dc: NUMBER
000000dd: PUSH32 0x5d6ac9b7defd8fbb29ef2ab0f08c3744192b3777466dd98d1fd7daed5064b6db
000000fe: CALLER
000000ff: CALLVALUE
00000100: TIMESTAMP
00000101: PUSH1 0x40
00000103: MLOAD
00000104: DUP1
00000105: DUP5
00000106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000011b: AND
0000011c: DUP2
0000011d: MSTORE
0000011e: PUSH1 0x20
00000120: ADD
00000121: DUP4
00000122: DUP2
00000123: MSTORE
00000124: PUSH1 0x20
00000126: ADD
00000127: DUP3
00000128: DUP2
00000129: MSTORE
0000012a: PUSH1 0x20
0000012c: ADD
0000012d: SWAP4
0000012e: POP
0000012f: POP
00000130: POP
00000131: POP
00000132: PUSH1 0x40
00000134: MLOAD
00000135: DUP1
00000136: SWAP2
00000137: SUB
00000138: SWAP1
00000139: LOG2
0000013a: JUMPDEST
0000013b: JUMP
0000013c: JUMPDEST
0000013d: STOP
0000013e: JUMPDEST
0000013f: PUSH2 0x014b
00000142: PUSH1 0x04
00000144: DUP1
00000145: POP
00000146: POP
00000147: PUSH2 0x0a40
0000014a: JUMP
0000014b: JUMPDEST
0000014c: PUSH1 0x40
0000014e: MLOAD
0000014f: DUP1
00000150: DUP3
00000151: DUP2
00000152: MSTORE
00000153: PUSH1 0x20
00000155: ADD
00000156: SWAP2
00000157: POP
00000158: POP
00000159: PUSH1 0x40
0000015b: MLOAD
0000015c: DUP1
0000015d: SWAP2
0000015e: SUB
0000015f: SWAP1
00000160: RETURN
00000161: JUMPDEST
00000162: PUSH2 0x016e
00000165: PUSH1 0x04
00000167: DUP1
00000168: POP
00000169: POP
0000016a: PUSH2 0x0e0b
0000016d: JUMP
0000016e: JUMPDEST
0000016f: STOP
00000170: JUMPDEST
00000171: PUSH2 0x0186
00000174: PUSH1 0x04
00000176: DUP1
00000177: DUP1
00000178: CALLDATALOAD
00000179: SWAP1
0000017a: PUSH1 0x20
0000017c: ADD
0000017d: SWAP1
0000017e: SWAP2
0000017f: SWAP1
00000180: POP
00000181: POP
00000182: PUSH2 0x07b2
00000185: JUMP
00000186: JUMPDEST
00000187: STOP
00000188: JUMPDEST
00000189: PUSH2 0x0195
0000018c: PUSH1 0x04
0000018e: DUP1
0000018f: POP
00000190: POP
00000191: PUSH2 0x0a97
00000194: JUMP
00000195: JUMPDEST
00000196: PUSH1 0x40
00000198: MLOAD
00000199: DUP1
0000019a: DUP3
0000019b: DUP2
0000019c: MSTORE
0000019d: PUSH1 0x20
0000019f: ADD
000001a0: SWAP2
000001a1: POP
000001a2: POP
000001a3: PUSH1 0x40
000001a5: MLOAD
000001a6: DUP1
000001a7: SWAP2
000001a8: SUB
000001a9: SWAP1
000001aa: RETURN
000001ab: JUMPDEST
000001ac: PUSH2 0x01c1
000001af: PUSH1 0x04
000001b1: DUP1
000001b2: DUP1
000001b3: CALLDATALOAD
000001b4: SWAP1
000001b5: PUSH1 0x20
000001b7: ADD
000001b8: SWAP1
000001b9: SWAP2
000001ba: SWAP1
000001bb: POP
000001bc: POP
000001bd: PUSH2 0x0b6f
000001c0: JUMP
000001c1: JUMPDEST
000001c2: STOP
000001c3: JUMPDEST
000001c4: PUSH2 0x01d9
000001c7: PUSH1 0x04
000001c9: DUP1
000001ca: DUP1
000001cb: CALLDATALOAD
000001cc: SWAP1
000001cd: PUSH1 0x20
000001cf: ADD
000001d0: SWAP1
000001d1: SWAP2
000001d2: SWAP1
000001d3: POP
000001d4: POP
000001d5: PUSH2 0x0afd
000001d8: JUMP
000001d9: JUMPDEST
000001da: PUSH1 0x40
000001dc: MLOAD
000001dd: DUP1
000001de: DUP3
000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f4: AND
000001f5: DUP2
000001f6: MSTORE
000001f7: PUSH1 0x20
000001f9: ADD
000001fa: SWAP2
000001fb: POP
000001fc: POP
000001fd: PUSH1 0x40
000001ff: MLOAD
00000200: DUP1
00000201: SWAP2
00000202: SUB
00000203: SWAP1
00000204: RETURN
00000205: JUMPDEST
00000206: PUSH2 0x0224
00000209: PUSH1 0x04
0000020b: DUP1
0000020c: DUP1
0000020d: CALLDATALOAD
0000020e: SWAP1
0000020f: PUSH1 0x20
00000211: ADD
00000212: SWAP1
00000213: SWAP2
00000214: SWAP1
00000215: DUP1
00000216: CALLDATALOAD
00000217: SWAP1
00000218: PUSH1 0x20
0000021a: ADD
0000021b: SWAP1
0000021c: SWAP2
0000021d: SWAP1
0000021e: POP
0000021f: POP
00000220: PUSH2 0x0457
00000223: JUMP
00000224: JUMPDEST
00000225: STOP
00000226: JUMPDEST
00000227: PUSH2 0x0233
0000022a: PUSH1 0x04
0000022c: DUP1
0000022d: POP
0000022e: POP
0000022f: PUSH2 0x0aca
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: DUP1
00000238: DUP3
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: POP
00000240: POP
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: PUSH2 0x0268
0000024d: PUSH1 0x04
0000024f: DUP1
00000250: DUP1
00000251: CALLDATALOAD
00000252: SWAP1
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP1
00000257: SWAP2
00000258: SWAP1
00000259: DUP1
0000025a: CALLDATALOAD
0000025b: SWAP1
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: SWAP1
00000260: SWAP2
00000261: SWAP1
00000262: POP
00000263: POP
00000264: PUSH2 0x0340
00000267: JUMP
00000268: JUMPDEST
00000269: STOP
0000026a: JUMPDEST
0000026b: PUSH2 0x0277
0000026e: PUSH1 0x04
00000270: DUP1
00000271: POP
00000272: POP
00000273: PUSH2 0x0cbb
00000276: JUMP
00000277: JUMPDEST
00000278: STOP
00000279: JUMPDEST
0000027a: PUSH2 0x02ca
0000027d: PUSH1 0x04
0000027f: DUP1
00000280: DUP1
00000281: CALLDATALOAD
00000282: SWAP1
00000283: PUSH1 0x20
00000285: ADD
00000286: SWAP1
00000287: DUP3
00000288: ADD
00000289: DUP1
0000028a: CALLDATALOAD
0000028b: SWAP1
0000028c: PUSH1 0x20
0000028e: ADD
0000028f: SWAP2
00000290: SWAP2
00000291: SWAP1
00000292: DUP1
00000293: DUP1
00000294: PUSH1 0x20
00000296: MUL
00000297: PUSH1 0x20
00000299: ADD
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: SWAP1
0000029e: DUP2
0000029f: ADD
000002a0: PUSH1 0x40
000002a2: MSTORE
000002a3: DUP1
000002a4: SWAP4
000002a5: SWAP3
000002a6: SWAP2
000002a7: SWAP1
000002a8: DUP2
000002a9: DUP2
000002aa: MSTORE
000002ab: PUSH1 0x20
000002ad: ADD
000002ae: DUP4
000002af: DUP4
000002b0: PUSH1 0x20
000002b2: MUL
000002b3: DUP1
000002b4: DUP3
000002b5: DUP5
000002b6: CALLDATACOPY
000002b7: DUP3
000002b8: ADD
000002b9: SWAP2
000002ba: POP
000002bb: POP
000002bc: POP
000002bd: POP
000002be: POP
000002bf: POP
000002c0: SWAP1
000002c1: SWAP1
000002c2: SWAP2
000002c3: SWAP1
000002c4: POP
000002c5: POP
000002c6: PUSH2 0x097e
000002c9: JUMP
000002ca: JUMPDEST
000002cb: STOP
000002cc: JUMPDEST
000002cd: PUSH2 0x02d9
000002d0: PUSH1 0x04
000002d2: DUP1
000002d3: POP
000002d4: POP
000002d5: PUSH2 0x0a64
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x40
000002dc: MLOAD
000002dd: DUP1
000002de: DUP3
000002df: DUP2
000002e0: MSTORE
000002e1: PUSH1 0x20
000002e3: ADD
000002e4: SWAP2
000002e5: POP
000002e6: POP
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: SWAP2
000002ec: SUB
000002ed: SWAP1
000002ee: RETURN
000002ef: JUMPDEST
000002f0: PUSH2 0x0305
000002f3: PUSH1 0x04
000002f5: DUP1
000002f6: DUP1
000002f7: CALLDATALOAD
000002f8: SWAP1
000002f9: PUSH1 0x20
000002fb: ADD
000002fc: SWAP1
000002fd: SWAP2
000002fe: SWAP1
000002ff: POP
00000300: POP
00000301: PUSH2 0x0680
00000304: JUMP
00000305: JUMPDEST
00000306: STOP
00000307: JUMPDEST
00000308: PUSH2 0x0326
0000030b: PUSH1 0x04
0000030d: DUP1
0000030e: DUP1
0000030f: CALLDATALOAD
00000310: SWAP1
00000311: PUSH1 0x20
00000313: ADD
00000314: SWAP1
00000315: SWAP2
00000316: SWAP1
00000317: DUP1
00000318: CALLDATALOAD
00000319: SWAP1
0000031a: PUSH1 0x20
0000031c: ADD
0000031d: SWAP1
0000031e: SWAP2
0000031f: SWAP1
00000320: POP
00000321: POP
00000322: PUSH2 0x0872
00000325: JUMP
00000326: JUMPDEST
00000327: STOP
00000328: JUMPDEST
00000329: PUSH2 0x033e
0000032c: PUSH1 0x04
0000032e: DUP1
0000032f: DUP1
00000330: CALLDATALOAD
00000331: SWAP1
00000332: PUSH1 0x20
00000334: ADD
00000335: SWAP1
00000336: SWAP2
00000337: SWAP1
00000338: POP
00000339: POP
0000033a: PUSH2 0x05c0
0000033d: JUMP
0000033e: JUMPDEST
0000033f: STOP
00000340: JUMPDEST
00000341: PUSH1 0x00
00000343: DUP1
00000344: PUSH1 0x02
00000346: ADD
00000347: PUSH1 0x00
00000349: SWAP1
0000034a: SLOAD
0000034b: SWAP1
0000034c: PUSH2 0x0100
0000034f: EXP
00000350: SWAP1
00000351: DIV
00000352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000367: AND
00000368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037d: AND
0000037e: CALLER
0000037f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000394: AND
00000395: EQ
00000396: ISZERO
00000397: PUSH2 0x044c
0000039a: JUMPI
0000039b: NUMBER
0000039c: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
000003bd: DUP5
000003be: DUP5
000003bf: TIMESTAMP
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: DUP5
000003c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003da: AND
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: ADD
000003e0: DUP4
000003e1: DUP2
000003e2: MSTORE
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: DUP3
000003e7: DUP2
000003e8: MSTORE
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: SWAP4
000003ed: POP
000003ee: POP
000003ef: POP
000003f0: POP
000003f1: PUSH1 0x40
000003f3: MLOAD
000003f4: DUP1
000003f5: SWAP2
000003f6: SUB
000003f7: SWAP1
000003f8: LOG2
000003f9: PUSH1 0x00
000003fb: PUSH1 0x00
000003fd: POP
000003fe: PUSH1 0x00
00000400: PUSH1 0x00
00000402: DUP2
00000403: MSTORE
00000404: PUSH1 0x20
00000406: ADD
00000407: SWAP1
00000408: DUP2
00000409: MSTORE
0000040a: PUSH1 0x20
0000040c: ADD
0000040d: PUSH1 0x00
0000040f: KECCAK256
00000410: PUSH1 0x00
00000412: POP
00000413: SWAP1
00000414: POP
00000415: DUP3
00000416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042b: AND
0000042c: PUSH1 0x00
0000042e: DUP4
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: SWAP1
00000434: POP
00000435: PUSH1 0x00
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: DUP1
0000043b: DUP4
0000043c: SUB
0000043d: DUP2
0000043e: DUP6
0000043f: DUP9
00000440: DUP9
00000441: CALL
00000442: SWAP4
00000443: POP
00000444: POP
00000445: POP
00000446: POP
00000447: POP
00000448: PUSH2 0x0451
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH2 0x0002
00000450: JUMP
00000451: JUMPDEST
00000452: JUMPDEST
00000453: POP
00000454: POP
00000455: POP
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x00
0000045a: DUP1
0000045b: PUSH1 0x02
0000045d: ADD
0000045e: PUSH1 0x00
00000460: SWAP1
00000461: SLOAD
00000462: SWAP1
00000463: PUSH2 0x0100
00000466: EXP
00000467: SWAP1
00000468: DIV
00000469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000047e: AND
0000047f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000494: AND
00000495: CALLER
00000496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ab: AND
000004ac: EQ
000004ad: ISZERO
000004ae: PUSH2 0x05b5
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: PUSH1 0x00
000004b6: POP
000004b7: PUSH1 0x00
000004b9: PUSH1 0x00
000004bb: DUP2
000004bc: MSTORE
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: SWAP1
000004c1: DUP2
000004c2: MSTORE
000004c3: PUSH1 0x20
000004c5: ADD
000004c6: PUSH1 0x00
000004c8: KECCAK256
000004c9: PUSH1 0x00
000004cb: POP
000004cc: SWAP1
000004cd: POP
000004ce: DUP1
000004cf: PUSH1 0x06
000004d1: ADD
000004d2: PUSH1 0x00
000004d4: POP
000004d5: SLOAD
000004d6: DUP3
000004d7: GT
000004d8: ISZERO
000004d9: ISZERO
000004da: PUSH2 0x05ab
000004dd: JUMPI
000004de: PUSH1 0x60
000004e0: PUSH1 0x40
000004e2: MLOAD
000004e3: SWAP1
000004e4: DUP2
000004e5: ADD
000004e6: PUSH1 0x40
000004e8: MSTORE
000004e9: DUP1
000004ea: DUP5
000004eb: DUP2
000004ec: MSTORE
000004ed: PUSH1 0x20
000004ef: ADD
000004f0: DUP4
000004f1: DUP2
000004f2: MSTORE
000004f3: PUSH1 0x20
000004f5: ADD
000004f6: PUSH1 0x01
000004f8: DUP2
000004f9: MSTORE
000004fa: PUSH1 0x20
000004fc: ADD
000004fd: POP
000004fe: DUP2
000004ff: PUSH1 0x00
00000501: ADD
00000502: PUSH1 0x00
00000504: POP
00000505: PUSH1 0x00
00000507: DUP4
00000508: PUSH1 0x05
0000050a: ADD
0000050b: PUSH1 0x00
0000050d: POP
0000050e: SLOAD
0000050f: DUP2
00000510: MSTORE
00000511: PUSH1 0x20
00000513: ADD
00000514: SWAP1
00000515: DUP2
00000516: MSTORE
00000517: PUSH1 0x20
00000519: ADD
0000051a: PUSH1 0x00
0000051c: KECCAK256
0000051d: PUSH1 0x00
0000051f: POP
00000520: PUSH1 0x00
00000522: DUP3
00000523: ADD
00000524: MLOAD
00000525: DUP2
00000526: PUSH1 0x00
00000528: ADD
00000529: PUSH1 0x00
0000052b: PUSH2 0x0100
0000052e: EXP
0000052f: DUP2
00000530: SLOAD
00000531: DUP2
00000532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000547: MUL
00000548: NOT
00000549: AND
0000054a: SWAP1
0000054b: DUP4
0000054c: MUL
0000054d: OR
0000054e: SWAP1
0000054f: SSTORE
00000550: POP
00000551: PUSH1 0x20
00000553: DUP3
00000554: ADD
00000555: MLOAD
00000556: DUP2
00000557: PUSH1 0x01
00000559: ADD
0000055a: PUSH1 0x00
0000055c: POP
0000055d: SSTORE
0000055e: PUSH1 0x40
00000560: DUP3
00000561: ADD
00000562: MLOAD
00000563: DUP2
00000564: PUSH1 0x02
00000566: ADD
00000567: PUSH1 0x00
00000569: PUSH2 0x0100
0000056c: EXP
0000056d: DUP2
0000056e: SLOAD
0000056f: DUP2
00000570: PUSH1 0xff
00000572: MUL
00000573: NOT
00000574: AND
00000575: SWAP1
00000576: DUP4
00000577: MUL
00000578: OR
00000579: SWAP1
0000057a: SSTORE
0000057b: POP
0000057c: SWAP1
0000057d: POP
0000057e: POP
0000057f: DUP2
00000580: DUP2
00000581: PUSH1 0x06
00000583: ADD
00000584: PUSH1 0x00
00000586: DUP3
00000587: DUP3
00000588: DUP3
00000589: POP
0000058a: SLOAD
0000058b: SUB
0000058c: SWAP3
0000058d: POP
0000058e: POP
0000058f: DUP2
00000590: SWAP1
00000591: SSTORE
00000592: POP
00000593: DUP1
00000594: PUSH1 0x05
00000596: ADD
00000597: PUSH1 0x00
00000599: DUP2
0000059a: DUP2
0000059b: POP
0000059c: SLOAD
0000059d: PUSH1 0x01
0000059f: ADD
000005a0: SWAP2
000005a1: SWAP1
000005a2: POP
000005a3: DUP2
000005a4: SWAP1
000005a5: SSTORE
000005a6: POP
000005a7: PUSH2 0x05b0
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH2 0x0002
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH2 0x05ba
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH2 0x0002
000005b9: JUMP
000005ba: JUMPDEST
000005bb: JUMPDEST
000005bc: POP
000005bd: POP
000005be: POP
000005bf: JUMP
000005c0: JUMPDEST
000005c1: PUSH1 0x00
000005c3: PUSH1 0x00
000005c5: DUP2
000005c6: PUSH1 0x02
000005c8: ADD
000005c9: PUSH1 0x00
000005cb: SWAP1
000005cc: SLOAD
000005cd: SWAP1
000005ce: PUSH2 0x0100
000005d1: EXP
000005d2: SWAP1
000005d3: DIV
000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e9: AND
000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ff: AND
00000600: CALLER
00000601: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000616: AND
00000617: EQ
00000618: ISZERO
00000619: PUSH2 0x0675
0000061c: JUMPI
0000061d: PUSH1 0x00
0000061f: PUSH1 0x00
00000621: POP
00000622: PUSH1 0x00
00000624: PUSH1 0x00
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x20
0000062a: ADD
0000062b: SWAP1
0000062c: DUP2
0000062d: MSTORE
0000062e: PUSH1 0x20
00000630: ADD
00000631: PUSH1 0x00
00000633: KECCAK256
00000634: PUSH1 0x00
00000636: POP
00000637: SWAP2
00000638: POP
00000639: DUP2
0000063a: PUSH1 0x00
0000063c: ADD
0000063d: PUSH1 0x00
0000063f: POP
00000640: PUSH1 0x00
00000642: DUP5
00000643: DUP2
00000644: MSTORE
00000645: PUSH1 0x20
00000647: ADD
00000648: SWAP1
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: PUSH1 0x00
00000650: KECCAK256
00000651: PUSH1 0x00
00000653: POP
00000654: SWAP1
00000655: POP
00000656: PUSH1 0x00
00000658: DUP2
00000659: PUSH1 0x02
0000065b: ADD
0000065c: PUSH1 0x00
0000065e: PUSH2 0x0100
00000661: EXP
00000662: DUP2
00000663: SLOAD
00000664: DUP2
00000665: PUSH1 0xff
00000667: MUL
00000668: NOT
00000669: AND
0000066a: SWAP1
0000066b: DUP4
0000066c: MUL
0000066d: OR
0000066e: SWAP1
0000066f: SSTORE
00000670: POP
00000671: PUSH2 0x067a
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH2 0x0002
00000679: JUMP
0000067a: JUMPDEST
0000067b: JUMPDEST
0000067c: POP
0000067d: POP
0000067e: POP
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x00
00000683: DUP1
00000684: PUSH1 0x02
00000686: ADD
00000687: PUSH1 0x00
00000689: SWAP1
0000068a: SLOAD
0000068b: SWAP1
0000068c: PUSH2 0x0100
0000068f: EXP
00000690: SWAP1
00000691: DIV
00000692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a7: AND
000006a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bd: AND
000006be: CALLER
000006bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d4: AND
000006d5: EQ
000006d6: ISZERO
000006d7: PUSH2 0x07ad
000006da: JUMPI
000006db: PUSH1 0x00
000006dd: PUSH1 0x00
000006df: POP
000006e0: PUSH1 0x00
000006e2: PUSH1 0x00
000006e4: DUP2
000006e5: MSTORE
000006e6: PUSH1 0x20
000006e8: ADD
000006e9: SWAP1
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: ADD
000006ef: PUSH1 0x00
000006f1: KECCAK256
000006f2: PUSH1 0x00
000006f4: POP
000006f5: SWAP1
000006f6: POP
000006f7: PUSH1 0x60
000006f9: PUSH1 0x40
000006fb: MLOAD
000006fc: SWAP1
000006fd: DUP2
000006fe: ADD
000006ff: PUSH1 0x40
00000701: MSTORE
00000702: DUP1
00000703: DUP4
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: ADD
00000709: PUSH1 0x00
0000070b: DUP2
0000070c: MSTORE
0000070d: PUSH1 0x20
0000070f: ADD
00000710: PUSH1 0x01
00000712: DUP2
00000713: MSTORE
00000714: PUSH1 0x20
00000716: ADD
00000717: POP
00000718: DUP2
00000719: PUSH1 0x01
0000071b: ADD
0000071c: PUSH1 0x00
0000071e: POP
0000071f: PUSH1 0x00
00000721: DUP4
00000722: PUSH1 0x07
00000724: ADD
00000725: PUSH1 0x00
00000727: POP
00000728: SLOAD
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: SWAP1
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x20
00000733: ADD
00000734: PUSH1 0x00
00000736: KECCAK256
00000737: PUSH1 0x00
00000739: POP
0000073a: PUSH1 0x00
0000073c: DUP3
0000073d: ADD
0000073e: MLOAD
0000073f: DUP2
00000740: PUSH1 0x01
00000742: ADD
00000743: PUSH1 0x00
00000745: PUSH2 0x0100
00000748: EXP
00000749: DUP2
0000074a: SLOAD
0000074b: DUP2
0000074c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000761: MUL
00000762: NOT
00000763: AND
00000764: SWAP1
00000765: DUP4
00000766: MUL
00000767: OR
00000768: SWAP1
00000769: SSTORE
0000076a: POP
0000076b: PUSH1 0x20
0000076d: DUP3
0000076e: ADD
0000076f: MLOAD
00000770: DUP2
00000771: PUSH1 0x02
00000773: ADD
00000774: PUSH1 0x00
00000776: POP
00000777: SSTORE
00000778: PUSH1 0x40
0000077a: DUP3
0000077b: ADD
0000077c: MLOAD
0000077d: DUP2
0000077e: PUSH1 0x03
00000780: ADD
00000781: PUSH1 0x00
00000783: PUSH2 0x0100
00000786: EXP
00000787: DUP2
00000788: SLOAD
00000789: DUP2
0000078a: PUSH1 0xff
0000078c: MUL
0000078d: NOT
0000078e: AND
0000078f: SWAP1
00000790: DUP4
00000791: MUL
00000792: OR
00000793: SWAP1
00000794: SSTORE
00000795: POP
00000796: SWAP1
00000797: POP
00000798: POP
00000799: DUP1
0000079a: PUSH1 0x07
0000079c: ADD
0000079d: PUSH1 0x00
0000079f: DUP2
000007a0: DUP2
000007a1: POP
000007a2: SLOAD
000007a3: PUSH1 0x01
000007a5: ADD
000007a6: SWAP2
000007a7: SWAP1
000007a8: POP
000007a9: DUP2
000007aa: SWAP1
000007ab: SSTORE
000007ac: POP
000007ad: JUMPDEST
000007ae: JUMPDEST
000007af: POP
000007b0: POP
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH1 0x00
000007b5: PUSH1 0x00
000007b7: DUP2
000007b8: PUSH1 0x02
000007ba: ADD
000007bb: PUSH1 0x00
000007bd: SWAP1
000007be: SLOAD
000007bf: SWAP1
000007c0: PUSH2 0x0100
000007c3: EXP
000007c4: SWAP1
000007c5: DIV
000007c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007db: AND
000007dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f1: AND
000007f2: CALLER
000007f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000808: AND
00000809: EQ
0000080a: ISZERO
0000080b: PUSH2 0x0867
0000080e: JUMPI
0000080f: PUSH1 0x00
00000811: PUSH1 0x00
00000813: POP
00000814: PUSH1 0x00
00000816: PUSH1 0x00
00000818: DUP2
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: SWAP1
0000081e: DUP2
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: ADD
00000823: PUSH1 0x00
00000825: KECCAK256
00000826: PUSH1 0x00
00000828: POP
00000829: SWAP2
0000082a: POP
0000082b: DUP2
0000082c: PUSH1 0x01
0000082e: ADD
0000082f: PUSH1 0x00
00000831: POP
00000832: PUSH1 0x00
00000834: DUP5
00000835: DUP2
00000836: MSTORE
00000837: PUSH1 0x20
00000839: ADD
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x20
0000083f: ADD
00000840: PUSH1 0x00
00000842: KECCAK256
00000843: PUSH1 0x00
00000845: POP
00000846: SWAP1
00000847: POP
00000848: PUSH1 0x00
0000084a: DUP2
0000084b: PUSH1 0x03
0000084d: ADD
0000084e: PUSH1 0x00
00000850: PUSH2 0x0100
00000853: EXP
00000854: DUP2
00000855: SLOAD
00000856: DUP2
00000857: PUSH1 0xff
00000859: MUL
0000085a: NOT
0000085b: AND
0000085c: SWAP1
0000085d: DUP4
0000085e: MUL
0000085f: OR
00000860: SWAP1
00000861: SSTORE
00000862: POP
00000863: PUSH2 0x086c
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH2 0x0002
0000086b: JUMP
0000086c: JUMPDEST
0000086d: JUMPDEST
0000086e: POP
0000086f: POP
00000870: POP
00000871: JUMP
00000872: JUMPDEST
00000873: PUSH1 0x00
00000875: PUSH1 0x00
00000877: DUP2
00000878: PUSH1 0x02
0000087a: ADD
0000087b: PUSH1 0x00
0000087d: SWAP1
0000087e: SLOAD
0000087f: SWAP1
00000880: PUSH2 0x0100
00000883: EXP
00000884: SWAP1
00000885: DIV
00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089b: AND
0000089c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b1: AND
000008b2: CALLER
000008b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c8: AND
000008c9: EQ
000008ca: ISZERO
000008cb: PUSH2 0x0972
000008ce: JUMPI
000008cf: PUSH1 0x00
000008d1: PUSH1 0x00
000008d3: POP
000008d4: PUSH1 0x00
000008d6: PUSH1 0x00
000008d8: DUP2
000008d9: MSTORE
000008da: PUSH1 0x20
000008dc: ADD
000008dd: SWAP1
000008de: DUP2
000008df: MSTORE
000008e0: PUSH1 0x20
000008e2: ADD
000008e3: PUSH1 0x00
000008e5: KECCAK256
000008e6: PUSH1 0x00
000008e8: POP
000008e9: SWAP2
000008ea: POP
000008eb: DUP2
000008ec: PUSH1 0x01
000008ee: ADD
000008ef: PUSH1 0x00
000008f1: POP
000008f2: PUSH1 0x00
000008f4: DUP6
000008f5: DUP2
000008f6: MSTORE
000008f7: PUSH1 0x20
000008f9: ADD
000008fa: SWAP1
000008fb: DUP2
000008fc: MSTORE
000008fd: PUSH1 0x20
000008ff: ADD
00000900: PUSH1 0x00
00000902: KECCAK256
00000903: PUSH1 0x00
00000905: POP
00000906: SWAP1
00000907: POP
00000908: PUSH1 0x40
0000090a: PUSH1 0x40
0000090c: MLOAD
0000090d: SWAP1
0000090e: DUP2
0000090f: ADD
00000910: PUSH1 0x40
00000912: MSTORE
00000913: DUP1
00000914: DUP5
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x20
00000919: ADD
0000091a: TIMESTAMP
0000091b: DUP2
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: ADD
00000920: POP
00000921: DUP2
00000922: PUSH1 0x00
00000924: ADD
00000925: PUSH1 0x00
00000927: POP
00000928: PUSH1 0x00
0000092a: PUSH1 0x00
0000092c: DUP2
0000092d: MSTORE
0000092e: PUSH1 0x20
00000930: ADD
00000931: SWAP1
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x20
00000936: ADD
00000937: PUSH1 0x00
00000939: KECCAK256
0000093a: PUSH1 0x00
0000093c: POP
0000093d: PUSH1 0x00
0000093f: DUP3
00000940: ADD
00000941: MLOAD
00000942: DUP2
00000943: PUSH1 0x00
00000945: ADD
00000946: PUSH1 0x00
00000948: POP
00000949: SSTORE
0000094a: PUSH1 0x20
0000094c: DUP3
0000094d: ADD
0000094e: MLOAD
0000094f: DUP2
00000950: PUSH1 0x01
00000952: ADD
00000953: PUSH1 0x00
00000955: POP
00000956: SSTORE
00000957: SWAP1
00000958: POP
00000959: POP
0000095a: DUP1
0000095b: PUSH1 0x02
0000095d: ADD
0000095e: PUSH1 0x00
00000960: DUP2
00000961: DUP2
00000962: POP
00000963: SLOAD
00000964: PUSH1 0x01
00000966: ADD
00000967: SWAP2
00000968: SWAP1
00000969: POP
0000096a: DUP2
0000096b: SWAP1
0000096c: SSTORE
0000096d: POP
0000096e: PUSH2 0x0977
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH2 0x0002
00000976: JUMP
00000977: JUMPDEST
00000978: JUMPDEST
00000979: POP
0000097a: POP
0000097b: POP
0000097c: POP
0000097d: JUMP
0000097e: JUMPDEST
0000097f: PUSH1 0x00
00000981: PUSH1 0x00
00000983: DUP2
00000984: PUSH1 0x02
00000986: ADD
00000987: PUSH1 0x00
00000989: SWAP1
0000098a: SLOAD
0000098b: SWAP1
0000098c: PUSH2 0x0100
0000098f: EXP
00000990: SWAP1
00000991: DIV
00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a7: AND
000009a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bd: AND
000009be: CALLER
000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d4: AND
000009d5: EQ
000009d6: ISZERO
000009d7: PUSH2 0x0a35
000009da: JUMPI
000009db: PUSH1 0x00
000009dd: PUSH1 0x00
000009df: POP
000009e0: PUSH1 0x00
000009e2: PUSH1 0x00
000009e4: DUP2
000009e5: MSTORE
000009e6: PUSH1 0x20
000009e8: ADD
000009e9: SWAP1
000009ea: DUP2
000009eb: MSTORE
000009ec: PUSH1 0x20
000009ee: ADD
000009ef: PUSH1 0x00
000009f1: KECCAK256
000009f2: PUSH1 0x00
000009f4: POP
000009f5: SWAP2
000009f6: POP
000009f7: PUSH1 0x00
000009f9: SWAP1
000009fa: POP
000009fb: JUMPDEST
000009fc: DUP3
000009fd: MLOAD
000009fe: DUP2
000009ff: LT
00000a00: ISZERO
00000a01: PUSH2 0x0a30
00000a04: JUMPI
00000a05: PUSH2 0x0a22
00000a08: DUP2
00000a09: DUP5
00000a0a: DUP4
00000a0b: DUP2
00000a0c: MLOAD
00000a0d: DUP2
00000a0e: LT
00000a0f: ISZERO
00000a10: PUSH2 0x0002
00000a13: JUMPI
00000a14: SWAP1
00000a15: PUSH1 0x20
00000a17: ADD
00000a18: SWAP1
00000a19: PUSH1 0x20
00000a1b: MUL
00000a1c: ADD
00000a1d: MLOAD
00000a1e: PUSH2 0x0872
00000a21: JUMP
00000a22: JUMPDEST
00000a23: JUMPDEST
00000a24: DUP1
00000a25: DUP1
00000a26: PUSH1 0x01
00000a28: ADD
00000a29: SWAP2
00000a2a: POP
00000a2b: POP
00000a2c: PUSH2 0x09fb
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: PUSH2 0x0a3a
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH2 0x0002
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: JUMPDEST
00000a3c: POP
00000a3d: POP
00000a3e: POP
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH1 0x00
00000a43: ADDRESS
00000a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a59: AND
00000a5a: BALANCE
00000a5b: SWAP1
00000a5c: POP
00000a5d: PUSH2 0x0a61
00000a60: JUMP
00000a61: JUMPDEST
00000a62: SWAP1
00000a63: JUMP
00000a64: JUMPDEST
00000a65: PUSH1 0x00
00000a67: PUSH1 0x00
00000a69: PUSH1 0x00
00000a6b: PUSH1 0x00
00000a6d: POP
00000a6e: PUSH1 0x00
00000a70: PUSH1 0x00
00000a72: DUP2
00000a73: MSTORE
00000a74: PUSH1 0x20
00000a76: ADD
00000a77: SWAP1
00000a78: DUP2
00000a79: MSTORE
00000a7a: PUSH1 0x20
00000a7c: ADD
00000a7d: PUSH1 0x00
00000a7f: KECCAK256
00000a80: PUSH1 0x00
00000a82: POP
00000a83: SWAP1
00000a84: POP
00000a85: DUP1
00000a86: PUSH1 0x06
00000a88: ADD
00000a89: PUSH1 0x00
00000a8b: POP
00000a8c: SLOAD
00000a8d: SWAP2
00000a8e: POP
00000a8f: PUSH2 0x0a93
00000a92: JUMP
00000a93: JUMPDEST
00000a94: POP
00000a95: SWAP1
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH1 0x00
00000a9a: PUSH1 0x00
00000a9c: PUSH1 0x00
00000a9e: PUSH1 0x00
00000aa0: POP
00000aa1: PUSH1 0x00
00000aa3: PUSH1 0x00
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: SWAP1
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x20
00000aaf: ADD
00000ab0: PUSH1 0x00
00000ab2: KECCAK256
00000ab3: PUSH1 0x00
00000ab5: POP
00000ab6: SWAP1
00000ab7: POP
00000ab8: DUP1
00000ab9: PUSH1 0x05
00000abb: ADD
00000abc: PUSH1 0x00
00000abe: POP
00000abf: SLOAD
00000ac0: SWAP2
00000ac1: POP
00000ac2: PUSH2 0x0ac6
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: POP
00000ac8: SWAP1
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH1 0x00
00000acd: PUSH1 0x00
00000acf: PUSH1 0x00
00000ad1: PUSH1 0x00
00000ad3: POP
00000ad4: PUSH1 0x00
00000ad6: PUSH1 0x00
00000ad8: DUP2
00000ad9: MSTORE
00000ada: PUSH1 0x20
00000adc: ADD
00000add: SWAP1
00000ade: DUP2
00000adf: MSTORE
00000ae0: PUSH1 0x20
00000ae2: ADD
00000ae3: PUSH1 0x00
00000ae5: KECCAK256
00000ae6: PUSH1 0x00
00000ae8: POP
00000ae9: SWAP1
00000aea: POP
00000aeb: DUP1
00000aec: PUSH1 0x07
00000aee: ADD
00000aef: PUSH1 0x00
00000af1: POP
00000af2: SLOAD
00000af3: SWAP2
00000af4: POP
00000af5: PUSH2 0x0af9
00000af8: JUMP
00000af9: JUMPDEST
00000afa: POP
00000afb: SWAP1
00000afc: JUMP
00000afd: JUMPDEST
00000afe: PUSH1 0x00
00000b00: PUSH1 0x00
00000b02: PUSH1 0x00
00000b04: PUSH1 0x00
00000b06: PUSH1 0x00
00000b08: POP
00000b09: PUSH1 0x00
00000b0b: PUSH1 0x00
00000b0d: DUP2
00000b0e: MSTORE
00000b0f: PUSH1 0x20
00000b11: ADD
00000b12: SWAP1
00000b13: DUP2
00000b14: MSTORE
00000b15: PUSH1 0x20
00000b17: ADD
00000b18: PUSH1 0x00
00000b1a: KECCAK256
00000b1b: PUSH1 0x00
00000b1d: POP
00000b1e: SWAP2
00000b1f: POP
00000b20: DUP2
00000b21: PUSH1 0x00
00000b23: ADD
00000b24: PUSH1 0x00
00000b26: POP
00000b27: PUSH1 0x00
00000b29: DUP6
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x20
00000b2e: ADD
00000b2f: SWAP1
00000b30: DUP2
00000b31: MSTORE
00000b32: PUSH1 0x20
00000b34: ADD
00000b35: PUSH1 0x00
00000b37: KECCAK256
00000b38: PUSH1 0x00
00000b3a: POP
00000b3b: SWAP1
00000b3c: POP
00000b3d: DUP1
00000b3e: PUSH1 0x00
00000b40: ADD
00000b41: PUSH1 0x00
00000b43: SWAP1
00000b44: SLOAD
00000b45: SWAP1
00000b46: PUSH2 0x0100
00000b49: EXP
00000b4a: SWAP1
00000b4b: DIV
00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b61: AND
00000b62: SWAP3
00000b63: POP
00000b64: PUSH2 0x0b68
00000b67: JUMP
00000b68: JUMPDEST
00000b69: POP
00000b6a: POP
00000b6b: SWAP2
00000b6c: SWAP1
00000b6d: POP
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: PUSH1 0x00
00000b72: PUSH1 0x00
00000b74: PUSH1 0x00
00000b76: PUSH1 0x00
00000b78: DUP4
00000b79: PUSH1 0x02
00000b7b: ADD
00000b7c: PUSH1 0x00
00000b7e: SWAP1
00000b7f: SLOAD
00000b80: SWAP1
00000b81: PUSH2 0x0100
00000b84: EXP
00000b85: SWAP1
00000b86: DIV
00000b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9c: AND
00000b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb2: AND
00000bb3: CALLER
00000bb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc9: AND
00000bca: EQ
00000bcb: ISZERO
00000bcc: PUSH2 0x0cae
00000bcf: JUMPI
00000bd0: PUSH1 0x00
00000bd2: PUSH1 0x00
00000bd4: POP
00000bd5: PUSH1 0x00
00000bd7: PUSH1 0x00
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: SWAP1
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: PUSH1 0x00
00000be6: KECCAK256
00000be7: PUSH1 0x00
00000be9: POP
00000bea: SWAP4
00000beb: POP
00000bec: PUSH1 0x00
00000bee: SWAP3
00000bef: POP
00000bf0: JUMPDEST
00000bf1: DUP4
00000bf2: PUSH1 0x05
00000bf4: ADD
00000bf5: PUSH1 0x00
00000bf7: POP
00000bf8: SLOAD
00000bf9: DUP4
00000bfa: LT
00000bfb: ISZERO
00000bfc: PUSH2 0x0ca9
00000bff: JUMPI
00000c00: DUP4
00000c01: PUSH1 0x00
00000c03: ADD
00000c04: PUSH1 0x00
00000c06: POP
00000c07: PUSH1 0x00
00000c09: DUP5
00000c0a: DUP2
00000c0b: MSTORE
00000c0c: PUSH1 0x20
00000c0e: ADD
00000c0f: SWAP1
00000c10: DUP2
00000c11: MSTORE
00000c12: PUSH1 0x20
00000c14: ADD
00000c15: PUSH1 0x00
00000c17: KECCAK256
00000c18: PUSH1 0x00
00000c1a: POP
00000c1b: SWAP2
00000c1c: POP
00000c1d: DUP2
00000c1e: PUSH1 0x01
00000c20: ADD
00000c21: PUSH1 0x00
00000c23: POP
00000c24: SLOAD
00000c25: DUP6
00000c26: MUL
00000c27: SWAP1
00000c28: POP
00000c29: DUP1
00000c2a: ADDRESS
00000c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c40: AND
00000c41: BALANCE
00000c42: LT
00000c43: ISZERO
00000c44: ISZERO
00000c45: PUSH2 0x0c96
00000c48: JUMPI
00000c49: PUSH1 0x01
00000c4b: DUP3
00000c4c: PUSH1 0x02
00000c4e: ADD
00000c4f: PUSH1 0x00
00000c51: SWAP1
00000c52: SLOAD
00000c53: SWAP1
00000c54: PUSH2 0x0100
00000c57: EXP
00000c58: SWAP1
00000c59: DIV
00000c5a: PUSH1 0xff
00000c5c: AND
00000c5d: EQ
00000c5e: ISZERO
00000c5f: PUSH2 0x0c91
00000c62: JUMPI
00000c63: PUSH2 0x0c90
00000c66: DUP3
00000c67: PUSH1 0x00
00000c69: ADD
00000c6a: PUSH1 0x00
00000c6c: SWAP1
00000c6d: SLOAD
00000c6e: SWAP1
00000c6f: PUSH2 0x0100
00000c72: EXP
00000c73: SWAP1
00000c74: DIV
00000c75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8a: AND
00000c8b: DUP3
00000c8c: PUSH2 0x0340
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: JUMPDEST
00000c92: PUSH2 0x0c9b
00000c95: JUMP
00000c96: JUMPDEST
00000c97: PUSH2 0x0002
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: JUMPDEST
00000c9d: DUP3
00000c9e: DUP1
00000c9f: PUSH1 0x01
00000ca1: ADD
00000ca2: SWAP4
00000ca3: POP
00000ca4: POP
00000ca5: PUSH2 0x0bf0
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH2 0x0cb3
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH2 0x0002
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: JUMPDEST
00000cb5: POP
00000cb6: POP
00000cb7: POP
00000cb8: POP
00000cb9: POP
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x00
00000cbe: PUSH1 0x00
00000cc0: PUSH1 0x00
00000cc2: PUSH1 0x00
00000cc4: DUP4
00000cc5: PUSH1 0x02
00000cc7: ADD
00000cc8: PUSH1 0x00
00000cca: SWAP1
00000ccb: SLOAD
00000ccc: SWAP1
00000ccd: PUSH2 0x0100
00000cd0: EXP
00000cd1: SWAP1
00000cd2: DIV
00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce8: AND
00000ce9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfe: AND
00000cff: CALLER
00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d15: AND
00000d16: EQ
00000d17: ISZERO
00000d18: PUSH2 0x0dff
00000d1b: JUMPI
00000d1c: PUSH1 0x00
00000d1e: PUSH1 0x00
00000d20: POP
00000d21: PUSH1 0x00
00000d23: PUSH1 0x00
00000d25: DUP2
00000d26: MSTORE
00000d27: PUSH1 0x20
00000d29: ADD
00000d2a: SWAP1
00000d2b: DUP2
00000d2c: MSTORE
00000d2d: PUSH1 0x20
00000d2f: ADD
00000d30: PUSH1 0x00
00000d32: KECCAK256
00000d33: PUSH1 0x00
00000d35: POP
00000d36: SWAP4
00000d37: POP
00000d38: PUSH1 0x00
00000d3a: SWAP3
00000d3b: POP
00000d3c: JUMPDEST
00000d3d: DUP4
00000d3e: PUSH1 0x07
00000d40: ADD
00000d41: PUSH1 0x00
00000d43: POP
00000d44: SLOAD
00000d45: DUP4
00000d46: LT
00000d47: ISZERO
00000d48: PUSH2 0x0dfa
00000d4b: JUMPI
00000d4c: DUP4
00000d4d: PUSH1 0x01
00000d4f: ADD
00000d50: PUSH1 0x00
00000d52: POP
00000d53: PUSH1 0x00
00000d55: DUP5
00000d56: DUP2
00000d57: MSTORE
00000d58: PUSH1 0x20
00000d5a: ADD
00000d5b: SWAP1
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x20
00000d60: ADD
00000d61: PUSH1 0x00
00000d63: KECCAK256
00000d64: PUSH1 0x00
00000d66: POP
00000d67: SWAP2
00000d68: POP
00000d69: DUP2
00000d6a: PUSH1 0x00
00000d6c: ADD
00000d6d: PUSH1 0x00
00000d6f: POP
00000d70: PUSH1 0x00
00000d72: PUSH1 0x00
00000d74: DUP2
00000d75: MSTORE
00000d76: PUSH1 0x20
00000d78: ADD
00000d79: SWAP1
00000d7a: DUP2
00000d7b: MSTORE
00000d7c: PUSH1 0x20
00000d7e: ADD
00000d7f: PUSH1 0x00
00000d81: KECCAK256
00000d82: PUSH1 0x00
00000d84: POP
00000d85: SWAP1
00000d86: POP
00000d87: DUP1
00000d88: PUSH1 0x00
00000d8a: ADD
00000d8b: PUSH1 0x00
00000d8d: POP
00000d8e: SLOAD
00000d8f: ADDRESS
00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da5: AND
00000da6: BALANCE
00000da7: LT
00000da8: ISZERO
00000da9: ISZERO
00000daa: PUSH2 0x0de7
00000dad: JUMPI
00000dae: PUSH2 0x0de2
00000db1: DUP3
00000db2: PUSH1 0x01
00000db4: ADD
00000db5: PUSH1 0x00
00000db7: SWAP1
00000db8: SLOAD
00000db9: SWAP1
00000dba: PUSH2 0x0100
00000dbd: EXP
00000dbe: SWAP1
00000dbf: DIV
00000dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd5: AND
00000dd6: DUP3
00000dd7: PUSH1 0x00
00000dd9: ADD
00000dda: PUSH1 0x00
00000ddc: POP
00000ddd: SLOAD
00000dde: PUSH2 0x0340
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH2 0x0dec
00000de6: JUMP
00000de7: JUMPDEST
00000de8: PUSH2 0x0002
00000deb: JUMP
00000dec: JUMPDEST
00000ded: JUMPDEST
00000dee: DUP3
00000def: DUP1
00000df0: PUSH1 0x01
00000df2: ADD
00000df3: SWAP4
00000df4: POP
00000df5: POP
00000df6: PUSH2 0x0d3c
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH2 0x0e04
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH2 0x0002
00000e03: JUMP
00000e04: JUMPDEST
00000e05: JUMPDEST
00000e06: POP
00000e07: POP
00000e08: POP
00000e09: POP
00000e0a: JUMP
00000e0b: JUMPDEST
00000e0c: PUSH1 0x00
00000e0e: DUP1
00000e0f: PUSH1 0x02
00000e11: ADD
00000e12: PUSH1 0x00
00000e14: SWAP1
00000e15: SLOAD
00000e16: SWAP1
00000e17: PUSH2 0x0100
00000e1a: EXP
00000e1b: SWAP1
00000e1c: DIV
00000e1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e32: AND
00000e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e48: AND
00000e49: CALLER
00000e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5f: AND
00000e60: EQ
00000e61: ISZERO
00000e62: PUSH2 0x0ec2
00000e65: JUMPI
00000e66: PUSH1 0x00
00000e68: PUSH1 0x00
00000e6a: POP
00000e6b: PUSH1 0x00
00000e6d: PUSH1 0x00
00000e6f: DUP2
00000e70: MSTORE
00000e71: PUSH1 0x20
00000e73: ADD
00000e74: SWAP1
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: PUSH1 0x00
00000e7c: KECCAK256
00000e7d: PUSH1 0x00
00000e7f: POP
00000e80: SWAP1
00000e81: POP
00000e82: DUP1
00000e83: PUSH1 0x02
00000e85: ADD
00000e86: PUSH1 0x00
00000e88: SWAP1
00000e89: SLOAD
00000e8a: SWAP1
00000e8b: PUSH2 0x0100
00000e8e: EXP
00000e8f: SWAP1
00000e90: DIV
00000e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea6: AND
00000ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebc: AND
00000ebd: SELFDESTRUCT
00000ebe: PUSH2 0x0ec7
00000ec1: JUMP
00000ec2: JUMPDEST
00000ec3: PUSH2 0x0002
00000ec6: JUMP
00000ec7: JUMPDEST
00000ec8: JUMPDEST
00000ec9: POP
00000eca: JUMP

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: 0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec call_targets: 0x112f38772a7efc596afed3ec99348cc134a0c741 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x112f38772a7efc596afed3ec99348cc134a0c741" ], "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": "0x12065fe0", "selector": "0x12065fe0", "calldata_variants": [ "0x12065fe0", "0x12065fe00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35f46994", "selector": "0x35f46994", "calldata_variants": [ "0x35f46994", "0x35f469940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5dea5e47", "selector": "0x5dea5e47", "calldata_variants": [ "0x5dea5e47", "0x5dea5e470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x690b90a9", "selector": "0x690b90a9", "calldata_variants": [ "0x690b90a9", "0x690b90a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6adcef6b", "selector": "0x6adcef6b", "calldata_variants": [ "0x6adcef6b", "0x6adcef6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6ccb5d02", "selector": "0x6ccb5d02", "calldata_variants": [ "0x6ccb5d02", "0x6ccb5d020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x75724990", "selector": "0x75724990", "calldata_variants": [ "0x75724990", "0x757249900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7f616488", "selector": "0x7f616488", "calldata_variants": [ "0x7f616488", "0x7f6164880000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1089, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [ { "pc": 894, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1173, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1536, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1726, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2034, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2226, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2494, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2995, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3327, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3657, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 1 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec call_targets: 0x112f38772a7efc596afed3ec99348cc134a0c741 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x112f38772a7efc596afed3ec99348cc134a0c741" ], "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": "0x12065fe0", "selector": "0x12065fe0", "calldata_variants": [ "0x12065fe0", "0x12065fe00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35f46994", "selector": "0x35f46994", "calldata_variants": [ "0x35f46994", "0x35f469940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5dea5e47", "selector": "0x5dea5e47", "calldata_variants": [ "0x5dea5e47", "0x5dea5e470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x690b90a9", "selector": "0x690b90a9", "calldata_variants": [ "0x690b90a9", "0x690b90a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6adcef6b", "selector": "0x6adcef6b", "calldata_variants": [ "0x6adcef6b", "0x6adcef6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6ccb5d02", "selector": "0x6ccb5d02", "calldata_variants": [ "0x6ccb5d02", "0x6ccb5d020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x75724990", "selector": "0x75724990", "calldata_variants": [ "0x75724990", "0x757249900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7f616488", "selector": "0x7f616488", "calldata_variants": [ "0x7f616488", "0x7f6164880000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1089, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [ { "pc": 894, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1173, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1536, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1726, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2034, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2226, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2494, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2995, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3327, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3657, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0x28f26c899787f86c54199dee62961bd202901fa249c5f705563fb0221804ae88 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 30, "trace_id": "0x28f26c899787f86c54199dee62961bd202901fa249c5f705563fb0221804ae88", "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": "0x12065fe0", "selector": "0x12065fe0", "calldata_variants": [ "0x12065fe0", "0x12065fe00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35f46994", "selector": "0x35f46994", "calldata_variants": [ "0x35f46994", "0x35f469940000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5dea5e47", "selector": "0x5dea5e47", "calldata_variants": [ "0x5dea5e47", "0x5dea5e470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x690b90a9", "selector": "0x690b90a9", "calldata_variants": [ "0x690b90a9", "0x690b90a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6adcef6b", "selector": "0x6adcef6b", "calldata_variants": [ "0x6adcef6b", "0x6adcef6b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6ccb5d02", "selector": "0x6ccb5d02", "calldata_variants": [ "0x6ccb5d02", "0x6ccb5d020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x75724990", "selector": "0x75724990", "calldata_variants": [ "0x75724990", "0x757249900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7f616488", "selector": "0x7f616488", "calldata_variants": [ "0x7f616488", "0x7f6164880000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 894, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1173, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1536, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1726, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2034, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2226, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2494, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 2995, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3327, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3657, "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: 0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec

call_targets: 0x112f38772a7efc596afed3ec99348cc134a0c741

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x112f38772a7efc596afed3ec99348cc134a0c741"
    ],
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x35f46994",
            "selector": "0x35f46994",
            "calldata_variants": [
                "0x35f46994",
                "0x35f469940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5dea5e47",
            "selector": "0x5dea5e47",
            "calldata_variants": [
                "0x5dea5e47",
                "0x5dea5e470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x690b90a9",
            "selector": "0x690b90a9",
            "calldata_variants": [
                "0x690b90a9",
                "0x690b90a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6adcef6b",
            "selector": "0x6adcef6b",
            "calldata_variants": [
                "0x6adcef6b",
                "0x6adcef6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ccb5d02",
            "selector": "0x6ccb5d02",
            "calldata_variants": [
                "0x6ccb5d02",
                "0x6ccb5d020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75724990",
            "selector": "0x75724990",
            "calldata_variants": [
                "0x75724990",
                "0x757249900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f616488",
            "selector": "0x7f616488",
            "calldata_variants": [
                "0x7f616488",
                "0x7f6164880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1089,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 894,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1173,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1536,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1726,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2226,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2494,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3327,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3657,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}

medium

other

detector

ETH value transfer possible

40

no

view

trace_id: 0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec

call_targets: 0x112f38772a7efc596afed3ec99348cc134a0c741

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x9298d36475ec6b320e2097108e0095e74c2f11b5637e8ac92791e756e0c46cec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x112f38772a7efc596afed3ec99348cc134a0c741"
    ],
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x35f46994",
            "selector": "0x35f46994",
            "calldata_variants": [
                "0x35f46994",
                "0x35f469940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5dea5e47",
            "selector": "0x5dea5e47",
            "calldata_variants": [
                "0x5dea5e47",
                "0x5dea5e470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x690b90a9",
            "selector": "0x690b90a9",
            "calldata_variants": [
                "0x690b90a9",
                "0x690b90a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6adcef6b",
            "selector": "0x6adcef6b",
            "calldata_variants": [
                "0x6adcef6b",
                "0x6adcef6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ccb5d02",
            "selector": "0x6ccb5d02",
            "calldata_variants": [
                "0x6ccb5d02",
                "0x6ccb5d020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75724990",
            "selector": "0x75724990",
            "calldata_variants": [
                "0x75724990",
                "0x757249900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f616488",
            "selector": "0x7f616488",
            "calldata_variants": [
                "0x7f616488",
                "0x7f6164880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1089,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 894,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1173,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1536,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1726,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2226,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2494,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3327,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3657,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}

medium

other

detector

SELFDESTRUCT reachable

45

no

view

trace_id: 0x28f26c899787f86c54199dee62961bd202901fa249c5f705563fb0221804ae88

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 30,
    "trace_id": "0x28f26c899787f86c54199dee62961bd202901fa249c5f705563fb0221804ae88",
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x35f46994",
            "selector": "0x35f46994",
            "calldata_variants": [
                "0x35f46994",
                "0x35f469940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5dea5e47",
            "selector": "0x5dea5e47",
            "calldata_variants": [
                "0x5dea5e47",
                "0x5dea5e470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x690b90a9",
            "selector": "0x690b90a9",
            "calldata_variants": [
                "0x690b90a9",
                "0x690b90a90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6adcef6b",
            "selector": "0x6adcef6b",
            "calldata_variants": [
                "0x6adcef6b",
                "0x6adcef6b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ccb5d02",
            "selector": "0x6ccb5d02",
            "calldata_variants": [
                "0x6ccb5d02",
                "0x6ccb5d020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75724990",
            "selector": "0x75724990",
            "calldata_variants": [
                "0x75724990",
                "0x757249900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7f616488",
            "selector": "0x7f616488",
            "calldata_variants": [
                "0x7f616488",
                "0x7f6164880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "guards_detected": [
        {
            "pc": 894,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1173,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1536,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1726,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2226,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2494,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2995,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3327,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3657,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}