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

Analysis Run

019b3836-3756-7323-968f-f518cd076498

complete
Chain ID
1
Address
0x33c058a9fd116fc50bbc318e7fb90297541f50b4
Block Number
—
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
3737 artifact.fetch complete 1 / 3 3 months ago
3738 tool.cast_disasm complete 1 / 3 3 months ago
105361 analysis.bundle complete 1 / 3 1 week ago
105362 capability.graph complete 1 / 3 1 week ago
105363 detector.run complete 1 / 3 1 week ago
105364 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
0
Total opcodes
2436
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0098
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x025e7c27
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00a0
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x11a7a4c0
00000025: EQ
00000026: PUSH2 0x00c1
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x31921cad
00000030: EQ
00000031: PUSH2 0x01a9
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x45352983
0000003b: EQ
0000003c: PUSH2 0x01b2
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x9af1d35a
00000046: EQ
00000047: PUSH2 0x0260
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0xa3b64c2c
00000051: EQ
00000052: PUSH2 0x0269
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xa60f3588
0000005c: EQ
0000005d: PUSH2 0x02c1
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xa6f9dae1
00000067: EQ
00000068: PUSH2 0x02ca
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xb165c49f
00000072: EQ
00000073: PUSH2 0x0375
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xb69ef8a8
0000007d: EQ
0000007e: PUSH2 0x037e
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xbe414e97
00000088: EQ
00000089: PUSH2 0x0387
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xc8796572
00000093: EQ
00000094: PUSH2 0x0390
00000097: JUMPI
00000098: JUMPDEST
00000099: PUSH2 0x03f2
0000009c: PUSH2 0x0002
0000009f: JUMP
000000a0: JUMPDEST
000000a1: PUSH2 0x03f6
000000a4: PUSH1 0x04
000000a6: CALLDATALOAD
000000a7: PUSH1 0x07
000000a9: DUP2
000000aa: PUSH1 0x03
000000ac: DUP2
000000ad: LT
000000ae: ISZERO
000000af: PUSH2 0x0002
000000b2: JUMPI
000000b3: POP
000000b4: ADD
000000b5: SLOAD
000000b6: PUSH1 0x01
000000b8: PUSH1 0xa0
000000ba: PUSH1 0x02
000000bc: EXP
000000bd: SUB
000000be: AND
000000bf: DUP2
000000c0: JUMP
000000c1: JUMPDEST
000000c2: PUSH2 0x0413
000000c5: PUSH1 0x04
000000c7: CALLDATALOAD
000000c8: PUSH1 0x00
000000ca: DUP1
000000cb: SLOAD
000000cc: DUP3
000000cd: SWAP1
000000ce: DUP2
000000cf: LT
000000d0: ISZERO
000000d1: PUSH2 0x0002
000000d4: JUMPI
000000d5: POP
000000d6: DUP1
000000d7: MSTORE
000000d8: PUSH1 0x06
000000da: MUL
000000db: PUSH1 0x00
000000dd: DUP1
000000de: MLOAD
000000df: PUSH1 0x20
000000e1: PUSH2 0x0d1e
000000e4: DUP4
000000e5: CODECOPY
000000e6: DUP2
000000e7: MLOAD
000000e8: SWAP2
000000e9: MSTORE
000000ea: DUP2
000000eb: ADD
000000ec: SLOAD
000000ed: PUSH1 0x00
000000ef: DUP1
000000f0: MLOAD
000000f1: PUSH1 0x20
000000f3: PUSH2 0x0d3e
000000f6: DUP4
000000f7: CODECOPY
000000f8: DUP2
000000f9: MLOAD
000000fa: SWAP2
000000fb: MSTORE
000000fc: DUP3
000000fd: ADD
000000fe: SLOAD
000000ff: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
00000120: DUP4
00000121: ADD
00000122: SLOAD
00000123: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567
00000144: DUP5
00000145: ADD
00000146: SLOAD
00000147: PUSH1 0x01
00000149: PUSH1 0xa0
0000014b: PUSH1 0x02
0000014d: EXP
0000014e: SUB
0000014f: SWAP4
00000150: SWAP1
00000151: SWAP4
00000152: AND
00000153: SWAP4
00000154: SWAP1
00000155: SWAP3
00000156: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
00000177: DUP3
00000178: ADD
00000179: SWAP3
0000017a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
0000019b: SWAP3
0000019c: SWAP1
0000019d: SWAP3
0000019e: ADD
0000019f: SWAP2
000001a0: PUSH1 0xff
000001a2: SWAP2
000001a3: SWAP1
000001a4: SWAP2
000001a5: AND
000001a6: SWAP1
000001a7: DUP7
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x0542
000001ad: PUSH1 0x06
000001af: SLOAD
000001b0: DUP2
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH2 0x03f2
000001b6: PUSH1 0x04
000001b8: DUP1
000001b9: DUP1
000001ba: CALLDATALOAD
000001bb: SWAP1
000001bc: PUSH1 0x20
000001be: ADD
000001bf: SWAP1
000001c0: DUP3
000001c1: ADD
000001c2: DUP1
000001c3: CALLDATALOAD
000001c4: SWAP1
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: SWAP2
000001c9: SWAP2
000001ca: SWAP1
000001cb: DUP1
000001cc: DUP1
000001cd: PUSH1 0x1f
000001cf: ADD
000001d0: PUSH1 0x20
000001d2: DUP1
000001d3: SWAP2
000001d4: DIV
000001d5: MUL
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: PUSH1 0x40
000001db: MLOAD
000001dc: SWAP1
000001dd: DUP2
000001de: ADD
000001df: PUSH1 0x40
000001e1: MSTORE
000001e2: DUP1
000001e3: SWAP4
000001e4: SWAP3
000001e5: SWAP2
000001e6: SWAP1
000001e7: DUP2
000001e8: DUP2
000001e9: MSTORE
000001ea: PUSH1 0x20
000001ec: ADD
000001ed: DUP4
000001ee: DUP4
000001ef: DUP1
000001f0: DUP3
000001f1: DUP5
000001f2: CALLDATACOPY
000001f3: POP
000001f4: POP
000001f5: PUSH1 0x40
000001f7: DUP1
000001f8: MLOAD
000001f9: PUSH1 0x20
000001fb: DUP9
000001fc: CALLDATALOAD
000001fd: DUP1
000001fe: DUP12
000001ff: ADD
00000200: CALLDATALOAD
00000201: PUSH1 0x1f
00000203: DUP2
00000204: ADD
00000205: DUP4
00000206: SWAP1
00000207: DIV
00000208: DUP4
00000209: MUL
0000020a: DUP5
0000020b: ADD
0000020c: DUP4
0000020d: ADD
0000020e: SWAP1
0000020f: SWAP5
00000210: MSTORE
00000211: DUP4
00000212: DUP4
00000213: MSTORE
00000214: SWAP8
00000215: SWAP10
00000216: SWAP9
00000217: PUSH1 0x44
00000219: SWAP9
0000021a: SWAP3
0000021b: SWAP8
0000021c: POP
0000021d: SWAP2
0000021e: SWAP1
0000021f: SWAP2
00000220: ADD
00000221: SWAP5
00000222: POP
00000223: SWAP1
00000224: SWAP3
00000225: POP
00000226: DUP3
00000227: SWAP2
00000228: POP
00000229: DUP5
0000022a: ADD
0000022b: DUP4
0000022c: DUP3
0000022d: DUP1
0000022e: DUP3
0000022f: DUP5
00000230: CALLDATACOPY
00000231: POP
00000232: SWAP5
00000233: SWAP7
00000234: POP
00000235: POP
00000236: SWAP4
00000237: CALLDATALOAD
00000238: SWAP4
00000239: POP
0000023a: POP
0000023b: PUSH1 0x64
0000023d: CALLDATALOAD
0000023e: SWAP2
0000023f: POP
00000240: POP
00000241: PUSH1 0x84
00000243: CALLDATALOAD
00000244: PUSH1 0x00
00000246: PUSH1 0x64
00000248: DUP7
00000249: MLOAD
0000024a: GT
0000024b: DUP1
0000024c: PUSH2 0x0256
0000024f: JUMPI
00000250: POP
00000251: PUSH1 0x32
00000253: DUP6
00000254: MLOAD
00000255: GT
00000256: JUMPDEST
00000257: ISZERO
00000258: PUSH2 0x0554
0000025b: JUMPI
0000025c: PUSH2 0x0002
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x0542
00000264: PUSH1 0x03
00000266: SLOAD
00000267: DUP2
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH1 0x07
0000026c: SLOAD
0000026d: PUSH2 0x03f2
00000270: SWAP1
00000271: PUSH1 0x04
00000273: CALLDATALOAD
00000274: SWAP1
00000275: CALLER
00000276: PUSH1 0x01
00000278: PUSH1 0xa0
0000027a: PUSH1 0x02
0000027c: EXP
0000027d: SUB
0000027e: SWAP1
0000027f: DUP2
00000280: AND
00000281: SWAP2
00000282: AND
00000283: EQ
00000284: DUP1
00000285: PUSH2 0x029d
00000288: JUMPI
00000289: POP
0000028a: PUSH1 0x08
0000028c: SLOAD
0000028d: PUSH1 0x01
0000028f: PUSH1 0xa0
00000291: PUSH1 0x02
00000293: EXP
00000294: SUB
00000295: SWAP1
00000296: DUP2
00000297: AND
00000298: CALLER
00000299: SWAP1
0000029a: SWAP2
0000029b: AND
0000029c: EQ
0000029d: JUMPDEST
0000029e: DUP1
0000029f: PUSH2 0x02b7
000002a2: JUMPI
000002a3: POP
000002a4: PUSH1 0x09
000002a6: SLOAD
000002a7: PUSH1 0x01
000002a9: PUSH1 0xa0
000002ab: PUSH1 0x02
000002ad: EXP
000002ae: SUB
000002af: SWAP1
000002b0: DUP2
000002b1: AND
000002b2: CALLER
000002b3: SWAP1
000002b4: SWAP2
000002b5: AND
000002b6: EQ
000002b7: JUMPDEST
000002b8: ISZERO
000002b9: PUSH2 0x0adb
000002bc: JUMPI
000002bd: PUSH1 0x05
000002bf: SSTORE
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH2 0x0542
000002c5: PUSH1 0x01
000002c7: SLOAD
000002c8: DUP2
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x07
000002cd: SLOAD
000002ce: PUSH2 0x03f2
000002d1: SWAP1
000002d2: PUSH1 0x04
000002d4: CALLDATALOAD
000002d5: SWAP1
000002d6: PUSH1 0x00
000002d8: SWAP1
000002d9: CALLER
000002da: PUSH1 0x01
000002dc: PUSH1 0xa0
000002de: PUSH1 0x02
000002e0: EXP
000002e1: SUB
000002e2: SWAP1
000002e3: DUP2
000002e4: AND
000002e5: SWAP2
000002e6: AND
000002e7: EQ
000002e8: DUP1
000002e9: PUSH2 0x0301
000002ec: JUMPI
000002ed: POP
000002ee: PUSH1 0x08
000002f0: SLOAD
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa0
000002f5: PUSH1 0x02
000002f7: EXP
000002f8: SUB
000002f9: SWAP1
000002fa: DUP2
000002fb: AND
000002fc: CALLER
000002fd: SWAP1
000002fe: SWAP2
000002ff: AND
00000300: EQ
00000301: JUMPDEST
00000302: DUP1
00000303: PUSH2 0x031b
00000306: JUMPI
00000307: POP
00000308: PUSH1 0x09
0000030a: SLOAD
0000030b: PUSH1 0x01
0000030d: PUSH1 0xa0
0000030f: PUSH1 0x02
00000311: EXP
00000312: SUB
00000313: SWAP1
00000314: DUP2
00000315: AND
00000316: CALLER
00000317: SWAP1
00000318: SWAP2
00000319: AND
0000031a: EQ
0000031b: JUMPDEST
0000031c: ISZERO
0000031d: PUSH2 0x0ade
00000320: JUMPI
00000321: POP
00000322: PUSH1 0x00
00000324: JUMPDEST
00000325: PUSH1 0x03
00000327: DUP2
00000328: LT
00000329: ISZERO
0000032a: PUSH2 0x0ade
0000032d: JUMPI
0000032e: PUSH1 0x07
00000330: DUP2
00000331: PUSH1 0x03
00000333: DUP2
00000334: LT
00000335: ISZERO
00000336: PUSH2 0x0002
00000339: JUMPI
0000033a: ADD
0000033b: SLOAD
0000033c: PUSH1 0x01
0000033e: PUSH1 0xa0
00000340: PUSH1 0x02
00000342: EXP
00000343: SUB
00000344: SWAP1
00000345: DUP2
00000346: AND
00000347: CALLER
00000348: SWAP1
00000349: SWAP2
0000034a: AND
0000034b: EQ
0000034c: ISZERO
0000034d: PUSH2 0x0370
00000350: JUMPI
00000351: DUP2
00000352: PUSH1 0x07
00000354: DUP3
00000355: PUSH1 0x03
00000357: DUP2
00000358: LT
00000359: ISZERO
0000035a: PUSH2 0x0002
0000035d: JUMPI
0000035e: ADD
0000035f: DUP1
00000360: SLOAD
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: PUSH1 0x02
00000367: EXP
00000368: SUB
00000369: NOT
0000036a: AND
0000036b: SWAP1
0000036c: SWAP2
0000036d: OR
0000036e: SWAP1
0000036f: SSTORE
00000370: JUMPDEST
00000371: PUSH2 0x0324
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH2 0x0542
00000379: PUSH1 0x04
0000037b: SLOAD
0000037c: DUP2
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x0542
00000382: PUSH1 0x02
00000384: SLOAD
00000385: DUP2
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH2 0x0542
0000038b: PUSH1 0x05
0000038d: SLOAD
0000038e: DUP2
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x07
00000393: SLOAD
00000394: PUSH2 0x03f2
00000397: SWAP1
00000398: PUSH1 0x00
0000039a: SWAP1
0000039b: CALLER
0000039c: PUSH1 0x01
0000039e: PUSH1 0xa0
000003a0: PUSH1 0x02
000003a2: EXP
000003a3: SUB
000003a4: SWAP1
000003a5: DUP2
000003a6: AND
000003a7: SWAP2
000003a8: AND
000003a9: EQ
000003aa: DUP1
000003ab: PUSH2 0x03c3
000003ae: JUMPI
000003af: POP
000003b0: PUSH1 0x08
000003b2: SLOAD
000003b3: PUSH1 0x01
000003b5: PUSH1 0xa0
000003b7: PUSH1 0x02
000003b9: EXP
000003ba: SUB
000003bb: SWAP1
000003bc: DUP2
000003bd: AND
000003be: CALLER
000003bf: SWAP1
000003c0: SWAP2
000003c1: AND
000003c2: EQ
000003c3: JUMPDEST
000003c4: DUP1
000003c5: PUSH2 0x03dd
000003c8: JUMPI
000003c9: POP
000003ca: PUSH1 0x09
000003cc: SLOAD
000003cd: PUSH1 0x01
000003cf: PUSH1 0xa0
000003d1: PUSH1 0x02
000003d3: EXP
000003d4: SUB
000003d5: SWAP1
000003d6: DUP2
000003d7: AND
000003d8: CALLER
000003d9: SWAP1
000003da: SWAP2
000003db: AND
000003dc: EQ
000003dd: JUMPDEST
000003de: ISZERO
000003df: PUSH2 0x0adb
000003e2: JUMPI
000003e3: PUSH1 0x03
000003e5: SLOAD
000003e6: PUSH1 0x00
000003e8: EQ
000003e9: ISZERO
000003ea: PUSH2 0x0a7f
000003ed: JUMPI
000003ee: PUSH2 0x0adb
000003f1: JUMP
000003f2: JUMPDEST
000003f3: STOP
000003f4: JUMPDEST
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x40
000003f9: DUP1
000003fa: MLOAD
000003fb: PUSH1 0x01
000003fd: PUSH1 0xa0
000003ff: PUSH1 0x02
00000401: EXP
00000402: SUB
00000403: SWAP3
00000404: SWAP1
00000405: SWAP3
00000406: AND
00000407: DUP3
00000408: MSTORE
00000409: MLOAD
0000040a: SWAP1
0000040b: DUP2
0000040c: SWAP1
0000040d: SUB
0000040e: PUSH1 0x20
00000410: ADD
00000411: SWAP1
00000412: RETURN
00000413: JUMPDEST
00000414: PUSH1 0x40
00000416: DUP1
00000417: MLOAD
00000418: PUSH1 0x01
0000041a: PUSH1 0xa0
0000041c: PUSH1 0x02
0000041e: EXP
0000041f: SUB
00000420: DUP9
00000421: AND
00000422: DUP2
00000423: MSTORE
00000424: PUSH1 0x20
00000426: DUP2
00000427: ADD
00000428: DUP8
00000429: SWAP1
0000042a: MSTORE
0000042b: PUSH1 0xff
0000042d: DUP5
0000042e: AND
0000042f: PUSH1 0x80
00000431: DUP3
00000432: ADD
00000433: MSTORE
00000434: PUSH1 0xa0
00000436: DUP2
00000437: ADD
00000438: DUP4
00000439: SWAP1
0000043a: MSTORE
0000043b: PUSH1 0xc0
0000043d: SWAP2
0000043e: DUP2
0000043f: ADD
00000440: DUP3
00000441: DUP2
00000442: MSTORE
00000443: DUP7
00000444: SLOAD
00000445: PUSH1 0x02
00000447: PUSH1 0x01
00000449: DUP3
0000044a: AND
0000044b: ISZERO
0000044c: PUSH2 0x0100
0000044f: MUL
00000450: PUSH1 0x00
00000452: NOT
00000453: ADD
00000454: SWAP1
00000455: SWAP2
00000456: AND
00000457: DIV
00000458: SWAP3
00000459: DUP3
0000045a: ADD
0000045b: DUP4
0000045c: SWAP1
0000045d: MSTORE
0000045e: SWAP1
0000045f: SWAP2
00000460: PUSH1 0x60
00000462: DUP4
00000463: ADD
00000464: SWAP1
00000465: PUSH1 0xe0
00000467: DUP5
00000468: ADD
00000469: SWAP1
0000046a: DUP9
0000046b: SWAP1
0000046c: DUP1
0000046d: ISZERO
0000046e: PUSH2 0x04b8
00000471: JUMPI
00000472: DUP1
00000473: PUSH1 0x1f
00000475: LT
00000476: PUSH2 0x048d
00000479: JUMPI
0000047a: PUSH2 0x0100
0000047d: DUP1
0000047e: DUP4
0000047f: SLOAD
00000480: DIV
00000481: MUL
00000482: DUP4
00000483: MSTORE
00000484: SWAP2
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP2
00000489: PUSH2 0x04b8
0000048c: JUMP
0000048d: JUMPDEST
0000048e: DUP3
0000048f: ADD
00000490: SWAP2
00000491: SWAP1
00000492: PUSH1 0x00
00000494: MSTORE
00000495: PUSH1 0x20
00000497: PUSH1 0x00
00000499: KECCAK256
0000049a: SWAP1
0000049b: JUMPDEST
0000049c: DUP2
0000049d: SLOAD
0000049e: DUP2
0000049f: MSTORE
000004a0: SWAP1
000004a1: PUSH1 0x01
000004a3: ADD
000004a4: SWAP1
000004a5: PUSH1 0x20
000004a7: ADD
000004a8: DUP1
000004a9: DUP4
000004aa: GT
000004ab: PUSH2 0x049b
000004ae: JUMPI
000004af: DUP3
000004b0: SWAP1
000004b1: SUB
000004b2: PUSH1 0x1f
000004b4: AND
000004b5: DUP3
000004b6: ADD
000004b7: SWAP2
000004b8: JUMPDEST
000004b9: POP
000004ba: POP
000004bb: DUP4
000004bc: DUP2
000004bd: SUB
000004be: DUP3
000004bf: MSTORE
000004c0: DUP7
000004c1: SLOAD
000004c2: PUSH1 0x02
000004c4: PUSH1 0x01
000004c6: DUP3
000004c7: AND
000004c8: ISZERO
000004c9: PUSH2 0x0100
000004cc: MUL
000004cd: PUSH1 0x00
000004cf: NOT
000004d0: ADD
000004d1: SWAP1
000004d2: SWAP2
000004d3: AND
000004d4: DIV
000004d5: DUP1
000004d6: DUP3
000004d7: MSTORE
000004d8: PUSH1 0x20
000004da: SWAP2
000004db: SWAP1
000004dc: SWAP2
000004dd: ADD
000004de: SWAP1
000004df: DUP8
000004e0: SWAP1
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x052d
000004e6: JUMPI
000004e7: DUP1
000004e8: PUSH1 0x1f
000004ea: LT
000004eb: PUSH2 0x0502
000004ee: JUMPI
000004ef: PUSH2 0x0100
000004f2: DUP1
000004f3: DUP4
000004f4: SLOAD
000004f5: DIV
000004f6: MUL
000004f7: DUP4
000004f8: MSTORE
000004f9: SWAP2
000004fa: PUSH1 0x20
000004fc: ADD
000004fd: SWAP2
000004fe: PUSH2 0x052d
00000501: JUMP
00000502: JUMPDEST
00000503: DUP3
00000504: ADD
00000505: SWAP2
00000506: SWAP1
00000507: PUSH1 0x00
00000509: MSTORE
0000050a: PUSH1 0x20
0000050c: PUSH1 0x00
0000050e: KECCAK256
0000050f: SWAP1
00000510: JUMPDEST
00000511: DUP2
00000512: SLOAD
00000513: DUP2
00000514: MSTORE
00000515: SWAP1
00000516: PUSH1 0x01
00000518: ADD
00000519: SWAP1
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: DUP1
0000051e: DUP4
0000051f: GT
00000520: PUSH2 0x0510
00000523: JUMPI
00000524: DUP3
00000525: SWAP1
00000526: SUB
00000527: PUSH1 0x1f
00000529: AND
0000052a: DUP3
0000052b: ADD
0000052c: SWAP2
0000052d: JUMPDEST
0000052e: POP
0000052f: POP
00000530: SWAP9
00000531: POP
00000532: POP
00000533: POP
00000534: POP
00000535: POP
00000536: POP
00000537: POP
00000538: POP
00000539: POP
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: DUP1
0000053e: SWAP2
0000053f: SUB
00000540: SWAP1
00000541: RETURN
00000542: JUMPDEST
00000543: PUSH1 0x40
00000545: DUP1
00000546: MLOAD
00000547: SWAP2
00000548: DUP3
00000549: MSTORE
0000054a: MLOAD
0000054b: SWAP1
0000054c: DUP2
0000054d: SWAP1
0000054e: SUB
0000054f: PUSH1 0x20
00000551: ADD
00000552: SWAP1
00000553: RETURN
00000554: JUMPDEST
00000555: PUSH2 0x059c
00000558: PUSH1 0x05
0000055a: SLOAD
0000055b: PUSH1 0x04
0000055d: SLOAD
0000055e: ADD
0000055f: TIMESTAMP
00000560: GT
00000561: ISZERO
00000562: PUSH2 0x03f4
00000565: JUMPI
00000566: TIMESTAMP
00000567: PUSH1 0x04
00000569: SSTORE
0000056a: PUSH1 0x00
0000056c: DUP1
0000056d: SLOAD
0000056e: DUP2
0000056f: DUP1
00000570: SSTORE
00000571: DUP2
00000572: SWAP1
00000573: DUP2
00000574: SWAP1
00000575: DUP1
00000576: ISZERO
00000577: DUP3
00000578: SWAP1
00000579: GT
0000057a: PUSH2 0x0c41
0000057d: JUMPI
0000057e: PUSH1 0x06
00000580: MUL
00000581: DUP2
00000582: PUSH1 0x06
00000584: MUL
00000585: DUP4
00000586: PUSH1 0x00
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: PUSH1 0x00
0000058d: KECCAK256
0000058e: SWAP2
0000058f: DUP3
00000590: ADD
00000591: SWAP2
00000592: ADD
00000593: PUSH2 0x0c41
00000596: SWAP2
00000597: SWAP1
00000598: PUSH2 0x0c65
0000059b: JUMP
0000059c: JUMPDEST
0000059d: POP
0000059e: PUSH1 0x00
000005a0: DUP1
000005a1: SLOAD
000005a2: PUSH1 0x01
000005a4: DUP2
000005a5: ADD
000005a6: DUP1
000005a7: DUP4
000005a8: SSTORE
000005a9: SWAP1
000005aa: SWAP2
000005ab: DUP2
000005ac: DUP4
000005ad: DUP1
000005ae: ISZERO
000005af: DUP3
000005b0: SWAP1
000005b1: GT
000005b2: PUSH2 0x05d4
000005b5: JUMPI
000005b6: PUSH1 0x06
000005b8: MUL
000005b9: DUP2
000005ba: PUSH1 0x06
000005bc: MUL
000005bd: DUP4
000005be: PUSH1 0x00
000005c0: MSTORE
000005c1: PUSH1 0x20
000005c3: PUSH1 0x00
000005c5: KECCAK256
000005c6: SWAP2
000005c7: DUP3
000005c8: ADD
000005c9: SWAP2
000005ca: ADD
000005cb: PUSH2 0x05d4
000005ce: SWAP2
000005cf: SWAP1
000005d0: PUSH2 0x06ec
000005d3: JUMP
000005d4: JUMPDEST
000005d5: POP
000005d6: POP
000005d7: POP
000005d8: POP
000005d9: CALLER
000005da: PUSH1 0x00
000005dc: PUSH1 0x00
000005de: POP
000005df: DUP3
000005e0: DUP2
000005e1: SLOAD
000005e2: DUP2
000005e3: LT
000005e4: ISZERO
000005e5: PUSH2 0x0002
000005e8: JUMPI
000005e9: DUP2
000005ea: DUP1
000005eb: MSTORE
000005ec: PUSH1 0x06
000005ee: DUP2
000005ef: MUL
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: MLOAD
000005f4: PUSH1 0x20
000005f6: PUSH2 0x0d1e
000005f9: DUP4
000005fa: CODECOPY
000005fb: DUP2
000005fc: MLOAD
000005fd: SWAP2
000005fe: MSTORE
000005ff: ADD
00000600: DUP1
00000601: SLOAD
00000602: PUSH1 0x01
00000604: PUSH1 0xa0
00000606: PUSH1 0x02
00000608: EXP
00000609: SUB
0000060a: NOT
0000060b: AND
0000060c: SWAP1
0000060d: SWAP4
0000060e: OR
0000060f: SWAP1
00000610: SWAP3
00000611: SSTORE
00000612: DUP1
00000613: SLOAD
00000614: CALLVALUE
00000615: SWAP3
00000616: POP
00000617: DUP4
00000618: SWAP1
00000619: DUP2
0000061a: LT
0000061b: ISZERO
0000061c: PUSH2 0x0002
0000061f: JUMPI
00000620: PUSH1 0x06
00000622: DUP2
00000623: MUL
00000624: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
00000645: ADD
00000646: SWAP3
00000647: SWAP1
00000648: SWAP3
00000649: SSTORE
0000064a: DUP1
0000064b: SLOAD
0000064c: DUP9
0000064d: SWAP3
0000064e: POP
0000064f: DUP4
00000650: SWAP1
00000651: DUP2
00000652: LT
00000653: ISZERO
00000654: PUSH2 0x0002
00000657: JUMPI
00000658: POP
00000659: SWAP1
0000065a: MLOAD
0000065b: PUSH1 0x06
0000065d: DUP4
0000065e: MUL
0000065f: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
00000680: ADD
00000681: DUP1
00000682: SLOAD
00000683: DUP2
00000684: DUP5
00000685: MSTORE
00000686: PUSH1 0x20
00000688: SWAP4
00000689: DUP5
0000068a: SWAP1
0000068b: KECCAK256
0000068c: SWAP2
0000068d: SWAP4
0000068e: PUSH1 0x02
00000690: PUSH1 0x01
00000692: DUP4
00000693: AND
00000694: ISZERO
00000695: PUSH2 0x0100
00000698: MUL
00000699: PUSH1 0x00
0000069b: NOT
0000069c: ADD
0000069d: SWAP1
0000069e: SWAP3
0000069f: AND
000006a0: SWAP2
000006a1: SWAP1
000006a2: SWAP2
000006a3: DIV
000006a4: PUSH1 0x1f
000006a6: SWAP1
000006a7: DUP2
000006a8: ADD
000006a9: DUP3
000006aa: SWAP1
000006ab: DIV
000006ac: DUP4
000006ad: ADD
000006ae: SWAP4
000006af: SWAP3
000006b0: SWAP2
000006b1: DUP12
000006b2: ADD
000006b3: SWAP1
000006b4: DUP4
000006b5: SWAP1
000006b6: LT
000006b7: PUSH2 0x07ad
000006ba: JUMPI
000006bb: DUP1
000006bc: MLOAD
000006bd: PUSH1 0xff
000006bf: NOT
000006c0: AND
000006c1: DUP4
000006c2: DUP1
000006c3: ADD
000006c4: OR
000006c5: DUP6
000006c6: SSTORE
000006c7: JUMPDEST
000006c8: POP
000006c9: PUSH2 0x07dd
000006cc: SWAP3
000006cd: SWAP2
000006ce: POP
000006cf: PUSH2 0x0777
000006d2: JUMP
000006d3: JUMPDEST
000006d4: POP
000006d5: POP
000006d6: PUSH1 0x04
000006d8: DUP2
000006d9: ADD
000006da: DUP1
000006db: SLOAD
000006dc: PUSH1 0xff
000006de: NOT
000006df: AND
000006e0: SWAP1
000006e1: SSTORE
000006e2: PUSH1 0x00
000006e4: PUSH1 0x05
000006e6: DUP3
000006e7: ADD
000006e8: SSTORE
000006e9: PUSH1 0x01
000006eb: ADD
000006ec: JUMPDEST
000006ed: DUP1
000006ee: DUP3
000006ef: GT
000006f0: ISZERO
000006f1: PUSH2 0x078b
000006f4: JUMPI
000006f5: DUP1
000006f6: SLOAD
000006f7: PUSH1 0x01
000006f9: PUSH1 0xa0
000006fb: PUSH1 0x02
000006fd: EXP
000006fe: SUB
000006ff: NOT
00000700: AND
00000701: DUP2
00000702: SSTORE
00000703: PUSH1 0x00
00000705: PUSH1 0x01
00000707: DUP3
00000708: DUP2
00000709: ADD
0000070a: DUP3
0000070b: SWAP1
0000070c: SSTORE
0000070d: PUSH1 0x02
0000070f: DUP4
00000710: DUP2
00000711: ADD
00000712: DUP1
00000713: SLOAD
00000714: DUP5
00000715: DUP3
00000716: SSTORE
00000717: SWAP1
00000718: SWAP3
00000719: DUP2
0000071a: AND
0000071b: ISZERO
0000071c: PUSH2 0x0100
0000071f: MUL
00000720: PUSH1 0x00
00000722: NOT
00000723: ADD
00000724: AND
00000725: DIV
00000726: PUSH1 0x1f
00000728: DUP2
00000729: SWAP1
0000072a: LT
0000072b: PUSH2 0x075d
0000072e: JUMPI
0000072f: POP
00000730: JUMPDEST
00000731: POP
00000732: PUSH1 0x03
00000734: DUP3
00000735: ADD
00000736: PUSH1 0x00
00000738: POP
00000739: DUP1
0000073a: SLOAD
0000073b: PUSH1 0x01
0000073d: DUP2
0000073e: PUSH1 0x01
00000740: AND
00000741: ISZERO
00000742: PUSH2 0x0100
00000745: MUL
00000746: SUB
00000747: AND
00000748: PUSH1 0x02
0000074a: SWAP1
0000074b: DIV
0000074c: PUSH1 0x00
0000074e: DUP3
0000074f: SSTORE
00000750: DUP1
00000751: PUSH1 0x1f
00000753: LT
00000754: PUSH2 0x078f
00000757: JUMPI
00000758: POP
00000759: PUSH2 0x06d3
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH1 0x1f
00000760: ADD
00000761: PUSH1 0x20
00000763: SWAP1
00000764: DIV
00000765: SWAP1
00000766: PUSH1 0x00
00000768: MSTORE
00000769: PUSH1 0x20
0000076b: PUSH1 0x00
0000076d: KECCAK256
0000076e: SWAP1
0000076f: DUP2
00000770: ADD
00000771: SWAP1
00000772: PUSH2 0x0730
00000775: SWAP2
00000776: SWAP1
00000777: JUMPDEST
00000778: DUP1
00000779: DUP3
0000077a: GT
0000077b: ISZERO
0000077c: PUSH2 0x078b
0000077f: JUMPI
00000780: PUSH1 0x00
00000782: DUP2
00000783: SSTORE
00000784: PUSH1 0x01
00000786: ADD
00000787: PUSH2 0x0777
0000078a: JUMP
0000078b: JUMPDEST
0000078c: POP
0000078d: SWAP1
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x1f
00000792: ADD
00000793: PUSH1 0x20
00000795: SWAP1
00000796: DIV
00000797: SWAP1
00000798: PUSH1 0x00
0000079a: MSTORE
0000079b: PUSH1 0x20
0000079d: PUSH1 0x00
0000079f: KECCAK256
000007a0: SWAP1
000007a1: DUP2
000007a2: ADD
000007a3: SWAP1
000007a4: PUSH2 0x06d3
000007a7: SWAP2
000007a8: SWAP1
000007a9: PUSH2 0x0777
000007ac: JUMP
000007ad: JUMPDEST
000007ae: DUP3
000007af: DUP1
000007b0: ADD
000007b1: PUSH1 0x01
000007b3: ADD
000007b4: DUP6
000007b5: SSTORE
000007b6: DUP3
000007b7: ISZERO
000007b8: PUSH2 0x06c7
000007bb: JUMPI
000007bc: SWAP2
000007bd: DUP3
000007be: ADD
000007bf: JUMPDEST
000007c0: DUP3
000007c1: DUP2
000007c2: GT
000007c3: ISZERO
000007c4: PUSH2 0x06c7
000007c7: JUMPI
000007c8: DUP3
000007c9: MLOAD
000007ca: DUP3
000007cb: PUSH1 0x00
000007cd: POP
000007ce: SSTORE
000007cf: SWAP2
000007d0: PUSH1 0x20
000007d2: ADD
000007d3: SWAP2
000007d4: SWAP1
000007d5: PUSH1 0x01
000007d7: ADD
000007d8: SWAP1
000007d9: PUSH2 0x07bf
000007dc: JUMP
000007dd: JUMPDEST
000007de: POP
000007df: POP
000007e0: DUP5
000007e1: PUSH1 0x00
000007e3: PUSH1 0x00
000007e5: POP
000007e6: DUP3
000007e7: DUP2
000007e8: SLOAD
000007e9: DUP2
000007ea: LT
000007eb: ISZERO
000007ec: PUSH2 0x0002
000007ef: JUMPI
000007f0: POP
000007f1: DUP1
000007f2: DUP1
000007f3: MSTORE
000007f4: PUSH1 0x06
000007f6: DUP4
000007f7: MUL
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: MLOAD
000007fc: PUSH1 0x20
000007fe: PUSH2 0x0d1e
00000801: DUP4
00000802: CODECOPY
00000803: DUP2
00000804: MLOAD
00000805: SWAP2
00000806: MSTORE
00000807: ADD
00000808: SWAP1
00000809: POP
0000080a: PUSH1 0x03
0000080c: ADD
0000080d: PUSH1 0x00
0000080f: POP
00000810: SWAP1
00000811: DUP1
00000812: MLOAD
00000813: SWAP1
00000814: PUSH1 0x20
00000816: ADD
00000817: SWAP1
00000818: DUP3
00000819: DUP1
0000081a: SLOAD
0000081b: PUSH1 0x01
0000081d: DUP2
0000081e: PUSH1 0x01
00000820: AND
00000821: ISZERO
00000822: PUSH2 0x0100
00000825: MUL
00000826: SUB
00000827: AND
00000828: PUSH1 0x02
0000082a: SWAP1
0000082b: DIV
0000082c: SWAP1
0000082d: PUSH1 0x00
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: PUSH1 0x00
00000834: KECCAK256
00000835: SWAP1
00000836: PUSH1 0x1f
00000838: ADD
00000839: PUSH1 0x20
0000083b: SWAP1
0000083c: DIV
0000083d: DUP2
0000083e: ADD
0000083f: SWAP3
00000840: DUP3
00000841: PUSH1 0x1f
00000843: LT
00000844: PUSH2 0x0860
00000847: JUMPI
00000848: DUP1
00000849: MLOAD
0000084a: PUSH1 0xff
0000084c: NOT
0000084d: AND
0000084e: DUP4
0000084f: DUP1
00000850: ADD
00000851: OR
00000852: DUP6
00000853: SSTORE
00000854: JUMPDEST
00000855: POP
00000856: PUSH2 0x0890
00000859: SWAP3
0000085a: SWAP2
0000085b: POP
0000085c: PUSH2 0x0777
0000085f: JUMP
00000860: JUMPDEST
00000861: DUP3
00000862: DUP1
00000863: ADD
00000864: PUSH1 0x01
00000866: ADD
00000867: DUP6
00000868: SSTORE
00000869: DUP3
0000086a: ISZERO
0000086b: PUSH2 0x0854
0000086e: JUMPI
0000086f: SWAP2
00000870: DUP3
00000871: ADD
00000872: JUMPDEST
00000873: DUP3
00000874: DUP2
00000875: GT
00000876: ISZERO
00000877: PUSH2 0x0854
0000087a: JUMPI
0000087b: DUP3
0000087c: MLOAD
0000087d: DUP3
0000087e: PUSH1 0x00
00000880: POP
00000881: SSTORE
00000882: SWAP2
00000883: PUSH1 0x20
00000885: ADD
00000886: SWAP2
00000887: SWAP1
00000888: PUSH1 0x01
0000088a: ADD
0000088b: SWAP1
0000088c: PUSH2 0x0872
0000088f: JUMP
00000890: JUMPDEST
00000891: POP
00000892: POP
00000893: DUP3
00000894: PUSH1 0x00
00000896: PUSH1 0x00
00000898: POP
00000899: DUP3
0000089a: DUP2
0000089b: SLOAD
0000089c: DUP2
0000089d: LT
0000089e: ISZERO
0000089f: PUSH2 0x0002
000008a2: JUMPI
000008a3: POP
000008a4: DUP1
000008a5: DUP1
000008a6: MSTORE
000008a7: PUSH1 0x06
000008a9: DUP4
000008aa: MUL
000008ab: PUSH1 0x00
000008ad: DUP1
000008ae: MLOAD
000008af: PUSH1 0x20
000008b1: PUSH2 0x0d1e
000008b4: DUP4
000008b5: CODECOPY
000008b6: DUP2
000008b7: MLOAD
000008b8: SWAP2
000008b9: MSTORE
000008ba: ADD
000008bb: SWAP1
000008bc: POP
000008bd: PUSH1 0x04
000008bf: ADD
000008c0: DUP1
000008c1: SLOAD
000008c2: PUSH1 0xff
000008c4: NOT
000008c5: AND
000008c6: SWAP1
000008c7: SWAP2
000008c8: OR
000008c9: SWAP1
000008ca: SSTORE
000008cb: PUSH1 0x02
000008cd: DUP1
000008ce: SLOAD
000008cf: CALLVALUE
000008d0: ADD
000008d1: SWAP1
000008d2: SSTORE
000008d3: PUSH1 0x06
000008d5: DUP5
000008d6: SWAP1
000008d7: SSTORE
000008d8: PUSH2 0x0960
000008db: DUP2
000008dc: DUP4
000008dd: PUSH1 0x00
000008df: PUSH1 0x00
000008e1: NOT
000008e2: JUMPDEST
000008e3: PUSH1 0x00
000008e5: SLOAD
000008e6: DUP3
000008e7: LT
000008e8: ISZERO
000008e9: PUSH2 0x092e
000008ec: JUMPI
000008ed: DUP3
000008ee: PUSH1 0x01
000008f0: PUSH1 0xa0
000008f2: PUSH1 0x02
000008f4: EXP
000008f5: SUB
000008f6: AND
000008f7: PUSH1 0x00
000008f9: PUSH1 0x00
000008fb: POP
000008fc: DUP4
000008fd: DUP2
000008fe: SLOAD
000008ff: DUP2
00000900: LT
00000901: ISZERO
00000902: PUSH2 0x0002
00000905: JUMPI
00000906: SWAP1
00000907: DUP1
00000908: MSTORE
00000909: PUSH1 0x06
0000090b: MUL
0000090c: PUSH1 0x00
0000090e: DUP1
0000090f: MLOAD
00000910: PUSH1 0x20
00000912: PUSH2 0x0d1e
00000915: DUP4
00000916: CODECOPY
00000917: DUP2
00000918: MLOAD
00000919: SWAP2
0000091a: MSTORE
0000091b: ADD
0000091c: SLOAD
0000091d: PUSH1 0x01
0000091f: PUSH1 0xa0
00000921: PUSH1 0x02
00000923: EXP
00000924: SUB
00000925: AND
00000926: EQ
00000927: ISZERO
00000928: PUSH2 0x0d12
0000092b: JUMPI
0000092c: POP
0000092d: DUP1
0000092e: JUMPDEST
0000092f: DUP1
00000930: PUSH1 0x00
00000932: PUSH1 0x00
00000934: POP
00000935: DUP6
00000936: DUP2
00000937: SLOAD
00000938: DUP2
00000939: LT
0000093a: ISZERO
0000093b: PUSH2 0x0002
0000093e: JUMPI
0000093f: DUP2
00000940: DUP1
00000941: MSTORE
00000942: PUSH1 0x06
00000944: MUL
00000945: PUSH1 0x00
00000947: DUP1
00000948: MLOAD
00000949: PUSH1 0x20
0000094b: PUSH2 0x0d1e
0000094e: DUP4
0000094f: CODECOPY
00000950: DUP2
00000951: MLOAD
00000952: SWAP2
00000953: MSTORE
00000954: ADD
00000955: SWAP1
00000956: POP
00000957: PUSH1 0x05
00000959: ADD
0000095a: SSTORE
0000095b: POP
0000095c: POP
0000095d: POP
0000095e: POP
0000095f: JUMP
00000960: JUMPDEST
00000961: PUSH2 0x0a77
00000964: PUSH1 0x00
00000966: PUSH1 0x00
00000968: PUSH1 0x00
0000096a: PUSH1 0x00
0000096c: PUSH1 0x00
0000096e: PUSH1 0x00
00000970: PUSH1 0x00
00000972: POP
00000973: PUSH1 0x01
00000975: PUSH1 0x00
00000977: POP
00000978: SLOAD
00000979: DUP2
0000097a: SLOAD
0000097b: DUP2
0000097c: LT
0000097d: ISZERO
0000097e: PUSH2 0x0002
00000981: JUMPI
00000982: SWAP1
00000983: DUP1
00000984: MSTORE
00000985: PUSH1 0x02
00000987: DUP1
00000988: SLOAD
00000989: PUSH1 0x06
0000098b: SWAP3
0000098c: SWAP1
0000098d: SWAP3
0000098e: MUL
0000098f: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000009b0: ADD
000009b1: SLOAD
000009b2: MUL
000009b3: SWAP6
000009b4: POP
000009b5: DUP6
000009b6: SWAP1
000009b7: GT
000009b8: ISZERO
000009b9: PUSH2 0x0b3c
000009bc: JUMPI
000009bd: PUSH1 0x00
000009bf: DUP1
000009c0: SLOAD
000009c1: PUSH1 0x01
000009c3: SLOAD
000009c4: SWAP1
000009c5: DUP2
000009c6: LT
000009c7: ISZERO
000009c8: PUSH2 0x0002
000009cb: JUMPI
000009cc: DUP2
000009cd: DUP1
000009ce: MSTORE
000009cf: PUSH1 0x06
000009d1: MUL
000009d2: PUSH1 0x00
000009d4: DUP1
000009d5: MLOAD
000009d6: PUSH1 0x20
000009d8: PUSH2 0x0d1e
000009db: DUP4
000009dc: CODECOPY
000009dd: DUP2
000009de: MLOAD
000009df: SWAP2
000009e0: MSTORE
000009e1: ADD
000009e2: SWAP1
000009e3: POP
000009e4: SLOAD
000009e5: PUSH1 0x40
000009e7: MLOAD
000009e8: PUSH1 0x01
000009ea: PUSH1 0xa0
000009ec: PUSH1 0x02
000009ee: EXP
000009ef: SUB
000009f0: SWAP2
000009f1: SWAP1
000009f2: SWAP2
000009f3: AND
000009f4: SWAP1
000009f5: PUSH1 0x00
000009f7: SWAP1
000009f8: PUSH1 0x50
000009fa: PUSH1 0x64
000009fc: DUP10
000009fd: DIV
000009fe: MUL
000009ff: SWAP1
00000a00: DUP3
00000a01: DUP2
00000a02: DUP2
00000a03: DUP2
00000a04: DUP6
00000a05: DUP9
00000a06: DUP4
00000a07: CALL
00000a08: POP
00000a09: POP
00000a0a: PUSH1 0x03
00000a0c: DUP1
00000a0d: SLOAD
00000a0e: PUSH1 0x0f
00000a10: PUSH1 0x64
00000a12: DUP12
00000a13: DIV
00000a14: DUP2
00000a15: MUL
00000a16: SWAP1
00000a17: SWAP2
00000a18: ADD
00000a19: SWAP1
00000a1a: SWAP2
00000a1b: SSTORE
00000a1c: PUSH1 0x01
00000a1e: SLOAD
00000a1f: SWAP3
00000a20: SLOAD
00000a21: PUSH2 0x03e8
00000a24: DUP11
00000a25: DIV
00000a26: PUSH1 0x19
00000a28: DUP2
00000a29: MUL
00000a2a: SWAP10
00000a2b: POP
00000a2c: SWAP2
00000a2d: DUP3
00000a2e: MUL
00000a2f: SWAP8
00000a30: POP
00000a31: PUSH1 0x0a
00000a33: SWAP1
00000a34: SWAP2
00000a35: MUL
00000a36: SWAP6
00000a37: POP
00000a38: DUP5
00000a39: SWAP4
00000a3a: POP
00000a3b: DUP3
00000a3c: LT
00000a3d: ISZERO
00000a3e: SWAP1
00000a3f: POP
00000a40: PUSH2 0x0002
00000a43: JUMPI
00000a44: SWAP1
00000a45: DUP1
00000a46: MSTORE
00000a47: PUSH1 0x06
00000a49: MUL
00000a4a: PUSH1 0x00
00000a4c: DUP1
00000a4d: MLOAD
00000a4e: PUSH1 0x20
00000a50: PUSH2 0x0d3e
00000a53: DUP4
00000a54: CODECOPY
00000a55: DUP2
00000a56: MLOAD
00000a57: SWAP2
00000a58: MSTORE
00000a59: ADD
00000a5a: SLOAD
00000a5b: SWAP1
00000a5c: POP
00000a5d: PUSH1 0x00
00000a5f: NOT
00000a60: DUP2
00000a61: EQ
00000a62: ISZERO
00000a63: PUSH2 0x0b43
00000a66: JUMPI
00000a67: PUSH1 0x02
00000a69: DUP1
00000a6a: SLOAD
00000a6b: DUP6
00000a6c: DUP6
00000a6d: ADD
00000a6e: DUP5
00000a6f: ADD
00000a70: ADD
00000a71: SWAP1
00000a72: SSTORE
00000a73: PUSH2 0x0b26
00000a76: JUMP
00000a77: JUMPDEST
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: POP
00000a7c: POP
00000a7d: POP
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: POP
00000a81: PUSH1 0x07
00000a83: SLOAD
00000a84: PUSH1 0x03
00000a86: DUP1
00000a87: SLOAD
00000a88: PUSH1 0x40
00000a8a: MLOAD
00000a8b: SWAP2
00000a8c: SWAP1
00000a8d: DIV
00000a8e: SWAP2
00000a8f: PUSH1 0x01
00000a91: PUSH1 0xa0
00000a93: PUSH1 0x02
00000a95: EXP
00000a96: SUB
00000a97: AND
00000a98: SWAP1
00000a99: PUSH1 0x00
00000a9b: SWAP1
00000a9c: DUP4
00000a9d: SWAP1
00000a9e: DUP3
00000a9f: DUP2
00000aa0: DUP2
00000aa1: DUP2
00000aa2: DUP6
00000aa3: DUP9
00000aa4: DUP4
00000aa5: CALL
00000aa6: POP
00000aa7: PUSH1 0x08
00000aa9: SLOAD
00000aaa: PUSH1 0x01
00000aac: PUSH1 0xa0
00000aae: PUSH1 0x02
00000ab0: EXP
00000ab1: SUB
00000ab2: AND
00000ab3: SWAP4
00000ab4: POP
00000ab5: DUP3
00000ab6: DUP2
00000ab7: DUP2
00000ab8: DUP2
00000ab9: DUP6
00000aba: DUP9
00000abb: DUP4
00000abc: CALL
00000abd: POP
00000abe: PUSH1 0x09
00000ac0: SLOAD
00000ac1: PUSH1 0x01
00000ac3: PUSH1 0xa0
00000ac5: PUSH1 0x02
00000ac7: EXP
00000ac8: SUB
00000ac9: AND
00000aca: SWAP4
00000acb: POP
00000acc: DUP3
00000acd: DUP2
00000ace: DUP2
00000acf: DUP2
00000ad0: DUP6
00000ad1: DUP9
00000ad2: DUP4
00000ad3: CALL
00000ad4: POP
00000ad5: POP
00000ad6: POP
00000ad7: PUSH1 0x03
00000ad9: SSTORE
00000ada: POP
00000adb: JUMPDEST
00000adc: POP
00000add: JUMP
00000ade: JUMPDEST
00000adf: POP
00000ae0: POP
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: PUSH1 0x00
00000ae5: DUP1
00000ae6: SLOAD
00000ae7: DUP3
00000ae8: SWAP1
00000ae9: DUP2
00000aea: LT
00000aeb: ISZERO
00000aec: PUSH2 0x0002
00000aef: JUMPI
00000af0: POP
00000af1: DUP1
00000af2: DUP1
00000af3: MSTORE
00000af4: PUSH1 0x40
00000af6: MLOAD
00000af7: PUSH1 0x06
00000af9: DUP4
00000afa: MUL
00000afb: PUSH1 0x00
00000afd: DUP1
00000afe: MLOAD
00000aff: PUSH1 0x20
00000b01: PUSH2 0x0d1e
00000b04: DUP4
00000b05: CODECOPY
00000b06: DUP2
00000b07: MLOAD
00000b08: SWAP2
00000b09: MSTORE
00000b0a: ADD
00000b0b: SLOAD
00000b0c: PUSH1 0x01
00000b0e: PUSH1 0xa0
00000b10: PUSH1 0x02
00000b12: EXP
00000b13: SUB
00000b14: AND
00000b15: SWAP2
00000b16: SWAP1
00000b17: DUP5
00000b18: SWAP1
00000b19: DUP3
00000b1a: DUP2
00000b1b: DUP2
00000b1c: DUP2
00000b1d: DUP6
00000b1e: DUP9
00000b1f: DUP4
00000b20: CALL
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: POP
00000b26: JUMPDEST
00000b27: PUSH1 0x02
00000b29: DUP1
00000b2a: SLOAD
00000b2b: DUP7
00000b2c: SWAP1
00000b2d: SUB
00000b2e: SWAP1
00000b2f: SSTORE
00000b30: PUSH1 0x01
00000b32: DUP1
00000b33: SLOAD
00000b34: DUP2
00000b35: ADD
00000b36: SWAP1
00000b37: SSTORE
00000b38: TIMESTAMP
00000b39: PUSH1 0x04
00000b3b: SSTORE
00000b3c: JUMPDEST
00000b3d: POP
00000b3e: POP
00000b3f: POP
00000b40: POP
00000b41: POP
00000b42: JUMP
00000b43: JUMPDEST
00000b44: PUSH1 0x00
00000b46: DUP1
00000b47: SLOAD
00000b48: DUP3
00000b49: SWAP1
00000b4a: DUP2
00000b4b: LT
00000b4c: ISZERO
00000b4d: PUSH2 0x0002
00000b50: JUMPI
00000b51: POP
00000b52: DUP1
00000b53: DUP1
00000b54: MSTORE
00000b55: PUSH1 0x40
00000b57: MLOAD
00000b58: PUSH1 0x06
00000b5a: DUP4
00000b5b: MUL
00000b5c: PUSH1 0x00
00000b5e: DUP1
00000b5f: MLOAD
00000b60: PUSH1 0x20
00000b62: PUSH2 0x0d1e
00000b65: DUP4
00000b66: CODECOPY
00000b67: DUP2
00000b68: MLOAD
00000b69: SWAP2
00000b6a: MSTORE
00000b6b: ADD
00000b6c: SLOAD
00000b6d: PUSH1 0x01
00000b6f: PUSH1 0xa0
00000b71: PUSH1 0x02
00000b73: EXP
00000b74: SUB
00000b75: AND
00000b76: SWAP2
00000b77: SWAP1
00000b78: DUP7
00000b79: SWAP1
00000b7a: DUP3
00000b7b: DUP2
00000b7c: DUP2
00000b7d: DUP2
00000b7e: DUP6
00000b7f: DUP9
00000b80: DUP4
00000b81: CALL
00000b82: POP
00000b83: POP
00000b84: DUP2
00000b85: SLOAD
00000b86: SWAP2
00000b87: SWAP3
00000b88: POP
00000b89: DUP4
00000b8a: SWAP2
00000b8b: DUP3
00000b8c: LT
00000b8d: ISZERO
00000b8e: SWAP1
00000b8f: POP
00000b90: PUSH2 0x0002
00000b93: JUMPI
00000b94: POP
00000b95: DUP1
00000b96: MSTORE
00000b97: PUSH1 0x06
00000b99: MUL
00000b9a: PUSH1 0x00
00000b9c: DUP1
00000b9d: MLOAD
00000b9e: PUSH1 0x20
00000ba0: PUSH2 0x0d3e
00000ba3: DUP4
00000ba4: CODECOPY
00000ba5: DUP2
00000ba6: MLOAD
00000ba7: SWAP2
00000ba8: MSTORE
00000ba9: ADD
00000baa: SLOAD
00000bab: PUSH1 0x00
00000bad: NOT
00000bae: DUP2
00000baf: EQ
00000bb0: ISZERO
00000bb1: PUSH2 0x0bc3
00000bb4: JUMPI
00000bb5: PUSH1 0x02
00000bb7: DUP1
00000bb8: SLOAD
00000bb9: DUP5
00000bba: DUP5
00000bbb: ADD
00000bbc: ADD
00000bbd: SWAP1
00000bbe: SSTORE
00000bbf: PUSH2 0x0b26
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x00
00000bc6: DUP1
00000bc7: SLOAD
00000bc8: DUP3
00000bc9: SWAP1
00000bca: DUP2
00000bcb: LT
00000bcc: ISZERO
00000bcd: PUSH2 0x0002
00000bd0: JUMPI
00000bd1: POP
00000bd2: DUP1
00000bd3: DUP1
00000bd4: MSTORE
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: PUSH1 0x06
00000bda: DUP4
00000bdb: MUL
00000bdc: PUSH1 0x00
00000bde: DUP1
00000bdf: MLOAD
00000be0: PUSH1 0x20
00000be2: PUSH2 0x0d1e
00000be5: DUP4
00000be6: CODECOPY
00000be7: DUP2
00000be8: MLOAD
00000be9: SWAP2
00000bea: MSTORE
00000beb: ADD
00000bec: SLOAD
00000bed: PUSH1 0x01
00000bef: PUSH1 0xa0
00000bf1: PUSH1 0x02
00000bf3: EXP
00000bf4: SUB
00000bf5: AND
00000bf6: SWAP2
00000bf7: SWAP1
00000bf8: DUP6
00000bf9: SWAP1
00000bfa: DUP3
00000bfb: DUP2
00000bfc: DUP2
00000bfd: DUP2
00000bfe: DUP6
00000bff: DUP9
00000c00: DUP4
00000c01: CALL
00000c02: POP
00000c03: POP
00000c04: DUP2
00000c05: SLOAD
00000c06: SWAP2
00000c07: SWAP3
00000c08: POP
00000c09: DUP4
00000c0a: SWAP2
00000c0b: DUP3
00000c0c: LT
00000c0d: ISZERO
00000c0e: SWAP1
00000c0f: POP
00000c10: PUSH2 0x0002
00000c13: JUMPI
00000c14: POP
00000c15: DUP1
00000c16: MSTORE
00000c17: PUSH1 0x06
00000c19: MUL
00000c1a: PUSH1 0x00
00000c1c: DUP1
00000c1d: MLOAD
00000c1e: PUSH1 0x20
00000c20: PUSH2 0x0d3e
00000c23: DUP4
00000c24: CODECOPY
00000c25: DUP2
00000c26: MLOAD
00000c27: SWAP2
00000c28: MSTORE
00000c29: ADD
00000c2a: SLOAD
00000c2b: PUSH1 0x00
00000c2d: NOT
00000c2e: DUP2
00000c2f: EQ
00000c30: ISZERO
00000c31: PUSH2 0x0ae2
00000c34: JUMPI
00000c35: PUSH1 0x02
00000c37: DUP1
00000c38: SLOAD
00000c39: DUP4
00000c3a: ADD
00000c3b: SWAP1
00000c3c: SSTORE
00000c3d: PUSH2 0x0b26
00000c40: JUMP
00000c41: JUMPDEST
00000c42: POP
00000c43: POP
00000c44: PUSH1 0x00
00000c46: PUSH1 0x01
00000c48: SSTORE
00000c49: POP
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: POP
00000c4e: POP
00000c4f: PUSH1 0x04
00000c51: DUP2
00000c52: ADD
00000c53: DUP1
00000c54: SLOAD
00000c55: PUSH1 0xff
00000c57: NOT
00000c58: AND
00000c59: SWAP1
00000c5a: SSTORE
00000c5b: PUSH1 0x00
00000c5d: PUSH1 0x05
00000c5f: DUP3
00000c60: ADD
00000c61: SSTORE
00000c62: PUSH1 0x01
00000c64: ADD
00000c65: JUMPDEST
00000c66: DUP1
00000c67: DUP3
00000c68: GT
00000c69: ISZERO
00000c6a: PUSH2 0x078b
00000c6d: JUMPI
00000c6e: DUP1
00000c6f: SLOAD
00000c70: PUSH1 0x01
00000c72: PUSH1 0xa0
00000c74: PUSH1 0x02
00000c76: EXP
00000c77: SUB
00000c78: NOT
00000c79: AND
00000c7a: DUP2
00000c7b: SSTORE
00000c7c: PUSH1 0x00
00000c7e: PUSH1 0x01
00000c80: DUP3
00000c81: DUP2
00000c82: ADD
00000c83: DUP3
00000c84: SWAP1
00000c85: SSTORE
00000c86: PUSH1 0x02
00000c88: DUP4
00000c89: DUP2
00000c8a: ADD
00000c8b: DUP1
00000c8c: SLOAD
00000c8d: DUP5
00000c8e: DUP3
00000c8f: SSTORE
00000c90: SWAP1
00000c91: SWAP3
00000c92: DUP2
00000c93: AND
00000c94: ISZERO
00000c95: PUSH2 0x0100
00000c98: MUL
00000c99: PUSH1 0x00
00000c9b: NOT
00000c9c: ADD
00000c9d: AND
00000c9e: DIV
00000c9f: PUSH1 0x1f
00000ca1: DUP2
00000ca2: SWAP1
00000ca3: LT
00000ca4: PUSH2 0x0cd6
00000ca7: JUMPI
00000ca8: POP
00000ca9: JUMPDEST
00000caa: POP
00000cab: PUSH1 0x03
00000cad: DUP3
00000cae: ADD
00000caf: PUSH1 0x00
00000cb1: POP
00000cb2: DUP1
00000cb3: SLOAD
00000cb4: PUSH1 0x01
00000cb6: DUP2
00000cb7: PUSH1 0x01
00000cb9: AND
00000cba: ISZERO
00000cbb: PUSH2 0x0100
00000cbe: MUL
00000cbf: SUB
00000cc0: AND
00000cc1: PUSH1 0x02
00000cc3: SWAP1
00000cc4: DIV
00000cc5: PUSH1 0x00
00000cc7: DUP3
00000cc8: SSTORE
00000cc9: DUP1
00000cca: PUSH1 0x1f
00000ccc: LT
00000ccd: PUSH2 0x0cf4
00000cd0: JUMPI
00000cd1: POP
00000cd2: PUSH2 0x0c4c
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: PUSH1 0x1f
00000cd9: ADD
00000cda: PUSH1 0x20
00000cdc: SWAP1
00000cdd: DIV
00000cde: SWAP1
00000cdf: PUSH1 0x00
00000ce1: MSTORE
00000ce2: PUSH1 0x20
00000ce4: PUSH1 0x00
00000ce6: KECCAK256
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: ADD
00000cea: SWAP1
00000ceb: PUSH2 0x0ca9
00000cee: SWAP2
00000cef: SWAP1
00000cf0: PUSH2 0x0777
00000cf3: JUMP
00000cf4: JUMPDEST
00000cf5: PUSH1 0x1f
00000cf7: ADD
00000cf8: PUSH1 0x20
00000cfa: SWAP1
00000cfb: DIV
00000cfc: SWAP1
00000cfd: PUSH1 0x00
00000cff: MSTORE
00000d00: PUSH1 0x20
00000d02: PUSH1 0x00
00000d04: KECCAK256
00000d05: SWAP1
00000d06: DUP2
00000d07: ADD
00000d08: SWAP1
00000d09: PUSH2 0x0c4c
00000d0c: SWAP2
00000d0d: SWAP1
00000d0e: PUSH2 0x0777
00000d11: JUMP
00000d12: JUMPDEST
00000d13: PUSH1 0x01
00000d15: SWAP2
00000d16: SWAP1
00000d17: SWAP2
00000d18: ADD
00000d19: SWAP1
00000d1a: PUSH2 0x08e2
00000d1d: JUMP
00000d1e: UNKNOWN(0x29)
00000d1f: UNKNOWN(0x0D)
00000d20: UNKNOWN(0xEC)
00000d21: UNKNOWN(0xD9)
00000d22: SLOAD
00000d23: DUP12
00000d24: PUSH3 0xa8d603
00000d28: GASLIMIT
00000d29: UNKNOWN(0xA9)
00000d2a: DUP9
00000d2b: CODESIZE
00000d2c: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000d3d: PUSH4 0x290decd9
00000d42: SLOAD
00000d43: DUP12
00000d44: PUSH3 0xa8d603
00000d48: GASLIMIT
00000d49: UNKNOWN(0xA9)
00000d4a: DUP9
00000d4b: CODESIZE
00000d4c: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00000d5d: PUSH9
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x91e64dd39399c54d8234f6f76244b114f1451bf6f67f5de2e1b5b6e0cd9c6ff0
call_targets: 0x33c058a9fd116fc50bbc318e7fb90297541f50b4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x91e64dd39399c54d8234f6f76244b114f1451bf6f67f5de2e1b5b6e0cd9c6ff0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x33c058a9fd116fc50bbc318e7fb90297541f50b4"
    ],
    "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": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11a7a4c0",
            "selector": "0x11a7a4c0",
            "calldata_variants": [
                "0x11a7a4c0",
                "0x11a7a4c00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x31921cad",
            "selector": "0x31921cad",
            "calldata_variants": [
                "0x31921cad",
                "0x31921cad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x45352983",
            "selector": "0x45352983",
            "calldata_variants": [
                "0x45352983",
                "0x453529830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9af1d35a",
            "selector": "0x9af1d35a",
            "calldata_variants": [
                "0x9af1d35a",
                "0x9af1d35a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3b64c2c",
            "selector": "0xa3b64c2c",
            "calldata_variants": [
                "0xa3b64c2c",
                "0xa3b64c2c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa60f3588",
            "selector": "0xa60f3588",
            "calldata_variants": [
                "0xa60f3588",
                "0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2567,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2725,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2748,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [],
    "untrusted_call_count": 7
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x91e64dd39399c54d8234f6f76244b114f1451bf6f67f5de2e1b5b6e0cd9c6ff0
call_targets: 0x33c058a9fd116fc50bbc318e7fb90297541f50b4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x91e64dd39399c54d8234f6f76244b114f1451bf6f67f5de2e1b5b6e0cd9c6ff0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x33c058a9fd116fc50bbc318e7fb90297541f50b4"
    ],
    "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": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11a7a4c0",
            "selector": "0x11a7a4c0",
            "calldata_variants": [
                "0x11a7a4c0",
                "0x11a7a4c00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x31921cad",
            "selector": "0x31921cad",
            "calldata_variants": [
                "0x31921cad",
                "0x31921cad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x45352983",
            "selector": "0x45352983",
            "calldata_variants": [
                "0x45352983",
                "0x453529830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9af1d35a",
            "selector": "0x9af1d35a",
            "calldata_variants": [
                "0x9af1d35a",
                "0x9af1d35a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3b64c2c",
            "selector": "0xa3b64c2c",
            "calldata_variants": [
                "0xa3b64c2c",
                "0xa3b64c2c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa60f3588",
            "selector": "0xa60f3588",
            "calldata_variants": [
                "0xa60f3588",
                "0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2567,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2725,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2748,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}