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

Analysis Run

019b3831-b4dd-73cd-a088-4f0361305b7e

complete
Chain ID
1
Address
0x79aeb9d06524ccd702b8e29d4d4e634967e8eb04
Block Number
—
Created
Fri, Dec 19, 2025 7:59 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
55 artifact.fetch complete 1 / 3 3 months ago
56 tool.cast_disasm complete 1 / 3 3 months ago
43051 analysis.bundle complete 1 / 3 2 weeks ago
43052 capability.graph complete 1 / 3 2 weeks ago
43053 detector.run complete 1 / 3 2 weeks ago
43054 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)
3
EXT*/BALANCE
1
Total opcodes
1665
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cc
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x24e26241
00000034: EQ
00000035: PUSH2 0x00ce
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x38aa6b7d
0000003f: EQ
00000040: PUSH2 0x00e1
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x481c6a75
0000004a: EQ
0000004b: PUSH2 0x0108
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x4afdd0e7
00000055: EQ
00000056: PUSH2 0x013f
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x4e4f8289
00000060: EQ
00000061: PUSH2 0x0160
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x51cff8d9
0000006b: EQ
0000006c: PUSH2 0x0181
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x5294010f
00000076: EQ
00000077: PUSH2 0x0194
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x54fac919
00000081: EQ
00000082: PUSH2 0x01b5
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xbbd4e8c9
0000008c: EQ
0000008d: PUSH2 0x01c2
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xbdc68113
00000097: EQ
00000098: PUSH2 0x01e3
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc600e1dc
000000a2: EQ
000000a3: PUSH2 0x020a
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xd0e30db0
000000ad: EQ
000000ae: PUSH2 0x0231
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xd9607482
000000b8: EQ
000000b9: PUSH2 0x023e
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xf8b2cb4f
000000c3: EQ
000000c4: PUSH2 0x025f
000000c7: JUMPI
000000c8: PUSH2 0x00cc
000000cb: JUMP
000000cc: JUMPDEST
000000cd: STOP
000000ce: JUMPDEST
000000cf: PUSH2 0x00df
000000d2: PUSH1 0x04
000000d4: DUP1
000000d5: CALLDATALOAD
000000d6: SWAP1
000000d7: PUSH1 0x20
000000d9: ADD
000000da: POP
000000db: PUSH2 0x06b2
000000de: JUMP
000000df: JUMPDEST
000000e0: STOP
000000e1: JUMPDEST
000000e2: PUSH2 0x00f2
000000e5: PUSH1 0x04
000000e7: DUP1
000000e8: CALLDATALOAD
000000e9: SWAP1
000000ea: PUSH1 0x20
000000ec: ADD
000000ed: POP
000000ee: PUSH2 0x0609
000000f1: JUMP
000000f2: JUMPDEST
000000f3: PUSH1 0x40
000000f5: MLOAD
000000f6: DUP1
000000f7: DUP3
000000f8: DUP2
000000f9: MSTORE
000000fa: PUSH1 0x20
000000fc: ADD
000000fd: SWAP2
000000fe: POP
000000ff: POP
00000100: PUSH1 0x40
00000102: MLOAD
00000103: DUP1
00000104: SWAP2
00000105: SUB
00000106: SWAP1
00000107: RETURN
00000108: JUMPDEST
00000109: PUSH2 0x0113
0000010c: PUSH1 0x04
0000010e: POP
0000010f: PUSH2 0x068c
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH1 0x40
00000116: MLOAD
00000117: DUP1
00000118: DUP3
00000119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000012e: AND
0000012f: DUP2
00000130: MSTORE
00000131: PUSH1 0x20
00000133: ADD
00000134: SWAP2
00000135: POP
00000136: POP
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: DUP1
0000013b: SWAP2
0000013c: SUB
0000013d: SWAP1
0000013e: RETURN
0000013f: JUMPDEST
00000140: PUSH2 0x014a
00000143: PUSH1 0x04
00000145: POP
00000146: PUSH2 0x0cc2
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH1 0x40
0000014d: MLOAD
0000014e: DUP1
0000014f: DUP3
00000150: DUP2
00000151: MSTORE
00000152: PUSH1 0x20
00000154: ADD
00000155: SWAP2
00000156: POP
00000157: POP
00000158: PUSH1 0x40
0000015a: MLOAD
0000015b: DUP1
0000015c: SWAP2
0000015d: SUB
0000015e: SWAP1
0000015f: RETURN
00000160: JUMPDEST
00000161: PUSH2 0x016b
00000164: PUSH1 0x04
00000166: POP
00000167: PUSH2 0x0ccb
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: DUP1
00000170: DUP3
00000171: DUP2
00000172: MSTORE
00000173: PUSH1 0x20
00000175: ADD
00000176: SWAP2
00000177: POP
00000178: POP
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: DUP1
0000017d: SWAP2
0000017e: SUB
0000017f: SWAP1
00000180: RETURN
00000181: JUMPDEST
00000182: PUSH2 0x0192
00000185: PUSH1 0x04
00000187: DUP1
00000188: CALLDATALOAD
00000189: SWAP1
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: POP
0000018e: PUSH2 0x0462
00000191: JUMP
00000192: JUMPDEST
00000193: STOP
00000194: JUMPDEST
00000195: PUSH2 0x019f
00000198: PUSH1 0x04
0000019a: POP
0000019b: PUSH2 0x0683
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: DUP3
000001a5: DUP2
000001a6: MSTORE
000001a7: PUSH1 0x20
000001a9: ADD
000001aa: SWAP2
000001ab: POP
000001ac: POP
000001ad: PUSH1 0x40
000001af: MLOAD
000001b0: DUP1
000001b1: SWAP2
000001b2: SUB
000001b3: SWAP1
000001b4: RETURN
000001b5: JUMPDEST
000001b6: PUSH2 0x01c0
000001b9: PUSH1 0x04
000001bb: POP
000001bc: PUSH2 0x0996
000001bf: JUMP
000001c0: JUMPDEST
000001c1: STOP
000001c2: JUMPDEST
000001c3: PUSH2 0x01cd
000001c6: PUSH1 0x04
000001c8: POP
000001c9: PUSH2 0x0cdd
000001cc: JUMP
000001cd: JUMPDEST
000001ce: PUSH1 0x40
000001d0: MLOAD
000001d1: DUP1
000001d2: DUP3
000001d3: DUP2
000001d4: MSTORE
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: SWAP2
000001d9: POP
000001da: POP
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: DUP1
000001df: SWAP2
000001e0: SUB
000001e1: SWAP1
000001e2: RETURN
000001e3: JUMPDEST
000001e4: PUSH2 0x01f4
000001e7: PUSH1 0x04
000001e9: DUP1
000001ea: CALLDATALOAD
000001eb: SWAP1
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: POP
000001f0: PUSH2 0x0c4a
000001f3: JUMP
000001f4: JUMPDEST
000001f5: PUSH1 0x40
000001f7: MLOAD
000001f8: DUP1
000001f9: DUP3
000001fa: DUP2
000001fb: MSTORE
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: SWAP2
00000200: POP
00000201: POP
00000202: PUSH1 0x40
00000204: MLOAD
00000205: DUP1
00000206: SWAP2
00000207: SUB
00000208: SWAP1
00000209: RETURN
0000020a: JUMPDEST
0000020b: PUSH2 0x021b
0000020e: PUSH1 0x04
00000210: DUP1
00000211: CALLDATALOAD
00000212: SWAP1
00000213: PUSH1 0x20
00000215: ADD
00000216: POP
00000217: PUSH2 0x0bd2
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: DUP1
00000220: DUP3
00000221: DUP2
00000222: MSTORE
00000223: PUSH1 0x20
00000225: ADD
00000226: SWAP2
00000227: POP
00000228: POP
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: DUP1
0000022d: SWAP2
0000022e: SUB
0000022f: SWAP1
00000230: RETURN
00000231: JUMPDEST
00000232: PUSH2 0x023c
00000235: PUSH1 0x04
00000237: POP
00000238: PUSH2 0x02fe
0000023b: JUMP
0000023c: JUMPDEST
0000023d: STOP
0000023e: JUMPDEST
0000023f: PUSH2 0x0249
00000242: PUSH1 0x04
00000244: POP
00000245: PUSH2 0x0cd4
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: DUP1
0000024e: DUP3
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP2
00000255: POP
00000256: POP
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: DUP1
0000025b: SWAP2
0000025c: SUB
0000025d: SWAP1
0000025e: RETURN
0000025f: JUMPDEST
00000260: PUSH2 0x0270
00000263: PUSH1 0x04
00000265: DUP1
00000266: CALLDATALOAD
00000267: SWAP1
00000268: PUSH1 0x20
0000026a: ADD
0000026b: POP
0000026c: PUSH2 0x0286
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: MLOAD
00000274: DUP1
00000275: DUP3
00000276: DUP2
00000277: MSTORE
00000278: PUSH1 0x20
0000027a: ADD
0000027b: SWAP2
0000027c: POP
0000027d: POP
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: DUP1
00000282: SWAP2
00000283: SUB
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: PUSH1 0x00
00000289: DUP2
0000028a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029f: AND
000002a0: CALLER
000002a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002b6: AND
000002b7: EQ
000002b8: ISZERO
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH2 0x02f9
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x07
000002c5: PUSH1 0x00
000002c7: POP
000002c8: PUSH1 0x00
000002ca: DUP4
000002cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e0: AND
000002e1: DUP2
000002e2: MSTORE
000002e3: PUSH1 0x20
000002e5: ADD
000002e6: SWAP1
000002e7: DUP2
000002e8: MSTORE
000002e9: PUSH1 0x20
000002eb: ADD
000002ec: PUSH1 0x00
000002ee: KECCAK256
000002ef: PUSH1 0x00
000002f1: POP
000002f2: SLOAD
000002f3: SWAP1
000002f4: POP
000002f5: PUSH2 0x02f9
000002f8: JUMP
000002f9: JUMPDEST
000002fa: SWAP2
000002fb: SWAP1
000002fc: POP
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x04
00000301: PUSH1 0x00
00000303: DUP2
00000304: DUP2
00000305: POP
00000306: SLOAD
00000307: PUSH1 0x01
00000309: ADD
0000030a: SWAP2
0000030b: SWAP1
0000030c: POP
0000030d: DUP2
0000030e: SWAP1
0000030f: SSTORE
00000310: POP
00000311: TIMESTAMP
00000312: PUSH1 0x02
00000314: PUSH1 0x00
00000316: POP
00000317: DUP2
00000318: SWAP1
00000319: SSTORE
0000031a: POP
0000031b: PUSH1 0x02
0000031d: PUSH1 0x00
0000031f: POP
00000320: SLOAD
00000321: PUSH1 0x08
00000323: PUSH1 0x00
00000325: POP
00000326: PUSH1 0x00
00000328: CALLER
00000329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000033e: AND
0000033f: DUP2
00000340: MSTORE
00000341: PUSH1 0x20
00000343: ADD
00000344: SWAP1
00000345: DUP2
00000346: MSTORE
00000347: PUSH1 0x20
00000349: ADD
0000034a: PUSH1 0x00
0000034c: KECCAK256
0000034d: PUSH1 0x00
0000034f: POP
00000350: DUP2
00000351: SWAP1
00000352: SSTORE
00000353: POP
00000354: CALLER
00000355: PUSH1 0x0b
00000357: PUSH1 0x00
00000359: POP
0000035a: PUSH1 0x00
0000035c: PUSH1 0x04
0000035e: PUSH1 0x00
00000360: POP
00000361: SLOAD
00000362: DUP2
00000363: MSTORE
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP1
00000368: DUP2
00000369: MSTORE
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: PUSH1 0x00
0000036f: KECCAK256
00000370: PUSH1 0x00
00000372: PUSH2 0x0100
00000375: EXP
00000376: DUP2
00000377: SLOAD
00000378: DUP2
00000379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038e: MUL
0000038f: NOT
00000390: AND
00000391: SWAP1
00000392: DUP4
00000393: MUL
00000394: OR
00000395: SWAP1
00000396: SSTORE
00000397: POP
00000398: CALLVALUE
00000399: PUSH1 0x07
0000039b: PUSH1 0x00
0000039d: POP
0000039e: PUSH1 0x00
000003a0: CALLER
000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b6: AND
000003b7: DUP2
000003b8: MSTORE
000003b9: PUSH1 0x20
000003bb: ADD
000003bc: SWAP1
000003bd: DUP2
000003be: MSTORE
000003bf: PUSH1 0x20
000003c1: ADD
000003c2: PUSH1 0x00
000003c4: KECCAK256
000003c5: PUSH1 0x00
000003c7: DUP3
000003c8: DUP3
000003c9: DUP3
000003ca: POP
000003cb: SLOAD
000003cc: ADD
000003cd: SWAP3
000003ce: POP
000003cf: POP
000003d0: DUP2
000003d1: SWAP1
000003d2: SSTORE
000003d3: POP
000003d4: PUSH1 0x64
000003d6: PUSH1 0x01
000003d8: PUSH1 0x00
000003da: POP
000003db: SLOAD
000003dc: CALLVALUE
000003dd: MUL
000003de: DIV
000003df: PUSH1 0x09
000003e1: PUSH1 0x00
000003e3: POP
000003e4: PUSH1 0x00
000003e6: CALLER
000003e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fc: AND
000003fd: DUP2
000003fe: MSTORE
000003ff: PUSH1 0x20
00000401: ADD
00000402: SWAP1
00000403: DUP2
00000404: MSTORE
00000405: PUSH1 0x20
00000407: ADD
00000408: PUSH1 0x00
0000040a: KECCAK256
0000040b: PUSH1 0x00
0000040d: DUP3
0000040e: DUP3
0000040f: DUP3
00000410: POP
00000411: SLOAD
00000412: ADD
00000413: SWAP3
00000414: POP
00000415: POP
00000416: DUP2
00000417: SWAP1
00000418: SSTORE
00000419: POP
0000041a: PUSH1 0x64
0000041c: PUSH1 0x01
0000041e: PUSH1 0x00
00000420: POP
00000421: SLOAD
00000422: CALLVALUE
00000423: MUL
00000424: DIV
00000425: PUSH1 0x0a
00000427: PUSH1 0x00
00000429: POP
0000042a: PUSH1 0x00
0000042c: CALLER
0000042d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000442: AND
00000443: DUP2
00000444: MSTORE
00000445: PUSH1 0x20
00000447: ADD
00000448: SWAP1
00000449: DUP2
0000044a: MSTORE
0000044b: PUSH1 0x20
0000044d: ADD
0000044e: PUSH1 0x00
00000450: KECCAK256
00000451: PUSH1 0x00
00000453: DUP3
00000454: DUP3
00000455: DUP3
00000456: POP
00000457: SLOAD
00000458: ADD
00000459: SWAP3
0000045a: POP
0000045b: POP
0000045c: DUP2
0000045d: SWAP1
0000045e: SSTORE
0000045f: POP
00000460: JUMPDEST
00000461: JUMP
00000462: JUMPDEST
00000463: DUP1
00000464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000479: AND
0000047a: CALLER
0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000490: AND
00000491: EQ
00000492: ISZERO
00000493: ISZERO
00000494: PUSH2 0x049c
00000497: JUMPI
00000498: PUSH2 0x0606
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH1 0x03
0000049f: PUSH1 0x00
000004a1: POP
000004a2: SLOAD
000004a3: PUSH1 0x08
000004a5: PUSH1 0x00
000004a7: POP
000004a8: PUSH1 0x00
000004aa: DUP4
000004ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c0: AND
000004c1: DUP2
000004c2: MSTORE
000004c3: PUSH1 0x20
000004c5: ADD
000004c6: SWAP1
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: PUSH1 0x00
000004ce: KECCAK256
000004cf: PUSH1 0x00
000004d1: POP
000004d2: SLOAD
000004d3: TIMESTAMP
000004d4: SUB
000004d5: LT
000004d6: ISZERO
000004d7: ISZERO
000004d8: PUSH2 0x0605
000004db: JUMPI
000004dc: CALLER
000004dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f2: AND
000004f3: PUSH1 0x00
000004f5: PUSH1 0x0a
000004f7: PUSH1 0x00
000004f9: POP
000004fa: PUSH1 0x00
000004fc: DUP5
000004fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000512: AND
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x20
00000517: ADD
00000518: SWAP1
00000519: DUP2
0000051a: MSTORE
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: PUSH1 0x00
00000520: KECCAK256
00000521: PUSH1 0x00
00000523: POP
00000524: SLOAD
00000525: PUSH1 0x07
00000527: PUSH1 0x00
00000529: POP
0000052a: PUSH1 0x00
0000052c: DUP6
0000052d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000542: AND
00000543: DUP2
00000544: MSTORE
00000545: PUSH1 0x20
00000547: ADD
00000548: SWAP1
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: PUSH1 0x00
00000550: KECCAK256
00000551: PUSH1 0x00
00000553: POP
00000554: SLOAD
00000555: ADD
00000556: PUSH1 0x40
00000558: MLOAD
00000559: DUP1
0000055a: SWAP1
0000055b: POP
0000055c: PUSH1 0x00
0000055e: PUSH1 0x40
00000560: MLOAD
00000561: DUP1
00000562: DUP4
00000563: SUB
00000564: DUP2
00000565: DUP6
00000566: DUP9
00000567: DUP9
00000568: CALL
00000569: SWAP4
0000056a: POP
0000056b: POP
0000056c: POP
0000056d: POP
0000056e: PUSH1 0x00
00000570: PUSH1 0x00
00000572: PUSH2 0x0100
00000575: EXP
00000576: DUP2
00000577: SLOAD
00000578: DUP2
00000579: PUSH1 0xff
0000057b: MUL
0000057c: NOT
0000057d: AND
0000057e: SWAP1
0000057f: DUP4
00000580: MUL
00000581: OR
00000582: SWAP1
00000583: SSTORE
00000584: POP
00000585: PUSH1 0x00
00000587: PUSH1 0x00
00000589: SWAP1
0000058a: SLOAD
0000058b: SWAP1
0000058c: PUSH2 0x0100
0000058f: EXP
00000590: SWAP1
00000591: DIV
00000592: PUSH1 0xff
00000594: AND
00000595: ISZERO
00000596: PUSH2 0x0604
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: PUSH1 0x0a
0000059e: PUSH1 0x00
000005a0: POP
000005a1: PUSH1 0x00
000005a3: DUP4
000005a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b9: AND
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP1
000005c0: DUP2
000005c1: MSTORE
000005c2: PUSH1 0x20
000005c4: ADD
000005c5: PUSH1 0x00
000005c7: KECCAK256
000005c8: PUSH1 0x00
000005ca: POP
000005cb: DUP2
000005cc: SWAP1
000005cd: SSTORE
000005ce: POP
000005cf: PUSH1 0x00
000005d1: PUSH1 0x07
000005d3: PUSH1 0x00
000005d5: POP
000005d6: PUSH1 0x00
000005d8: DUP4
000005d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ee: AND
000005ef: DUP2
000005f0: MSTORE
000005f1: PUSH1 0x20
000005f3: ADD
000005f4: SWAP1
000005f5: DUP2
000005f6: MSTORE
000005f7: PUSH1 0x20
000005f9: ADD
000005fa: PUSH1 0x00
000005fc: KECCAK256
000005fd: PUSH1 0x00
000005ff: POP
00000600: DUP2
00000601: SWAP1
00000602: SSTORE
00000603: POP
00000604: JUMPDEST
00000605: JUMPDEST
00000606: JUMPDEST
00000607: POP
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH1 0x00
0000060c: DUP2
0000060d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000622: AND
00000623: CALLER
00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000639: AND
0000063a: EQ
0000063b: ISZERO
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH2 0x067e
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH1 0x08
00000648: PUSH1 0x00
0000064a: POP
0000064b: PUSH1 0x00
0000064d: DUP4
0000064e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000663: AND
00000664: DUP2
00000665: MSTORE
00000666: PUSH1 0x20
00000668: ADD
00000669: SWAP1
0000066a: DUP2
0000066b: MSTORE
0000066c: PUSH1 0x20
0000066e: ADD
0000066f: PUSH1 0x00
00000671: KECCAK256
00000672: PUSH1 0x00
00000674: POP
00000675: SLOAD
00000676: TIMESTAMP
00000677: SUB
00000678: SWAP1
00000679: POP
0000067a: PUSH2 0x067e
0000067d: JUMP
0000067e: JUMPDEST
0000067f: SWAP2
00000680: SWAP1
00000681: POP
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH1 0x05
00000686: PUSH1 0x00
00000688: POP
00000689: SLOAD
0000068a: DUP2
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH1 0x06
0000068f: PUSH1 0x00
00000691: SWAP1
00000692: SLOAD
00000693: SWAP1
00000694: PUSH2 0x0100
00000697: EXP
00000698: SWAP1
00000699: DIV
0000069a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006af: AND
000006b0: DUP2
000006b1: JUMP
000006b2: JUMPDEST
000006b3: DUP1
000006b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c9: AND
000006ca: CALLER
000006cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e0: AND
000006e1: EQ
000006e2: ISZERO
000006e3: ISZERO
000006e4: PUSH2 0x06ec
000006e7: JUMPI
000006e8: PUSH2 0x0993
000006eb: JUMP
000006ec: JUMPDEST
000006ed: PUSH1 0x03
000006ef: PUSH1 0x00
000006f1: POP
000006f2: SLOAD
000006f3: PUSH1 0x08
000006f5: PUSH1 0x00
000006f7: POP
000006f8: PUSH1 0x00
000006fa: DUP4
000006fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000710: AND
00000711: DUP2
00000712: MSTORE
00000713: PUSH1 0x20
00000715: ADD
00000716: SWAP1
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x20
0000071b: ADD
0000071c: PUSH1 0x00
0000071e: KECCAK256
0000071f: PUSH1 0x00
00000721: POP
00000722: SLOAD
00000723: TIMESTAMP
00000724: SUB
00000725: LT
00000726: ISZERO
00000727: ISZERO
00000728: PUSH2 0x0992
0000072b: JUMPI
0000072c: PUSH1 0x0a
0000072e: PUSH1 0x00
00000730: POP
00000731: PUSH1 0x00
00000733: DUP3
00000734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000749: AND
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x20
0000074e: ADD
0000074f: SWAP1
00000750: DUP2
00000751: MSTORE
00000752: PUSH1 0x20
00000754: ADD
00000755: PUSH1 0x00
00000757: KECCAK256
00000758: PUSH1 0x00
0000075a: POP
0000075b: SLOAD
0000075c: ADDRESS
0000075d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000772: AND
00000773: BALANCE
00000774: GT
00000775: ISZERO
00000776: PUSH2 0x0991
00000779: JUMPI
0000077a: CALLER
0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000790: AND
00000791: PUSH1 0x00
00000793: PUSH1 0x0a
00000795: PUSH1 0x00
00000797: POP
00000798: PUSH1 0x00
0000079a: DUP5
0000079b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b0: AND
000007b1: DUP2
000007b2: MSTORE
000007b3: PUSH1 0x20
000007b5: ADD
000007b6: SWAP1
000007b7: DUP2
000007b8: MSTORE
000007b9: PUSH1 0x20
000007bb: ADD
000007bc: PUSH1 0x00
000007be: KECCAK256
000007bf: PUSH1 0x00
000007c1: POP
000007c2: SLOAD
000007c3: PUSH1 0x40
000007c5: MLOAD
000007c6: DUP1
000007c7: SWAP1
000007c8: POP
000007c9: PUSH1 0x00
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: DUP1
000007cf: DUP4
000007d0: SUB
000007d1: DUP2
000007d2: DUP6
000007d3: DUP9
000007d4: DUP9
000007d5: CALL
000007d6: SWAP4
000007d7: POP
000007d8: POP
000007d9: POP
000007da: POP
000007db: PUSH1 0x00
000007dd: PUSH1 0x00
000007df: PUSH2 0x0100
000007e2: EXP
000007e3: DUP2
000007e4: SLOAD
000007e5: DUP2
000007e6: PUSH1 0xff
000007e8: MUL
000007e9: NOT
000007ea: AND
000007eb: SWAP1
000007ec: DUP4
000007ed: MUL
000007ee: OR
000007ef: SWAP1
000007f0: SSTORE
000007f1: POP
000007f2: PUSH1 0x00
000007f4: PUSH1 0x00
000007f6: SWAP1
000007f7: SLOAD
000007f8: SWAP1
000007f9: PUSH2 0x0100
000007fc: EXP
000007fd: SWAP1
000007fe: DIV
000007ff: PUSH1 0xff
00000801: AND
00000802: ISZERO
00000803: PUSH2 0x0990
00000806: JUMPI
00000807: TIMESTAMP
00000808: PUSH1 0x08
0000080a: PUSH1 0x00
0000080c: POP
0000080d: PUSH1 0x00
0000080f: CALLER
00000810: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000825: AND
00000826: DUP2
00000827: MSTORE
00000828: PUSH1 0x20
0000082a: ADD
0000082b: SWAP1
0000082c: DUP2
0000082d: MSTORE
0000082e: PUSH1 0x20
00000830: ADD
00000831: PUSH1 0x00
00000833: KECCAK256
00000834: PUSH1 0x00
00000836: POP
00000837: DUP2
00000838: SWAP1
00000839: SSTORE
0000083a: POP
0000083b: PUSH1 0x0a
0000083d: PUSH1 0x00
0000083f: POP
00000840: PUSH1 0x00
00000842: DUP3
00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000858: AND
00000859: DUP2
0000085a: MSTORE
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP1
0000085f: DUP2
00000860: MSTORE
00000861: PUSH1 0x20
00000863: ADD
00000864: PUSH1 0x00
00000866: KECCAK256
00000867: PUSH1 0x00
00000869: POP
0000086a: SLOAD
0000086b: PUSH1 0x0a
0000086d: PUSH1 0x00
0000086f: POP
00000870: PUSH1 0x00
00000872: CALLER
00000873: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000888: AND
00000889: DUP2
0000088a: MSTORE
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: SWAP1
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: PUSH1 0x00
00000896: KECCAK256
00000897: PUSH1 0x00
00000899: DUP3
0000089a: DUP3
0000089b: DUP3
0000089c: POP
0000089d: SLOAD
0000089e: SUB
0000089f: SWAP3
000008a0: POP
000008a1: POP
000008a2: DUP2
000008a3: SWAP1
000008a4: SSTORE
000008a5: POP
000008a6: PUSH1 0x64
000008a8: PUSH1 0x01
000008aa: PUSH1 0x00
000008ac: POP
000008ad: SLOAD
000008ae: PUSH1 0x07
000008b0: PUSH1 0x00
000008b2: POP
000008b3: PUSH1 0x00
000008b5: CALLER
000008b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cb: AND
000008cc: DUP2
000008cd: MSTORE
000008ce: PUSH1 0x20
000008d0: ADD
000008d1: SWAP1
000008d2: DUP2
000008d3: MSTORE
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: PUSH1 0x00
000008d9: KECCAK256
000008da: PUSH1 0x00
000008dc: POP
000008dd: SLOAD
000008de: MUL
000008df: DIV
000008e0: PUSH1 0x0a
000008e2: PUSH1 0x00
000008e4: POP
000008e5: PUSH1 0x00
000008e7: CALLER
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x20
00000902: ADD
00000903: SWAP1
00000904: DUP2
00000905: MSTORE
00000906: PUSH1 0x20
00000908: ADD
00000909: PUSH1 0x00
0000090b: KECCAK256
0000090c: PUSH1 0x00
0000090e: DUP3
0000090f: DUP3
00000910: DUP3
00000911: POP
00000912: SLOAD
00000913: ADD
00000914: SWAP3
00000915: POP
00000916: POP
00000917: DUP2
00000918: SWAP1
00000919: SSTORE
0000091a: POP
0000091b: PUSH1 0x64
0000091d: PUSH1 0x01
0000091f: PUSH1 0x00
00000921: POP
00000922: SLOAD
00000923: PUSH1 0x07
00000925: PUSH1 0x00
00000927: POP
00000928: PUSH1 0x00
0000092a: CALLER
0000092b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000940: AND
00000941: DUP2
00000942: MSTORE
00000943: PUSH1 0x20
00000945: ADD
00000946: SWAP1
00000947: DUP2
00000948: MSTORE
00000949: PUSH1 0x20
0000094b: ADD
0000094c: PUSH1 0x00
0000094e: KECCAK256
0000094f: PUSH1 0x00
00000951: POP
00000952: SLOAD
00000953: MUL
00000954: DIV
00000955: PUSH1 0x09
00000957: PUSH1 0x00
00000959: POP
0000095a: PUSH1 0x00
0000095c: CALLER
0000095d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000972: AND
00000973: DUP2
00000974: MSTORE
00000975: PUSH1 0x20
00000977: ADD
00000978: SWAP1
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: ADD
0000097e: PUSH1 0x00
00000980: KECCAK256
00000981: PUSH1 0x00
00000983: DUP3
00000984: DUP3
00000985: DUP3
00000986: POP
00000987: SLOAD
00000988: ADD
00000989: SWAP3
0000098a: POP
0000098b: POP
0000098c: DUP2
0000098d: SWAP1
0000098e: SSTORE
0000098f: POP
00000990: JUMPDEST
00000991: JUMPDEST
00000992: JUMPDEST
00000993: JUMPDEST
00000994: POP
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH1 0x00
00000999: PUSH1 0x06
0000099b: PUSH1 0x00
0000099d: SWAP1
0000099e: SLOAD
0000099f: SWAP1
000009a0: PUSH2 0x0100
000009a3: EXP
000009a4: SWAP1
000009a5: DIV
000009a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bb: AND
000009bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d1: AND
000009d2: CALLER
000009d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e8: AND
000009e9: EQ
000009ea: ISZERO
000009eb: ISZERO
000009ec: PUSH2 0x09f4
000009ef: JUMPI
000009f0: PUSH2 0x0bcf
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH1 0x05
000009f7: PUSH1 0x00
000009f9: POP
000009fa: SLOAD
000009fb: PUSH1 0x02
000009fd: PUSH1 0x00
000009ff: POP
00000a00: SLOAD
00000a01: TIMESTAMP
00000a02: SUB
00000a03: LT
00000a04: ISZERO
00000a05: ISZERO
00000a06: PUSH2 0x0bce
00000a09: JUMPI
00000a0a: PUSH1 0x00
00000a0c: SWAP1
00000a0d: POP
00000a0e: JUMPDEST
00000a0f: PUSH1 0x04
00000a11: PUSH1 0x00
00000a13: POP
00000a14: SLOAD
00000a15: DUP2
00000a16: LT
00000a17: ISZERO
00000a18: PUSH2 0x0bcd
00000a1b: JUMPI
00000a1c: PUSH1 0x0b
00000a1e: PUSH1 0x00
00000a20: POP
00000a21: PUSH1 0x00
00000a23: DUP3
00000a24: DUP2
00000a25: MSTORE
00000a26: PUSH1 0x20
00000a28: ADD
00000a29: SWAP1
00000a2a: DUP2
00000a2b: MSTORE
00000a2c: PUSH1 0x20
00000a2e: ADD
00000a2f: PUSH1 0x00
00000a31: KECCAK256
00000a32: PUSH1 0x00
00000a34: SWAP1
00000a35: SLOAD
00000a36: SWAP1
00000a37: PUSH2 0x0100
00000a3a: EXP
00000a3b: SWAP1
00000a3c: DIV
00000a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a52: AND
00000a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a68: AND
00000a69: PUSH1 0x00
00000a6b: PUSH1 0x07
00000a6d: PUSH1 0x00
00000a6f: POP
00000a70: PUSH1 0x00
00000a72: PUSH1 0x0b
00000a74: PUSH1 0x00
00000a76: POP
00000a77: PUSH1 0x00
00000a79: DUP7
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x20
00000a7e: ADD
00000a7f: SWAP1
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x20
00000a84: ADD
00000a85: PUSH1 0x00
00000a87: KECCAK256
00000a88: PUSH1 0x00
00000a8a: SWAP1
00000a8b: SLOAD
00000a8c: SWAP1
00000a8d: PUSH2 0x0100
00000a90: EXP
00000a91: SWAP1
00000a92: DIV
00000a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa8: AND
00000aa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abe: AND
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: ADD
00000ac4: SWAP1
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: PUSH1 0x00
00000acc: KECCAK256
00000acd: PUSH1 0x00
00000acf: POP
00000ad0: SLOAD
00000ad1: PUSH1 0x40
00000ad3: MLOAD
00000ad4: DUP1
00000ad5: SWAP1
00000ad6: POP
00000ad7: PUSH1 0x00
00000ad9: PUSH1 0x40
00000adb: MLOAD
00000adc: DUP1
00000add: DUP4
00000ade: SUB
00000adf: DUP2
00000ae0: DUP6
00000ae1: DUP9
00000ae2: DUP9
00000ae3: CALL
00000ae4: SWAP4
00000ae5: POP
00000ae6: POP
00000ae7: POP
00000ae8: POP
00000ae9: POP
00000aea: PUSH1 0x00
00000aec: PUSH1 0x07
00000aee: PUSH1 0x00
00000af0: POP
00000af1: PUSH1 0x00
00000af3: PUSH1 0x0b
00000af5: PUSH1 0x00
00000af7: POP
00000af8: PUSH1 0x00
00000afa: DUP6
00000afb: DUP2
00000afc: MSTORE
00000afd: PUSH1 0x20
00000aff: ADD
00000b00: SWAP1
00000b01: DUP2
00000b02: MSTORE
00000b03: PUSH1 0x20
00000b05: ADD
00000b06: PUSH1 0x00
00000b08: KECCAK256
00000b09: PUSH1 0x00
00000b0b: SWAP1
00000b0c: SLOAD
00000b0d: SWAP1
00000b0e: PUSH2 0x0100
00000b11: EXP
00000b12: SWAP1
00000b13: DIV
00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b29: AND
00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3f: AND
00000b40: DUP2
00000b41: MSTORE
00000b42: PUSH1 0x20
00000b44: ADD
00000b45: SWAP1
00000b46: DUP2
00000b47: MSTORE
00000b48: PUSH1 0x20
00000b4a: ADD
00000b4b: PUSH1 0x00
00000b4d: KECCAK256
00000b4e: PUSH1 0x00
00000b50: POP
00000b51: DUP2
00000b52: SWAP1
00000b53: SSTORE
00000b54: POP
00000b55: PUSH1 0x00
00000b57: PUSH1 0x0a
00000b59: PUSH1 0x00
00000b5b: POP
00000b5c: PUSH1 0x00
00000b5e: PUSH1 0x0b
00000b60: PUSH1 0x00
00000b62: POP
00000b63: PUSH1 0x00
00000b65: DUP6
00000b66: DUP2
00000b67: MSTORE
00000b68: PUSH1 0x20
00000b6a: ADD
00000b6b: SWAP1
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: PUSH1 0x00
00000b73: KECCAK256
00000b74: PUSH1 0x00
00000b76: SWAP1
00000b77: SLOAD
00000b78: SWAP1
00000b79: PUSH2 0x0100
00000b7c: EXP
00000b7d: SWAP1
00000b7e: DIV
00000b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b94: AND
00000b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000baa: AND
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x20
00000baf: ADD
00000bb0: SWAP1
00000bb1: DUP2
00000bb2: MSTORE
00000bb3: PUSH1 0x20
00000bb5: ADD
00000bb6: PUSH1 0x00
00000bb8: KECCAK256
00000bb9: PUSH1 0x00
00000bbb: POP
00000bbc: DUP2
00000bbd: SWAP1
00000bbe: SSTORE
00000bbf: POP
00000bc0: JUMPDEST
00000bc1: DUP1
00000bc2: PUSH1 0x01
00000bc4: ADD
00000bc5: SWAP1
00000bc6: POP
00000bc7: DUP1
00000bc8: POP
00000bc9: PUSH2 0x0a0e
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: JUMPDEST
00000bcf: JUMPDEST
00000bd0: POP
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x00
00000bd5: DUP2
00000bd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000beb: AND
00000bec: CALLER
00000bed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c02: AND
00000c03: EQ
00000c04: ISZERO
00000c05: ISZERO
00000c06: PUSH2 0x0c0e
00000c09: JUMPI
00000c0a: PUSH2 0x0c45
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x0a
00000c11: PUSH1 0x00
00000c13: POP
00000c14: PUSH1 0x00
00000c16: DUP4
00000c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2c: AND
00000c2d: DUP2
00000c2e: MSTORE
00000c2f: PUSH1 0x20
00000c31: ADD
00000c32: SWAP1
00000c33: DUP2
00000c34: MSTORE
00000c35: PUSH1 0x20
00000c37: ADD
00000c38: PUSH1 0x00
00000c3a: KECCAK256
00000c3b: PUSH1 0x00
00000c3d: POP
00000c3e: SLOAD
00000c3f: SWAP1
00000c40: POP
00000c41: PUSH2 0x0c45
00000c44: JUMP
00000c45: JUMPDEST
00000c46: SWAP2
00000c47: SWAP1
00000c48: POP
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: PUSH1 0x00
00000c4d: DUP2
00000c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c63: AND
00000c64: CALLER
00000c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7a: AND
00000c7b: EQ
00000c7c: ISZERO
00000c7d: ISZERO
00000c7e: PUSH2 0x0c86
00000c81: JUMPI
00000c82: PUSH2 0x0cbd
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x09
00000c89: PUSH1 0x00
00000c8b: POP
00000c8c: PUSH1 0x00
00000c8e: DUP4
00000c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca4: AND
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x20
00000ca9: ADD
00000caa: SWAP1
00000cab: DUP2
00000cac: MSTORE
00000cad: PUSH1 0x20
00000caf: ADD
00000cb0: PUSH1 0x00
00000cb2: KECCAK256
00000cb3: PUSH1 0x00
00000cb5: POP
00000cb6: SLOAD
00000cb7: SWAP1
00000cb8: POP
00000cb9: PUSH2 0x0cbd
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: SWAP2
00000cbf: SWAP1
00000cc0: POP
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x01
00000cc5: PUSH1 0x00
00000cc7: POP
00000cc8: SLOAD
00000cc9: DUP2
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x02
00000cce: PUSH1 0x00
00000cd0: POP
00000cd1: SLOAD
00000cd2: DUP2
00000cd3: JUMP
00000cd4: JUMPDEST
00000cd5: PUSH1 0x03
00000cd7: PUSH1 0x00
00000cd9: POP
00000cda: SLOAD
00000cdb: DUP2
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x04
00000ce0: PUSH1 0x00
00000ce2: POP
00000ce3: SLOAD
00000ce4: DUP2
00000ce5: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xec029ddad48e0edf2318e6852025c4be17135128b99e8f7225e9c65664e7db14
call_targets: 0x79aeb9d06524ccd702b8e29d4d4e634967e8eb04
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xec029ddad48e0edf2318e6852025c4be17135128b99e8f7225e9c65664e7db14",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x79aeb9d06524ccd702b8e29d4d4e634967e8eb04"
    ],
    "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": "0x24e26241",
            "selector": "0x24e26241",
            "calldata_variants": [
                "0x24e26241",
                "0x24e262410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38aa6b7d",
            "selector": "0x38aa6b7d",
            "calldata_variants": [
                "0x38aa6b7d",
                "0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e4f8289",
            "selector": "0x4e4f8289",
            "calldata_variants": [
                "0x4e4f8289",
                "0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5294010f",
            "selector": "0x5294010f",
            "calldata_variants": [
                "0x5294010f",
                "0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fac919",
            "selector": "0x54fac919",
            "calldata_variants": [
                "0x54fac919",
                "0x54fac9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1384,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2005,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2787,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1146,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1571,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1738,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2514,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3052,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3172,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xec029ddad48e0edf2318e6852025c4be17135128b99e8f7225e9c65664e7db14
call_targets: 0x79aeb9d06524ccd702b8e29d4d4e634967e8eb04
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xec029ddad48e0edf2318e6852025c4be17135128b99e8f7225e9c65664e7db14",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x79aeb9d06524ccd702b8e29d4d4e634967e8eb04"
    ],
    "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": "0x24e26241",
            "selector": "0x24e26241",
            "calldata_variants": [
                "0x24e26241",
                "0x24e262410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38aa6b7d",
            "selector": "0x38aa6b7d",
            "calldata_variants": [
                "0x38aa6b7d",
                "0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e4f8289",
            "selector": "0x4e4f8289",
            "calldata_variants": [
                "0x4e4f8289",
                "0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5294010f",
            "selector": "0x5294010f",
            "calldata_variants": [
                "0x5294010f",
                "0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fac919",
            "selector": "0x54fac919",
            "calldata_variants": [
                "0x54fac919",
                "0x54fac9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1384,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2005,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2787,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1146,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1571,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1738,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2514,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3052,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3172,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}