Analysis Run

019b477e-a836-72c5-b671-07d20b036837

complete

Chain ID

1

Address

0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
20393	artifact.fetch	complete	1 / 3	3 months ago
20394	tool.cast_disasm	complete	1 / 3	3 months ago
63422	analysis.bundle	complete	1 / 3	1 week ago
63423	capability.graph	complete	1 / 3	1 week ago
63424	detector.run	complete	1 / 3	1 week ago
63425	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

1

CREATE2

0

CALL-family (heavy)

4

EXT*/BALANCE

3

Total opcodes

1918

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00da
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x13dce938
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00e7
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x14f47de4
00000025: EQ
00000026: PUSH2 0x00f5
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1d8f310a
00000030: EQ
00000031: PUSH2 0x0115
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29dcb0cf
0000003b: EQ
0000003c: PUSH2 0x0126
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3ccfd60b
00000046: EQ
00000047: PUSH2 0x012f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x3e76aa06
00000051: EQ
00000052: PUSH2 0x0214
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x43cce08e
0000005c: EQ
0000005d: PUSH2 0x0250
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x5c76ca2d
00000067: EQ
00000068: PUSH2 0x0264
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x63bd1d4a
00000072: EQ
00000073: PUSH2 0x0270
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x7cbbcca6
0000007d: EQ
0000007e: PUSH2 0x0283
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x8261192e
00000088: EQ
00000089: PUSH2 0x0393
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x9ac99635
00000093: EQ
00000094: PUSH2 0x03a5
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x9f47c36c
0000009e: EQ
0000009f: PUSH2 0x03b9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xbb2f7847
000000a9: EQ
000000aa: PUSH2 0x03c2
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xc6aef98a
000000b4: EQ
000000b5: PUSH2 0x03d9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xd356ead2
000000bf: EQ
000000c0: PUSH2 0x03ec
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xefcceaa5
000000ca: EQ
000000cb: PUSH2 0x0430
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xf040630c
000000d5: EQ
000000d6: PUSH2 0x0444
000000d9: JUMPI
000000da: JUMPDEST
000000db: PUSH2 0x044d
000000de: PUSH1 0x00
000000e0: PUSH2 0x044f
000000e3: PUSH2 0x03c6
000000e6: JUMP
000000e7: JUMPDEST
000000e8: PUSH2 0x044d
000000eb: PUSH1 0x06
000000ed: DUP1
000000ee: SLOAD
000000ef: CALLVALUE
000000f0: ADD
000000f1: SWAP1
000000f2: SSTORE
000000f3: JUMPDEST
000000f4: JUMP
000000f5: JUMPDEST
000000f6: PUSH1 0x1a
000000f8: SLOAD
000000f9: PUSH1 0x19
000000fb: SLOAD
000000fc: JUMPDEST
000000fd: PUSH1 0x40
000000ff: DUP1
00000100: MLOAD
00000101: SWAP3
00000102: DUP4
00000103: MSTORE
00000104: PUSH1 0x20
00000106: DUP4
00000107: ADD
00000108: SWAP2
00000109: SWAP1
0000010a: SWAP2
0000010b: MSTORE
0000010c: DUP1
0000010d: MLOAD
0000010e: SWAP2
0000010f: DUP3
00000110: SWAP1
00000111: SUB
00000112: ADD
00000113: SWAP1
00000114: RETURN
00000115: JUMPDEST
00000116: PUSH2 0x049d
00000119: PUSH1 0x07
0000011b: SLOAD
0000011c: PUSH2 0x0100
0000011f: SWAP1
00000120: DIV
00000121: PUSH1 0xff
00000123: AND
00000124: DUP2
00000125: JUMP
00000126: JUMPDEST
00000127: PUSH2 0x049d
0000012a: PUSH1 0x04
0000012c: SLOAD
0000012d: DUP2
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH2 0x044d
00000133: PUSH1 0x01
00000135: PUSH1 0xa0
00000137: PUSH1 0x02
00000139: EXP
0000013a: SUB
0000013b: CALLER
0000013c: AND
0000013d: PUSH1 0x00
0000013f: DUP2
00000140: DUP2
00000141: MSTORE
00000142: PUSH1 0x08
00000144: PUSH1 0x20
00000146: MSTORE
00000147: PUSH1 0x40
00000149: DUP1
0000014a: DUP3
0000014b: KECCAK256
0000014c: DUP1
0000014d: SLOAD
0000014e: SWAP1
0000014f: DUP4
00000150: SWAP1
00000151: SSTORE
00000152: SWAP1
00000153: MLOAD
00000154: SWAP1
00000155: SWAP3
00000156: SWAP2
00000157: SWAP1
00000158: DUP4
00000159: SWAP1
0000015a: DUP3
0000015b: DUP2
0000015c: DUP2
0000015d: DUP2
0000015e: DUP6
0000015f: DUP9
00000160: DUP4
00000161: CALL
00000162: SWAP4
00000163: POP
00000164: POP
00000165: POP
00000166: POP
00000167: ISZERO
00000168: ISZERO
00000169: PUSH2 0x0211
0000016c: JUMPI
0000016d: CALLER
0000016e: PUSH1 0x01
00000170: PUSH1 0xa0
00000172: PUSH1 0x02
00000174: EXP
00000175: SUB
00000176: AND
00000177: PUSH32 0xfd73bd70d9e6a8bde14637188a03b988d799f901901f27e4271612240d8d22c9
00000198: DUP3
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: DUP3
0000019e: DUP2
0000019f: MSTORE
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: DUP1
000001a4: PUSH1 0x20
000001a6: ADD
000001a7: DUP3
000001a8: DUP2
000001a9: SUB
000001aa: DUP3
000001ab: MSTORE
000001ac: PUSH1 0x12
000001ae: DUP2
000001af: MSTORE
000001b0: PUSH1 0x20
000001b2: ADD
000001b3: DUP1
000001b4: PUSH32 0x5769746864726177616c204661696c7572650000000000000000000000000000
000001d5: DUP2
000001d6: MSTORE
000001d7: PUSH1 0x20
000001d9: ADD
000001da: POP
000001db: PUSH1 0x20
000001dd: ADD
000001de: SWAP3
000001df: POP
000001e0: POP
000001e1: POP
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: SWAP2
000001e7: SUB
000001e8: SWAP1
000001e9: LOG2
000001ea: DUP1
000001eb: PUSH1 0x08
000001ed: PUSH1 0x00
000001ef: POP
000001f0: PUSH1 0x00
000001f2: CALLER
000001f3: PUSH1 0x01
000001f5: PUSH1 0xa0
000001f7: PUSH1 0x02
000001f9: EXP
000001fa: SUB
000001fb: AND
000001fc: DUP2
000001fd: MSTORE
000001fe: PUSH1 0x20
00000200: ADD
00000201: SWAP1
00000202: DUP2
00000203: MSTORE
00000204: PUSH1 0x20
00000206: ADD
00000207: PUSH1 0x00
00000209: KECCAK256
0000020a: PUSH1 0x00
0000020c: POP
0000020d: DUP2
0000020e: SWAP1
0000020f: SSTORE
00000210: POP
00000211: JUMPDEST
00000212: POP
00000213: JUMP
00000214: JUMPDEST
00000215: PUSH2 0x049d
00000218: PUSH1 0x04
0000021a: CALLDATALOAD
0000021b: PUSH1 0x24
0000021d: CALLDATALOAD
0000021e: JUMPDEST
0000021f: PUSH1 0x1a
00000221: SLOAD
00000222: PUSH1 0x19
00000224: SLOAD
00000225: PUSH1 0x00
00000227: SWAP2
00000228: DUP5
00000229: ADD
0000022a: SWAP1
0000022b: DUP4
0000022c: ADD
0000022d: DUP2
0000022e: DUP4
0000022f: EQ
00000230: DUP1
00000231: ISZERO
00000232: PUSH2 0x023b
00000235: JUMPI
00000236: POP
00000237: DUP1
00000238: PUSH1 0x00
0000023a: EQ
0000023b: JUMPDEST
0000023c: ISZERO
0000023d: PUSH2 0x05f0
00000240: JUMPI
00000241: PUSH8 0x06f05b59d3b20000
0000024a: SWAP3
0000024b: POP
0000024c: PUSH2 0x0602
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x049d
00000254: PUSH1 0x01
00000256: SLOAD
00000257: PUSH1 0x01
00000259: PUSH1 0xa0
0000025b: PUSH1 0x02
0000025d: EXP
0000025e: SUB
0000025f: AND
00000260: BALANCE
00000261: JUMPDEST
00000262: SWAP1
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH2 0x049d
00000268: PUSH1 0x07
0000026a: SLOAD
0000026b: PUSH1 0xff
0000026d: AND
0000026e: DUP2
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x044d
00000274: JUMPDEST
00000275: PUSH1 0x04
00000277: SLOAD
00000278: TIMESTAMP
00000279: LT
0000027a: ISZERO
0000027b: PUSH2 0x060a
0000027e: JUMPI
0000027f: PUSH2 0x0002
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH2 0x044d
00000287: PUSH1 0x60
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: SWAP1
0000028d: DUP2
0000028e: ADD
0000028f: PUSH1 0x40
00000291: MSTORE
00000292: DUP1
00000293: PUSH1 0x03
00000295: SWAP1
00000296: JUMPDEST
00000297: PUSH1 0x00
00000299: DUP2
0000029a: MSTORE
0000029b: PUSH1 0x20
0000029d: ADD
0000029e: SWAP1
0000029f: PUSH1 0x01
000002a1: SWAP1
000002a2: SUB
000002a3: SWAP1
000002a4: DUP2
000002a5: PUSH2 0x0296
000002a8: JUMPI
000002a9: POP
000002aa: POP
000002ab: PUSH1 0x40
000002ad: DUP1
000002ae: MLOAD
000002af: PUSH1 0x60
000002b1: DUP2
000002b2: ADD
000002b3: SWAP1
000002b4: SWAP2
000002b5: MSTORE
000002b6: PUSH1 0x03
000002b8: DUP2
000002b9: JUMPDEST
000002ba: PUSH1 0x00
000002bc: DUP2
000002bd: MSTORE
000002be: PUSH1 0x20
000002c0: ADD
000002c1: SWAP1
000002c2: PUSH1 0x01
000002c4: SWAP1
000002c5: SUB
000002c6: SWAP1
000002c7: DUP2
000002c8: PUSH2 0x02b9
000002cb: JUMPI
000002cc: POP
000002cd: POP
000002ce: PUSH1 0x40
000002d0: DUP1
000002d1: MLOAD
000002d2: PUSH1 0x60
000002d4: DUP2
000002d5: DUP2
000002d6: ADD
000002d7: DUP4
000002d8: MSTORE
000002d9: PUSH2 0x09c4
000002dc: DUP3
000002dd: MSTORE
000002de: PUSH2 0x0bb8
000002e1: PUSH1 0x20
000002e3: DUP4
000002e4: DUP2
000002e5: ADD
000002e6: SWAP2
000002e7: SWAP1
000002e8: SWAP2
000002e9: MSTORE
000002ea: PUSH2 0x1194
000002ed: DUP4
000002ee: DUP6
000002ef: ADD
000002f0: MSTORE
000002f1: DUP4
000002f2: MLOAD
000002f3: SWAP2
000002f4: DUP3
000002f5: ADD
000002f6: DUP5
000002f7: MSTORE
000002f8: PUSH1 0x00
000002fa: DUP1
000002fb: DUP4
000002fc: MSTORE
000002fd: PUSH20 0x4e7e74eac582794594220bc1d45a8fd994604d9d
00000312: SWAP2
00000313: DUP4
00000314: ADD
00000315: SWAP2
00000316: SWAP1
00000317: SWAP2
00000318: MSTORE
00000319: PUSH20 0x175c6e202a020b63313db8ca0caadbd97091fbf3
0000032e: SWAP4
0000032f: DUP3
00000330: ADD
00000331: SWAP4
00000332: SWAP1
00000333: SWAP4
00000334: MSTORE
00000335: SWAP1
00000336: SWAP4
00000337: POP
00000338: SWAP2
00000339: POP
0000033a: PUSH1 0x01
0000033c: PUSH1 0xa0
0000033e: PUSH1 0x02
00000340: EXP
00000341: SUB
00000342: CALLER
00000343: AND
00000344: DUP2
00000345: EQ
00000346: DUP1
00000347: PUSH2 0x036c
0000034a: JUMPI
0000034b: POP
0000034c: PUSH20 0x4e7e74eac582794594220bc1d45a8fd994604d9d
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: PUSH1 0x02
00000367: EXP
00000368: SUB
00000369: CALLER
0000036a: AND
0000036b: EQ
0000036c: JUMPDEST
0000036d: DUP1
0000036e: PUSH2 0x0386
00000371: JUMPI
00000372: POP
00000373: PUSH1 0x40
00000375: DUP3
00000376: ADD
00000377: MLOAD
00000378: PUSH1 0x01
0000037a: PUSH1 0xa0
0000037c: PUSH1 0x02
0000037e: EXP
0000037f: SUB
00000380: CALLER
00000381: DUP2
00000382: AND
00000383: SWAP2
00000384: AND
00000385: EQ
00000386: JUMPDEST
00000387: ISZERO
00000388: PUSH2 0x0519
0000038b: JUMPI
0000038c: PUSH2 0x051e
0000038f: PUSH2 0x0274
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH2 0x044d
00000397: PUSH1 0x04
00000399: CALLDATALOAD
0000039a: PUSH1 0x24
0000039c: CALLDATALOAD
0000039d: JUMPDEST
0000039e: PUSH2 0x04af
000003a1: PUSH2 0x03c6
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH2 0x049d
000003a9: PUSH1 0x04
000003ab: CALLDATALOAD
000003ac: JUMPDEST
000003ad: PUSH1 0x00
000003af: PUSH2 0x05ba
000003b2: PUSH1 0x00
000003b4: DUP4
000003b5: PUSH2 0x021e
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x049d
000003bd: PUSH1 0x03
000003bf: SLOAD
000003c0: DUP2
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x049d
000003c6: JUMPDEST
000003c7: PUSH1 0x07
000003c9: SLOAD
000003ca: PUSH1 0x00
000003cc: SWAP1
000003cd: PUSH1 0xff
000003cf: AND
000003d0: ISZERO
000003d1: PUSH2 0x04e8
000003d4: JUMPI
000003d5: PUSH2 0x0261
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH2 0x00fc
000003dd: PUSH1 0x04
000003df: CALLDATALOAD
000003e0: PUSH1 0x00
000003e2: PUSH1 0x00
000003e4: PUSH2 0x05de
000003e7: DUP4
000003e8: PUSH2 0x03ac
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH2 0x00fc
000003f0: JUMPDEST
000003f1: PUSH1 0x00
000003f3: DUP1
000003f4: DUP1
000003f5: DUP1
000003f6: DUP1
000003f7: JUMPDEST
000003f8: PUSH1 0x0e
000003fa: PUSH1 0xff
000003fc: DUP3
000003fd: AND
000003fe: LT
000003ff: ISZERO
00000400: PUSH2 0x0657
00000403: JUMPI
00000404: PUSH1 0x09
00000406: PUSH1 0xff
00000408: DUP3
00000409: AND
0000040a: PUSH1 0x0e
0000040c: DUP2
0000040d: LT
0000040e: ISZERO
0000040f: PUSH2 0x0002
00000412: JUMPI
00000413: ADD
00000414: PUSH1 0x00
00000416: POP
00000417: SLOAD
00000418: PUSH2 0x0661
0000041b: PUSH1 0x09
0000041d: PUSH1 0xff
0000041f: DUP5
00000420: AND
00000421: PUSH1 0x0e
00000423: DUP2
00000424: LT
00000425: ISZERO
00000426: PUSH2 0x0002
00000429: JUMPI
0000042a: ADD
0000042b: SLOAD
0000042c: PUSH2 0x0437
0000042f: JUMP
00000430: JUMPDEST
00000431: PUSH2 0x049d
00000434: PUSH1 0x04
00000436: CALLDATALOAD
00000437: JUMPDEST
00000438: PUSH1 0x00
0000043a: PUSH2 0x05a2
0000043d: DUP3
0000043e: PUSH1 0x00
00000440: PUSH2 0x021e
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH2 0x049d
00000448: PUSH1 0x05
0000044a: SLOAD
0000044b: DUP2
0000044c: JUMP
0000044d: JUMPDEST
0000044e: STOP
0000044f: JUMPDEST
00000450: ISZERO
00000451: ISZERO
00000452: PUSH2 0x045a
00000455: JUMPI
00000456: PUSH2 0x0002
00000459: JUMP
0000045a: JUMPDEST
0000045b: POP
0000045c: PUSH1 0x00
0000045e: PUSH2 0x0466
00000461: CALLVALUE
00000462: PUSH2 0x03ac
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH2 0x046f
0000046a: CALLVALUE
0000046b: PUSH2 0x0437
0000046e: JUMP
0000046f: JUMPDEST
00000470: GT
00000471: ISZERO
00000472: PUSH2 0x047d
00000475: JUMPI
00000476: POP
00000477: PUSH1 0x01
00000479: PUSH2 0x0481
0000047c: JUMP
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH1 0x00
00000481: JUMPDEST
00000482: DUP1
00000483: ISZERO
00000484: PUSH2 0x0492
00000487: JUMPI
00000488: PUSH2 0x0211
0000048b: CALLER
0000048c: PUSH1 0x01
0000048e: PUSH2 0x039d
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x0211
00000496: CALLER
00000497: PUSH1 0x00
00000499: PUSH2 0x039d
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH1 0x40
000004a0: DUP1
000004a1: MLOAD
000004a2: SWAP2
000004a3: DUP3
000004a4: MSTORE
000004a5: MLOAD
000004a6: SWAP1
000004a7: DUP2
000004a8: SWAP1
000004a9: SUB
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: SWAP1
000004ae: RETURN
000004af: JUMPDEST
000004b0: ISZERO
000004b1: ISZERO
000004b2: PUSH2 0x04ba
000004b5: JUMPI
000004b6: PUSH2 0x0002
000004b9: JUMP
000004ba: JUMPDEST
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04d2
000004c0: JUMPI
000004c1: PUSH2 0x04e4
000004c4: DUP3
000004c5: PUSH1 0x00
000004c7: PUSH1 0x00
000004c9: PUSH1 0x00
000004cb: PUSH2 0x06ca
000004ce: PUSH2 0x03f0
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH2 0x04e4
000004d6: DUP3
000004d7: PUSH1 0x00
000004d9: PUSH1 0x00
000004db: PUSH1 0x00
000004dd: PUSH2 0x0929
000004e0: PUSH2 0x03f0
000004e3: JUMP
000004e4: JUMPDEST
000004e5: POP
000004e6: POP
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH1 0x03
000004eb: SLOAD
000004ec: TIMESTAMP
000004ed: GT
000004ee: ISZERO
000004ef: PUSH2 0x04fa
000004f2: JUMPI
000004f3: POP
000004f4: PUSH1 0x00
000004f6: PUSH2 0x0261
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH7 0x2386f26fc10000
00000503: CALLVALUE
00000504: LT
00000505: ISZERO
00000506: PUSH2 0x0511
00000509: JUMPI
0000050a: POP
0000050b: PUSH1 0x00
0000050d: PUSH2 0x0261
00000510: JUMP
00000511: JUMPDEST
00000512: POP
00000513: PUSH1 0x01
00000515: PUSH2 0x0261
00000518: JUMP
00000519: JUMPDEST
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: JUMP
0000051e: JUMPDEST
0000051f: POP
00000520: PUSH1 0x00
00000522: JUMPDEST
00000523: PUSH1 0x03
00000525: PUSH1 0xff
00000527: DUP3
00000528: AND
00000529: LT
0000052a: ISZERO
0000052b: PUSH2 0x0595
0000052e: JUMPI
0000052f: DUP2
00000530: DUP2
00000531: PUSH1 0xff
00000533: AND
00000534: PUSH1 0x03
00000536: DUP2
00000537: LT
00000538: ISZERO
00000539: PUSH2 0x0002
0000053c: JUMPI
0000053d: PUSH1 0x20
0000053f: MUL
00000540: ADD
00000541: MLOAD
00000542: PUSH1 0x01
00000544: PUSH1 0xa0
00000546: PUSH1 0x02
00000548: EXP
00000549: SUB
0000054a: AND
0000054b: PUSH1 0x00
0000054d: PUSH2 0x2710
00000550: DUP6
00000551: PUSH1 0xff
00000553: DUP6
00000554: AND
00000555: PUSH1 0x03
00000557: DUP2
00000558: LT
00000559: ISZERO
0000055a: PUSH2 0x0002
0000055d: JUMPI
0000055e: SWAP1
0000055f: SWAP1
00000560: PUSH1 0x20
00000562: MUL
00000563: ADD
00000564: MLOAD
00000565: PUSH2 0xffff
00000568: AND
00000569: ADDRESS
0000056a: PUSH1 0x01
0000056c: PUSH1 0xa0
0000056e: PUSH1 0x02
00000570: EXP
00000571: SUB
00000572: AND
00000573: BALANCE
00000574: MUL
00000575: DIV
00000576: PUSH1 0x40
00000578: MLOAD
00000579: DUP1
0000057a: SWAP1
0000057b: POP
0000057c: PUSH1 0x00
0000057e: PUSH1 0x40
00000580: MLOAD
00000581: DUP1
00000582: DUP4
00000583: SUB
00000584: DUP2
00000585: DUP6
00000586: DUP9
00000587: DUP9
00000588: CALL
00000589: POP
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: PUSH1 0x01
00000590: ADD
00000591: PUSH2 0x0522
00000594: JUMP
00000595: JUMPDEST
00000596: DUP2
00000597: MLOAD
00000598: PUSH1 0x01
0000059a: PUSH1 0xa0
0000059c: PUSH1 0x02
0000059e: EXP
0000059f: SUB
000005a0: AND
000005a1: SELFDESTRUCT
000005a2: JUMPDEST
000005a3: PUSH1 0x02
000005a5: SLOAD
000005a6: PUSH8 0x0de0b6b3a7640000
000005af: SUB
000005b0: DUP4
000005b1: MUL
000005b2: DIV
000005b3: SWAP1
000005b4: POP
000005b5: JUMPDEST
000005b6: SWAP2
000005b7: SWAP1
000005b8: POP
000005b9: JUMP
000005ba: JUMPDEST
000005bb: PUSH8 0x0de0b6b3a7640000
000005c4: SUB
000005c5: DUP3
000005c6: PUSH1 0x02
000005c8: PUSH1 0x00
000005ca: POP
000005cb: SLOAD
000005cc: PUSH8 0x0de0b6b3a7640000
000005d5: SUB
000005d6: MUL
000005d7: DIV
000005d8: SWAP1
000005d9: POP
000005da: PUSH2 0x05b5
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x05e7
000005e2: DUP5
000005e3: PUSH2 0x0437
000005e6: JUMP
000005e7: JUMPDEST
000005e8: SWAP2
000005e9: POP
000005ea: SWAP2
000005eb: POP
000005ec: SWAP2
000005ed: POP
000005ee: SWAP2
000005ef: JUMP
000005f0: JUMPDEST
000005f1: DUP1
000005f2: DUP3
000005f3: ADD
000005f4: DUP3
000005f5: PUSH8 0x0de0b6b3a7640000
000005fe: MUL
000005ff: DIV
00000600: SWAP3
00000601: POP
00000602: JUMPDEST
00000603: POP
00000604: POP
00000605: SWAP3
00000606: SWAP2
00000607: POP
00000608: POP
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH1 0x05
0000060d: SLOAD
0000060e: PUSH1 0x01
00000610: SLOAD
00000611: PUSH1 0x01
00000613: PUSH1 0xa0
00000615: PUSH1 0x02
00000617: EXP
00000618: SUB
00000619: AND
0000061a: BALANCE
0000061b: GT
0000061c: ISZERO
0000061d: PUSH2 0x0639
00000620: JUMPI
00000621: PUSH2 0x0652
00000624: PUSH1 0x07
00000626: SLOAD
00000627: PUSH1 0x00
00000629: SWAP1
0000062a: PUSH1 0xff
0000062c: AND
0000062d: PUSH1 0x01
0000062f: EQ
00000630: ISZERO
00000631: PUSH2 0x0b37
00000634: JUMPI
00000635: PUSH2 0x0211
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH2 0x00f3
0000063d: PUSH1 0x07
0000063f: SLOAD
00000640: PUSH1 0x00
00000642: SWAP1
00000643: PUSH1 0xff
00000645: AND
00000646: PUSH1 0x01
00000648: EQ
00000649: ISZERO
0000064a: PUSH2 0x0c4c
0000064d: JUMPI
0000064e: PUSH2 0x0211
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH2 0x00f3
00000656: JUMP
00000657: JUMPDEST
00000658: POP
00000659: SWAP1
0000065a: SWAP4
0000065b: SWAP1
0000065c: SWAP3
0000065d: POP
0000065e: SWAP1
0000065f: POP
00000660: JUMP
00000661: JUMPDEST
00000662: GT
00000663: ISZERO
00000664: PUSH2 0x067b
00000667: JUMPI
00000668: PUSH1 0x09
0000066a: PUSH1 0xff
0000066c: DUP3
0000066d: AND
0000066e: PUSH1 0x0e
00000670: DUP2
00000671: LT
00000672: ISZERO
00000673: PUSH2 0x0002
00000676: JUMPI
00000677: ADD
00000678: SLOAD
00000679: SWAP3
0000067a: POP
0000067b: JUMPDEST
0000067c: PUSH1 0x09
0000067e: PUSH1 0xff
00000680: DUP3
00000681: AND
00000682: PUSH1 0x0e
00000684: DUP2
00000685: LT
00000686: ISZERO
00000687: PUSH2 0x0002
0000068a: JUMPI
0000068b: ADD
0000068c: PUSH1 0x00
0000068e: POP
0000068f: SLOAD
00000690: PUSH2 0x06a8
00000693: PUSH1 0x09
00000695: PUSH1 0xff
00000697: DUP5
00000698: AND
00000699: PUSH1 0x0e
0000069b: DUP2
0000069c: LT
0000069d: ISZERO
0000069e: PUSH2 0x0002
000006a1: JUMPI
000006a2: ADD
000006a3: SLOAD
000006a4: PUSH2 0x03ac
000006a7: JUMP
000006a8: JUMPDEST
000006a9: GT
000006aa: ISZERO
000006ab: PUSH2 0x06c2
000006ae: JUMPI
000006af: PUSH1 0x09
000006b1: PUSH1 0xff
000006b3: DUP3
000006b4: AND
000006b5: PUSH1 0x0e
000006b7: DUP2
000006b8: LT
000006b9: ISZERO
000006ba: PUSH2 0x0002
000006bd: JUMPI
000006be: ADD
000006bf: SLOAD
000006c0: SWAP2
000006c1: POP
000006c2: JUMPDEST
000006c3: PUSH1 0x01
000006c5: ADD
000006c6: PUSH2 0x03f7
000006c9: JUMP
000006ca: JUMPDEST
000006cb: POP
000006cc: SWAP3
000006cd: POP
000006ce: CALLVALUE
000006cf: SWAP2
000006d0: POP
000006d1: DUP3
000006d2: CALLVALUE
000006d3: GT
000006d4: ISZERO
000006d5: PUSH2 0x079e
000006d8: JUMPI
000006d9: PUSH1 0x40
000006db: MLOAD
000006dc: DUP4
000006dd: SWAP3
000006de: PUSH1 0x01
000006e0: PUSH1 0xa0
000006e2: PUSH1 0x02
000006e4: EXP
000006e5: SUB
000006e6: DUP7
000006e7: AND
000006e8: SWAP2
000006e9: PUSH1 0x00
000006eb: SWAP2
000006ec: DUP6
000006ed: SWAP1
000006ee: SUB
000006ef: SWAP1
000006f0: DUP3
000006f1: DUP2
000006f2: DUP2
000006f3: DUP2
000006f4: DUP6
000006f5: DUP9
000006f6: DUP4
000006f7: CALL
000006f8: SWAP4
000006f9: POP
000006fa: POP
000006fb: POP
000006fc: POP
000006fd: ISZERO
000006fe: ISZERO
000006ff: PUSH2 0x079e
00000702: JUMPI
00000703: PUSH1 0x40
00000705: DUP1
00000706: MLOAD
00000707: CALLVALUE
00000708: DUP5
00000709: SWAP1
0000070a: SUB
0000070b: DUP2
0000070c: MSTORE
0000070d: PUSH1 0x20
0000070f: DUP2
00000710: ADD
00000711: DUP3
00000712: SWAP1
00000713: MSTORE
00000714: PUSH1 0x3a
00000716: DUP2
00000717: DUP4
00000718: ADD
00000719: MSTORE
0000071a: PUSH32 0x436f756c646e277420726566756e642e20576861743f205765276c6c204a7573
0000073b: PUSH1 0x60
0000073d: DUP3
0000073e: ADD
0000073f: MSTORE
00000740: PUSH32 0x7420486f6c64206f6e20546f20746861742c207468616e6b732e000000000000
00000761: PUSH1 0x80
00000763: DUP3
00000764: ADD
00000765: MSTORE
00000766: SWAP1
00000767: MLOAD
00000768: PUSH1 0x01
0000076a: PUSH1 0xa0
0000076c: PUSH1 0x02
0000076e: EXP
0000076f: SUB
00000770: DUP7
00000771: AND
00000772: SWAP2
00000773: PUSH32 0xfd73bd70d9e6a8bde14637188a03b988d799f901901f27e4271612240d8d22c9
00000794: SWAP2
00000795: SWAP1
00000796: DUP2
00000797: SWAP1
00000798: SUB
00000799: PUSH1 0xa0
0000079b: ADD
0000079c: SWAP1
0000079d: LOG2
0000079e: JUMPDEST
0000079f: PUSH2 0x07a7
000007a2: DUP3
000007a3: PUSH2 0x0437
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH1 0x1c
000007aa: DUP1
000007ab: SLOAD
000007ac: PUSH1 0x01
000007ae: DUP2
000007af: ADD
000007b0: DUP1
000007b1: DUP4
000007b2: SSTORE
000007b3: SWAP3
000007b4: SWAP4
000007b5: POP
000007b6: DUP3
000007b7: SWAP1
000007b8: DUP1
000007b9: ISZERO
000007ba: DUP3
000007bb: SWAP1
000007bc: GT
000007bd: PUSH2 0x0806
000007c0: JUMPI
000007c1: PUSH1 0x03
000007c3: MUL
000007c4: DUP2
000007c5: PUSH1 0x03
000007c7: MUL
000007c8: DUP4
000007c9: PUSH1 0x00
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: PUSH1 0x00
000007d0: KECCAK256
000007d1: SWAP2
000007d2: DUP3
000007d3: ADD
000007d4: SWAP2
000007d5: ADD
000007d6: PUSH2 0x0806
000007d9: SWAP2
000007da: SWAP1
000007db: JUMPDEST
000007dc: DUP1
000007dd: DUP3
000007de: GT
000007df: ISZERO
000007e0: PUSH2 0x0925
000007e3: JUMPI
000007e4: DUP1
000007e5: SLOAD
000007e6: PUSH1 0x01
000007e8: PUSH1 0xa0
000007ea: PUSH1 0x02
000007ec: EXP
000007ed: SUB
000007ee: NOT
000007ef: AND
000007f0: DUP2
000007f1: SSTORE
000007f2: PUSH1 0x00
000007f4: PUSH1 0x01
000007f6: DUP3
000007f7: ADD
000007f8: DUP2
000007f9: DUP2
000007fa: SSTORE
000007fb: PUSH1 0x02
000007fd: SWAP3
000007fe: SWAP1
000007ff: SWAP3
00000800: ADD
00000801: SSTORE
00000802: PUSH2 0x07db
00000805: JUMP
00000806: JUMPDEST
00000807: POP
00000808: POP
00000809: PUSH1 0x17
0000080b: SLOAD
0000080c: PUSH1 0x1c
0000080e: DUP1
0000080f: SLOAD
00000810: DUP9
00000811: SWAP5
00000812: POP
00000813: SWAP1
00000814: SWAP3
00000815: POP
00000816: DUP2
00000817: LT
00000818: ISZERO
00000819: PUSH2 0x0002
0000081c: JUMPI
0000081d: PUSH1 0x00
0000081f: DUP3
00000820: SWAP1
00000821: MSTORE
00000822: PUSH1 0x03
00000824: MUL
00000825: PUSH32 0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211
00000846: ADD
00000847: DUP1
00000848: SLOAD
00000849: PUSH1 0x01
0000084b: PUSH1 0xa0
0000084d: PUSH1 0x02
0000084f: EXP
00000850: SUB
00000851: NOT
00000852: AND
00000853: SWAP1
00000854: SWAP3
00000855: OR
00000856: SWAP1
00000857: SWAP2
00000858: SSTORE
00000859: PUSH1 0x17
0000085b: SLOAD
0000085c: DUP2
0000085d: SLOAD
0000085e: DUP5
0000085f: SWAP3
00000860: SWAP2
00000861: SWAP1
00000862: DUP2
00000863: LT
00000864: ISZERO
00000865: PUSH2 0x0002
00000868: JUMPI
00000869: PUSH1 0x03
0000086b: MUL
0000086c: PUSH32 0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a212
0000088d: ADD
0000088e: SWAP2
0000088f: SWAP1
00000890: SWAP2
00000891: SSTORE
00000892: PUSH1 0x17
00000894: SLOAD
00000895: DUP2
00000896: SLOAD
00000897: DUP4
00000898: SWAP3
00000899: SWAP2
0000089a: SWAP1
0000089b: DUP2
0000089c: LT
0000089d: ISZERO
0000089e: PUSH2 0x0002
000008a1: JUMPI
000008a2: PUSH1 0x03
000008a4: MUL
000008a5: PUSH32 0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a213
000008c6: ADD
000008c7: SWAP2
000008c8: SWAP1
000008c9: SWAP2
000008ca: SSTORE
000008cb: POP
000008cc: PUSH1 0x17
000008ce: DUP1
000008cf: SLOAD
000008d0: PUSH1 0x01
000008d2: ADD
000008d3: SWAP1
000008d4: SSTORE
000008d5: PUSH1 0x1a
000008d7: DUP1
000008d8: SLOAD
000008d9: DUP3
000008da: ADD
000008db: SWAP1
000008dc: SSTORE
000008dd: PUSH1 0x40
000008df: DUP1
000008e0: MLOAD
000008e1: DUP4
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x20
000008e6: DUP2
000008e7: ADD
000008e8: DUP4
000008e9: SWAP1
000008ea: MSTORE
000008eb: DUP2
000008ec: MLOAD
000008ed: PUSH1 0x01
000008ef: PUSH1 0xa0
000008f1: PUSH1 0x02
000008f3: EXP
000008f4: SUB
000008f5: DUP8
000008f6: AND
000008f7: SWAP3
000008f8: PUSH32 0x4961aa333cb734a0b65925022360b310c9710a2ee34169a17c7d45a08a2f8e0a
00000919: SWAP3
0000091a: DUP3
0000091b: SWAP1
0000091c: SUB
0000091d: ADD
0000091e: SWAP1
0000091f: LOG2
00000920: POP
00000921: POP
00000922: POP
00000923: POP
00000924: JUMP
00000925: JUMPDEST
00000926: POP
00000927: SWAP1
00000928: JUMP
00000929: JUMPDEST
0000092a: SWAP4
0000092b: POP
0000092c: POP
0000092d: CALLVALUE
0000092e: SWAP2
0000092f: POP
00000930: DUP3
00000931: CALLVALUE
00000932: GT
00000933: ISZERO
00000934: PUSH2 0x09d7
00000937: JUMPI
00000938: PUSH1 0x40
0000093a: MLOAD
0000093b: DUP4
0000093c: SWAP3
0000093d: PUSH1 0x01
0000093f: PUSH1 0xa0
00000941: PUSH1 0x02
00000943: EXP
00000944: SUB
00000945: DUP7
00000946: AND
00000947: SWAP2
00000948: PUSH1 0x00
0000094a: SWAP2
0000094b: DUP6
0000094c: SWAP1
0000094d: SUB
0000094e: SWAP1
0000094f: DUP3
00000950: DUP2
00000951: DUP2
00000952: DUP2
00000953: DUP6
00000954: DUP9
00000955: DUP4
00000956: CALL
00000957: SWAP4
00000958: POP
00000959: POP
0000095a: POP
0000095b: POP
0000095c: ISZERO
0000095d: ISZERO
0000095e: PUSH2 0x09d7
00000961: JUMPI
00000962: PUSH1 0x40
00000964: DUP1
00000965: MLOAD
00000966: CALLVALUE
00000967: DUP5
00000968: SWAP1
00000969: SUB
0000096a: DUP2
0000096b: MSTORE
0000096c: PUSH1 0x20
0000096e: DUP2
0000096f: ADD
00000970: DUP3
00000971: SWAP1
00000972: MSTORE
00000973: PUSH1 0x16
00000975: DUP2
00000976: DUP4
00000977: ADD
00000978: MSTORE
00000979: PUSH32 0x436f756c646e277420726566756e642e20576861743f00000000000000000000
0000099a: PUSH1 0x60
0000099c: DUP3
0000099d: ADD
0000099e: MSTORE
0000099f: SWAP1
000009a0: MLOAD
000009a1: PUSH1 0x01
000009a3: PUSH1 0xa0
000009a5: PUSH1 0x02
000009a7: EXP
000009a8: SUB
000009a9: DUP7
000009aa: AND
000009ab: SWAP2
000009ac: PUSH32 0xfd73bd70d9e6a8bde14637188a03b988d799f901901f27e4271612240d8d22c9
000009cd: SWAP2
000009ce: SWAP1
000009cf: DUP2
000009d0: SWAP1
000009d1: SUB
000009d2: PUSH1 0x80
000009d4: ADD
000009d5: SWAP1
000009d6: LOG2
000009d7: JUMPDEST
000009d8: PUSH2 0x09e0
000009db: DUP3
000009dc: PUSH2 0x03ac
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH1 0x1d
000009e3: DUP1
000009e4: SLOAD
000009e5: PUSH1 0x01
000009e7: DUP2
000009e8: ADD
000009e9: DUP1
000009ea: DUP4
000009eb: SSTORE
000009ec: SWAP3
000009ed: SWAP4
000009ee: POP
000009ef: DUP3
000009f0: SWAP1
000009f1: DUP1
000009f2: ISZERO
000009f3: DUP3
000009f4: SWAP1
000009f5: GT
000009f6: PUSH2 0x0a18
000009f9: JUMPI
000009fa: PUSH1 0x03
000009fc: MUL
000009fd: DUP2
000009fe: PUSH1 0x03
00000a00: MUL
00000a01: DUP4
00000a02: PUSH1 0x00
00000a04: MSTORE
00000a05: PUSH1 0x20
00000a07: PUSH1 0x00
00000a09: KECCAK256
00000a0a: SWAP2
00000a0b: DUP3
00000a0c: ADD
00000a0d: SWAP2
00000a0e: ADD
00000a0f: PUSH2 0x0a18
00000a12: SWAP2
00000a13: SWAP1
00000a14: PUSH2 0x07db
00000a17: JUMP
00000a18: JUMPDEST
00000a19: POP
00000a1a: POP
00000a1b: PUSH1 0x18
00000a1d: SLOAD
00000a1e: PUSH1 0x1d
00000a20: DUP1
00000a21: SLOAD
00000a22: DUP9
00000a23: SWAP5
00000a24: POP
00000a25: SWAP1
00000a26: SWAP3
00000a27: POP
00000a28: DUP2
00000a29: LT
00000a2a: ISZERO
00000a2b: PUSH2 0x0002
00000a2e: JUMPI
00000a2f: PUSH1 0x00
00000a31: DUP3
00000a32: SWAP1
00000a33: MSTORE
00000a34: PUSH1 0x03
00000a36: MUL
00000a37: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f
00000a58: ADD
00000a59: DUP1
00000a5a: SLOAD
00000a5b: PUSH1 0x01
00000a5d: PUSH1 0xa0
00000a5f: PUSH1 0x02
00000a61: EXP
00000a62: SUB
00000a63: NOT
00000a64: AND
00000a65: SWAP1
00000a66: SWAP3
00000a67: OR
00000a68: SWAP1
00000a69: SWAP2
00000a6a: SSTORE
00000a6b: PUSH1 0x18
00000a6d: SLOAD
00000a6e: DUP2
00000a6f: SLOAD
00000a70: DUP5
00000a71: SWAP3
00000a72: SWAP2
00000a73: SWAP1
00000a74: DUP2
00000a75: LT
00000a76: ISZERO
00000a77: PUSH2 0x0002
00000a7a: JUMPI
00000a7b: PUSH1 0x03
00000a7d: MUL
00000a7e: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc1461350
00000a9f: ADD
00000aa0: SWAP2
00000aa1: SWAP1
00000aa2: SWAP2
00000aa3: SSTORE
00000aa4: PUSH1 0x18
00000aa6: SLOAD
00000aa7: DUP2
00000aa8: SLOAD
00000aa9: DUP4
00000aaa: SWAP3
00000aab: SWAP2
00000aac: SWAP1
00000aad: DUP2
00000aae: LT
00000aaf: ISZERO
00000ab0: PUSH2 0x0002
00000ab3: JUMPI
00000ab4: PUSH1 0x03
00000ab6: MUL
00000ab7: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc1461351
00000ad8: ADD
00000ad9: SWAP2
00000ada: SWAP1
00000adb: SWAP2
00000adc: SSTORE
00000add: POP
00000ade: PUSH1 0x18
00000ae0: DUP1
00000ae1: SLOAD
00000ae2: PUSH1 0x01
00000ae4: ADD
00000ae5: SWAP1
00000ae6: SSTORE
00000ae7: PUSH1 0x19
00000ae9: DUP1
00000aea: SLOAD
00000aeb: DUP3
00000aec: ADD
00000aed: SWAP1
00000aee: SSTORE
00000aef: PUSH1 0x40
00000af1: DUP1
00000af2: MLOAD
00000af3: DUP4
00000af4: DUP2
00000af5: MSTORE
00000af6: PUSH1 0x20
00000af8: DUP2
00000af9: ADD
00000afa: DUP4
00000afb: SWAP1
00000afc: MSTORE
00000afd: DUP2
00000afe: MLOAD
00000aff: PUSH1 0x01
00000b01: PUSH1 0xa0
00000b03: PUSH1 0x02
00000b05: EXP
00000b06: SUB
00000b07: DUP8
00000b08: AND
00000b09: SWAP3
00000b0a: PUSH32 0x7413e917afa73ba9e12ebb59a362b647cd70a5935ef431b9f5a5e076ccdcb700
00000b2b: SWAP3
00000b2c: DUP3
00000b2d: SWAP1
00000b2e: SUB
00000b2f: ADD
00000b30: SWAP1
00000b31: LOG2
00000b32: POP
00000b33: POP
00000b34: POP
00000b35: POP
00000b36: JUMP
00000b37: JUMPDEST
00000b38: POP
00000b39: PUSH1 0x00
00000b3b: JUMPDEST
00000b3c: PUSH1 0x17
00000b3e: SLOAD
00000b3f: DUP2
00000b40: LT
00000b41: ISZERO
00000b42: PUSH2 0x0c3c
00000b45: JUMPI
00000b46: PUSH1 0x00
00000b48: PUSH1 0x1c
00000b4a: PUSH1 0x00
00000b4c: POP
00000b4d: DUP3
00000b4e: DUP2
00000b4f: SLOAD
00000b50: DUP2
00000b51: LT
00000b52: ISZERO
00000b53: PUSH2 0x0002
00000b56: JUMPI
00000b57: SWAP1
00000b58: DUP3
00000b59: MSTORE
00000b5a: PUSH32 0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a213
00000b7b: PUSH1 0x03
00000b7d: SWAP1
00000b7e: SWAP2
00000b7f: MUL
00000b80: ADD
00000b81: SLOAD
00000b82: GT
00000b83: ISZERO
00000b84: PUSH2 0x0c34
00000b87: JUMPI
00000b88: PUSH1 0x1c
00000b8a: DUP1
00000b8b: SLOAD
00000b8c: DUP3
00000b8d: SWAP1
00000b8e: DUP2
00000b8f: LT
00000b90: ISZERO
00000b91: PUSH2 0x0002
00000b94: JUMPI
00000b95: SWAP1
00000b96: PUSH1 0x00
00000b98: MSTORE
00000b99: PUSH1 0x20
00000b9b: PUSH1 0x00
00000b9d: KECCAK256
00000b9e: SWAP1
00000b9f: PUSH1 0x03
00000ba1: MUL
00000ba2: ADD
00000ba3: PUSH1 0x00
00000ba5: POP
00000ba6: PUSH1 0x02
00000ba8: ADD
00000ba9: SLOAD
00000baa: PUSH1 0x1c
00000bac: DUP1
00000bad: SLOAD
00000bae: PUSH1 0x08
00000bb0: SWAP2
00000bb1: PUSH1 0x00
00000bb3: SWAP2
00000bb4: DUP6
00000bb5: SWAP1
00000bb6: DUP2
00000bb7: LT
00000bb8: ISZERO
00000bb9: PUSH2 0x0002
00000bbc: JUMPI
00000bbd: PUSH32 0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a211
00000bde: PUSH1 0x03
00000be0: SWAP1
00000be1: SWAP2
00000be2: MUL
00000be3: ADD
00000be4: SLOAD
00000be5: PUSH1 0x01
00000be7: PUSH1 0xa0
00000be9: PUSH1 0x02
00000beb: EXP
00000bec: SUB
00000bed: AND
00000bee: DUP3
00000bef: MSTORE
00000bf0: PUSH1 0x20
00000bf2: SWAP3
00000bf3: SWAP1
00000bf4: SWAP3
00000bf5: MSTORE
00000bf6: PUSH1 0x40
00000bf8: DUP2
00000bf9: KECCAK256
00000bfa: SWAP3
00000bfb: SWAP1
00000bfc: SWAP3
00000bfd: SSTORE
00000bfe: DUP1
00000bff: SLOAD
00000c00: DUP4
00000c01: SWAP1
00000c02: DUP2
00000c03: LT
00000c04: ISZERO
00000c05: PUSH2 0x0002
00000c08: JUMPI
00000c09: SWAP1
00000c0a: DUP3
00000c0b: MSTORE
00000c0c: PUSH32 0x0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a213
00000c2d: PUSH1 0x03
00000c2f: SWAP1
00000c30: SWAP2
00000c31: MUL
00000c32: ADD
00000c33: SSTORE
00000c34: JUMPDEST
00000c35: PUSH1 0x01
00000c37: ADD
00000c38: PUSH2 0x0b3b
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: PUSH1 0x07
00000c3f: DUP1
00000c40: SLOAD
00000c41: PUSH1 0xff
00000c43: NOT
00000c44: AND
00000c45: PUSH1 0x01
00000c47: OR
00000c48: SWAP1
00000c49: SSTORE
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: POP
00000c4e: PUSH1 0x00
00000c50: JUMPDEST
00000c51: PUSH1 0x18
00000c53: SLOAD
00000c54: DUP2
00000c55: LT
00000c56: ISZERO
00000c57: PUSH2 0x0c3c
00000c5a: JUMPI
00000c5b: PUSH1 0x00
00000c5d: PUSH1 0x1d
00000c5f: PUSH1 0x00
00000c61: POP
00000c62: DUP3
00000c63: DUP2
00000c64: SLOAD
00000c65: DUP2
00000c66: LT
00000c67: ISZERO
00000c68: PUSH2 0x0002
00000c6b: JUMPI
00000c6c: SWAP1
00000c6d: DUP3
00000c6e: MSTORE
00000c6f: PUSH1 0x03
00000c71: MUL
00000c72: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc1461351
00000c93: ADD
00000c94: SLOAD
00000c95: GT
00000c96: ISZERO
00000c97: PUSH2 0x0d5e
00000c9a: JUMPI
00000c9b: PUSH1 0x1d
00000c9d: DUP1
00000c9e: SLOAD
00000c9f: DUP3
00000ca0: SWAP1
00000ca1: DUP2
00000ca2: LT
00000ca3: ISZERO
00000ca4: PUSH2 0x0002
00000ca7: JUMPI
00000ca8: PUSH1 0x00
00000caa: SWAP2
00000cab: DUP3
00000cac: MSTORE
00000cad: PUSH1 0x03
00000caf: MUL
00000cb0: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f
00000cd1: ADD
00000cd2: SWAP1
00000cd3: POP
00000cd4: PUSH1 0x02
00000cd6: ADD
00000cd7: SLOAD
00000cd8: PUSH1 0x1d
00000cda: DUP1
00000cdb: SLOAD
00000cdc: PUSH1 0x08
00000cde: SWAP2
00000cdf: PUSH1 0x00
00000ce1: SWAP2
00000ce2: DUP6
00000ce3: SWAP1
00000ce4: DUP2
00000ce5: LT
00000ce6: ISZERO
00000ce7: PUSH2 0x0002
00000cea: JUMPI
00000ceb: PUSH1 0x03
00000ced: MUL
00000cee: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc146134f
00000d0f: ADD
00000d10: SLOAD
00000d11: PUSH1 0x01
00000d13: PUSH1 0xa0
00000d15: PUSH1 0x02
00000d17: EXP
00000d18: SUB
00000d19: AND
00000d1a: DUP3
00000d1b: MSTORE
00000d1c: PUSH1 0x20
00000d1e: SWAP3
00000d1f: SWAP1
00000d20: SWAP3
00000d21: MSTORE
00000d22: PUSH1 0x40
00000d24: DUP2
00000d25: KECCAK256
00000d26: SWAP3
00000d27: SWAP1
00000d28: SWAP3
00000d29: SSTORE
00000d2a: DUP1
00000d2b: SLOAD
00000d2c: DUP4
00000d2d: SWAP1
00000d2e: DUP2
00000d2f: LT
00000d30: ISZERO
00000d31: PUSH2 0x0002
00000d34: JUMPI
00000d35: SWAP1
00000d36: DUP3
00000d37: MSTORE
00000d38: PUSH1 0x03
00000d3a: MUL
00000d3b: PUSH32 0x6d4407e7be21f808e6509aa9fa9143369579dd7d760fe20a2c09680fc1461351
00000d5c: ADD
00000d5d: SSTORE
00000d5e: JUMPDEST
00000d5f: PUSH1 0x01
00000d61: ADD
00000d62: PUSH2 0x0c50
00000d65: JUMP

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: 0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112 call_targets: 0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0" ], "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": "0x13dce938", "selector": "0x13dce938", "calldata_variants": [ "0x13dce938", "0x13dce9380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14f47de4", "selector": "0x14f47de4", "calldata_variants": [ "0x14f47de4", "0x14f47de40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d8f310a", "selector": "0x1d8f310a", "calldata_variants": [ "0x1d8f310a", "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e76aa06", "selector": "0x3e76aa06", "calldata_variants": [ "0x3e76aa06", "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43cce08e", "selector": "0x43cce08e", "calldata_variants": [ "0x43cce08e", "0x43cce08e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c76ca2d", "selector": "0x5c76ca2d", "calldata_variants": [ "0x5c76ca2d", "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 353, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1416, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1783, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112 call_targets: 0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0" ], "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": "0x13dce938", "selector": "0x13dce938", "calldata_variants": [ "0x13dce938", "0x13dce9380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14f47de4", "selector": "0x14f47de4", "calldata_variants": [ "0x14f47de4", "0x14f47de40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d8f310a", "selector": "0x1d8f310a", "calldata_variants": [ "0x1d8f310a", "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e76aa06", "selector": "0x3e76aa06", "calldata_variants": [ "0x3e76aa06", "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43cce08e", "selector": "0x43cce08e", "calldata_variants": [ "0x43cce08e", "0x43cce08e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c76ca2d", "selector": "0x5c76ca2d", "calldata_variants": [ "0x5c76ca2d", "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 353, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1416, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1783, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x18379a0cf81391b8fec040e473aa47399b765c653c4f2f0275d13c223b4c4054 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x18379a0cf81391b8fec040e473aa47399b765c653c4f2f0275d13c223b4c4054", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x13dce938", "selector": "0x13dce938", "calldata_variants": [ "0x13dce938", "0x13dce9380000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x14f47de4", "selector": "0x14f47de4", "calldata_variants": [ "0x14f47de4", "0x14f47de40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d8f310a", "selector": "0x1d8f310a", "calldata_variants": [ "0x1d8f310a", "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29dcb0cf", "selector": "0x29dcb0cf", "calldata_variants": [ "0x29dcb0cf", "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e76aa06", "selector": "0x3e76aa06", "calldata_variants": [ "0x3e76aa06", "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43cce08e", "selector": "0x43cce08e", "calldata_variants": [ "0x43cce08e", "0x43cce08e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c76ca2d", "selector": "0x5c76ca2d", "calldata_variants": [ "0x5c76ca2d", "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112

call_targets: 0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0"
    ],
    "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": "0x13dce938",
            "selector": "0x13dce938",
            "calldata_variants": [
                "0x13dce938",
                "0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f47de4",
            "selector": "0x14f47de4",
            "calldata_variants": [
                "0x14f47de4",
                "0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d8f310a",
            "selector": "0x1d8f310a",
            "calldata_variants": [
                "0x1d8f310a",
                "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e76aa06",
            "selector": "0x3e76aa06",
            "calldata_variants": [
                "0x3e76aa06",
                "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43cce08e",
            "selector": "0x43cce08e",
            "calldata_variants": [
                "0x43cce08e",
                "0x43cce08e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c76ca2d",
            "selector": "0x5c76ca2d",
            "calldata_variants": [
                "0x5c76ca2d",
                "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 353,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1416,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1783,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112

call_targets: 0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x00d6283117e6495ad9e582b03f691dac3986ebc51bcbe7d36483798a009b9112",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa41512e2e94e6587489c1994a2cc5f05d14ad5b0"
    ],
    "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": "0x13dce938",
            "selector": "0x13dce938",
            "calldata_variants": [
                "0x13dce938",
                "0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f47de4",
            "selector": "0x14f47de4",
            "calldata_variants": [
                "0x14f47de4",
                "0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d8f310a",
            "selector": "0x1d8f310a",
            "calldata_variants": [
                "0x1d8f310a",
                "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e76aa06",
            "selector": "0x3e76aa06",
            "calldata_variants": [
                "0x3e76aa06",
                "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43cce08e",
            "selector": "0x43cce08e",
            "calldata_variants": [
                "0x43cce08e",
                "0x43cce08e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c76ca2d",
            "selector": "0x5c76ca2d",
            "calldata_variants": [
                "0x5c76ca2d",
                "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 353,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1416,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1783,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}

high

other

detector

SELFDESTRUCT reachable

65

no

view

trace_id: 0x18379a0cf81391b8fec040e473aa47399b765c653c4f2f0275d13c223b4c4054

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x18379a0cf81391b8fec040e473aa47399b765c653c4f2f0275d13c223b4c4054",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}

witness_json

{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x13dce938",
            "selector": "0x13dce938",
            "calldata_variants": [
                "0x13dce938",
                "0x13dce9380000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14f47de4",
            "selector": "0x14f47de4",
            "calldata_variants": [
                "0x14f47de4",
                "0x14f47de40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d8f310a",
            "selector": "0x1d8f310a",
            "calldata_variants": [
                "0x1d8f310a",
                "0x1d8f310a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29dcb0cf",
            "selector": "0x29dcb0cf",
            "calldata_variants": [
                "0x29dcb0cf",
                "0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3e76aa06",
            "selector": "0x3e76aa06",
            "calldata_variants": [
                "0x3e76aa06",
                "0x3e76aa060000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43cce08e",
            "selector": "0x43cce08e",
            "calldata_variants": [
                "0x43cce08e",
                "0x43cce08e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c76ca2d",
            "selector": "0x5c76ca2d",
            "calldata_variants": [
                "0x5c76ca2d",
                "0x5c76ca2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "guards_detected": [],
    "selfdestruct_count": 1
}