Analysis Run

019b3836-556e-71ca-8eb8-6f287407a711

complete

Chain ID

1

Address

0xff71cb760666ab06aa73f34995b42dd4b85ea07b

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
8265	artifact.fetch	complete	1 / 3	3 months ago
8266	tool.cast_disasm	complete	1 / 3	3 months ago
98130	analysis.bundle	complete	1 / 3	1 week ago
98131	capability.graph	complete	1 / 3	1 week ago
98132	detector.run	complete	1 / 3	1 week ago
98133	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)

7

EXT*/BALANCE

2

Total opcodes

2017

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x011c
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x045d46c2
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x011e
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x06fdde03
00000025: EQ
00000026: PUSH2 0x015f
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x0779afe6
00000030: EQ
00000031: PUSH2 0x01bc
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x09901f70
0000003b: EQ
0000003c: PUSH2 0x0205
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0cd0563b
00000046: EQ
00000047: PUSH2 0x022a
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x17e0a6cb
00000051: EQ
00000052: PUSH2 0x028b
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x036a
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x313ce567
00000067: EQ
00000068: PUSH2 0x0373
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x41c0e1b5
00000072: EQ
00000073: PUSH2 0x037f
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x54fd4d50
0000007d: EQ
0000007e: PUSH2 0x039d
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x5765f3ac
00000088: EQ
00000089: PUSH2 0x03fb
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x66d49bab
00000093: EQ
00000094: PUSH2 0x040d
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x70a08231
0000009e: EQ
0000009f: PUSH2 0x042f
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x7641e6f3
000000a9: EQ
000000aa: PUSH2 0x0447
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8da5cb5b
000000b4: EQ
000000b5: PUSH2 0x04ad
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x9169d937
000000bf: EQ
000000c0: PUSH2 0x04bf
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x92eefe9b
000000ca: EQ
000000cb: PUSH2 0x0525
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x95d89b41
000000d5: EQ
000000d6: PUSH2 0x0546
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x9b96eece
000000e0: EQ
000000e1: PUSH2 0x05a3
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xa9059cbb
000000eb: EQ
000000ec: PUSH2 0x05d1
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xb414d4b6
000000f6: EQ
000000f7: PUSH2 0x05e7
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xc69c09cf
00000101: EQ
00000102: PUSH2 0x0602
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xe724529c
0000010c: EQ
0000010d: PUSH2 0x0627
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xf2fde38b
00000117: EQ
00000118: PUSH2 0x064b
0000011b: JUMPI
0000011c: JUMPDEST
0000011d: STOP
0000011e: JUMPDEST
0000011f: PUSH1 0x01
00000121: PUSH1 0xa0
00000123: PUSH1 0x02
00000125: EXP
00000126: SUB
00000127: PUSH1 0x04
00000129: CALLDATALOAD
0000012a: DUP2
0000012b: AND
0000012c: PUSH1 0x00
0000012e: SWAP1
0000012f: DUP2
00000130: MSTORE
00000131: PUSH1 0x06
00000133: PUSH1 0x20
00000135: MSTORE
00000136: PUSH1 0x40
00000138: DUP1
00000139: DUP3
0000013a: KECCAK256
0000013b: SLOAD
0000013c: PUSH1 0x24
0000013e: CALLDATALOAD
0000013f: SWAP1
00000140: SWAP4
00000141: AND
00000142: DUP3
00000143: MSTORE
00000144: SWAP1
00000145: KECCAK256
00000146: SLOAD
00000147: PUSH1 0x40
00000149: DUP1
0000014a: MLOAD
0000014b: SWAP3
0000014c: DUP4
0000014d: MSTORE
0000014e: PUSH1 0x20
00000150: DUP4
00000151: ADD
00000152: SWAP2
00000153: SWAP1
00000154: SWAP2
00000155: MSTORE
00000156: DUP1
00000157: MLOAD
00000158: SWAP2
00000159: DUP3
0000015a: SWAP1
0000015b: SUB
0000015c: ADD
0000015d: SWAP1
0000015e: RETURN
0000015f: JUMPDEST
00000160: PUSH2 0x066c
00000163: PUSH1 0x01
00000165: DUP1
00000166: SLOAD
00000167: PUSH1 0x40
00000169: DUP1
0000016a: MLOAD
0000016b: PUSH1 0x20
0000016d: PUSH1 0x02
0000016f: DUP5
00000170: DUP7
00000171: AND
00000172: ISZERO
00000173: PUSH2 0x0100
00000176: MUL
00000177: PUSH1 0x00
00000179: NOT
0000017a: ADD
0000017b: SWAP1
0000017c: SWAP5
0000017d: AND
0000017e: SWAP4
0000017f: SWAP1
00000180: SWAP4
00000181: DIV
00000182: PUSH1 0x1f
00000184: DUP2
00000185: ADD
00000186: DUP5
00000187: SWAP1
00000188: DIV
00000189: DUP5
0000018a: MUL
0000018b: DUP3
0000018c: ADD
0000018d: DUP5
0000018e: ADD
0000018f: SWAP1
00000190: SWAP3
00000191: MSTORE
00000192: DUP2
00000193: DUP2
00000194: MSTORE
00000195: SWAP3
00000196: SWAP2
00000197: DUP4
00000198: ADD
00000199: DUP3
0000019a: DUP3
0000019b: DUP1
0000019c: ISZERO
0000019d: PUSH2 0x074d
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH1 0x1f
000001a4: LT
000001a5: PUSH2 0x0722
000001a8: JUMPI
000001a9: PUSH2 0x0100
000001ac: DUP1
000001ad: DUP4
000001ae: SLOAD
000001af: DIV
000001b0: MUL
000001b1: DUP4
000001b2: MSTORE
000001b3: SWAP2
000001b4: PUSH1 0x20
000001b6: ADD
000001b7: SWAP2
000001b8: PUSH2 0x074d
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH2 0x06da
000001c0: PUSH1 0x04
000001c2: CALLDATALOAD
000001c3: PUSH1 0x24
000001c5: CALLDATALOAD
000001c6: PUSH1 0x44
000001c8: CALLDATALOAD
000001c9: JUMPDEST
000001ca: PUSH1 0x00
000001cc: CALLER
000001cd: PUSH1 0x01
000001cf: PUSH1 0xa0
000001d1: PUSH1 0x02
000001d3: EXP
000001d4: SUB
000001d5: AND
000001d6: DUP5
000001d7: PUSH1 0x01
000001d9: PUSH1 0xa0
000001db: PUSH1 0x02
000001dd: EXP
000001de: SUB
000001df: AND
000001e0: EQ
000001e1: ISZERO
000001e2: DUP1
000001e3: ISZERO
000001e4: PUSH2 0x01fb
000001e7: JUMPI
000001e8: POP
000001e9: DUP1
000001ea: SLOAD
000001eb: CALLER
000001ec: PUSH1 0x01
000001ee: PUSH1 0xa0
000001f0: PUSH1 0x02
000001f2: EXP
000001f3: SUB
000001f4: SWAP1
000001f5: DUP2
000001f6: AND
000001f7: SWAP2
000001f8: AND
000001f9: EQ
000001fa: ISZERO
000001fb: JUMPDEST
000001fc: ISZERO
000001fd: PUSH2 0x0755
00000200: JUMPI
00000201: PUSH2 0x0002
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH2 0x011c
00000209: PUSH1 0x04
0000020b: CALLDATALOAD
0000020c: PUSH1 0x24
0000020e: CALLDATALOAD
0000020f: PUSH1 0x08
00000211: SLOAD
00000212: PUSH1 0x01
00000214: PUSH1 0xa0
00000216: PUSH1 0x02
00000218: EXP
00000219: SUB
0000021a: SWAP1
0000021b: DUP2
0000021c: AND
0000021d: CALLER
0000021e: SWAP1
0000021f: SWAP2
00000220: AND
00000221: EQ
00000222: PUSH2 0x089e
00000225: JUMPI
00000226: PUSH2 0x0002
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH1 0x40
0000022d: DUP1
0000022e: MLOAD
0000022f: PUSH1 0x20
00000231: PUSH1 0x04
00000233: DUP1
00000234: CALLDATALOAD
00000235: DUP1
00000236: DUP3
00000237: ADD
00000238: CALLDATALOAD
00000239: PUSH1 0x1f
0000023b: DUP2
0000023c: ADD
0000023d: DUP5
0000023e: SWAP1
0000023f: DIV
00000240: DUP5
00000241: MUL
00000242: DUP6
00000243: ADD
00000244: DUP5
00000245: ADD
00000246: SWAP1
00000247: SWAP6
00000248: MSTORE
00000249: DUP5
0000024a: DUP5
0000024b: MSTORE
0000024c: PUSH2 0x011c
0000024f: SWAP5
00000250: SWAP2
00000251: SWAP4
00000252: PUSH1 0x24
00000254: SWAP4
00000255: SWAP1
00000256: SWAP3
00000257: SWAP2
00000258: DUP5
00000259: ADD
0000025a: SWAP2
0000025b: SWAP1
0000025c: DUP2
0000025d: SWAP1
0000025e: DUP5
0000025f: ADD
00000260: DUP4
00000261: DUP3
00000262: DUP1
00000263: DUP3
00000264: DUP5
00000265: CALLDATACOPY
00000266: POP
00000267: SWAP5
00000268: SWAP7
00000269: POP
0000026a: POP
0000026b: POP
0000026c: POP
0000026d: POP
0000026e: POP
0000026f: POP
00000270: PUSH1 0x00
00000272: SLOAD
00000273: PUSH1 0x01
00000275: PUSH1 0xa0
00000277: PUSH1 0x02
00000279: EXP
0000027a: SUB
0000027b: SWAP1
0000027c: DUP2
0000027d: AND
0000027e: CALLER
0000027f: SWAP1
00000280: SWAP2
00000281: AND
00000282: EQ
00000283: PUSH2 0x08bb
00000286: JUMPI
00000287: PUSH2 0x0002
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: DUP1
0000028f: MLOAD
00000290: PUSH1 0x20
00000292: PUSH1 0x04
00000294: DUP1
00000295: CALLDATALOAD
00000296: DUP1
00000297: DUP3
00000298: ADD
00000299: CALLDATALOAD
0000029a: PUSH1 0x1f
0000029c: DUP2
0000029d: ADD
0000029e: DUP5
0000029f: SWAP1
000002a0: DIV
000002a1: DUP5
000002a2: MUL
000002a3: DUP6
000002a4: ADD
000002a5: DUP5
000002a6: ADD
000002a7: SWAP1
000002a8: SWAP6
000002a9: MSTORE
000002aa: DUP5
000002ab: DUP5
000002ac: MSTORE
000002ad: PUSH2 0x011c
000002b0: SWAP5
000002b1: SWAP2
000002b2: SWAP4
000002b3: PUSH1 0x24
000002b5: SWAP4
000002b6: SWAP1
000002b7: SWAP3
000002b8: SWAP2
000002b9: DUP5
000002ba: ADD
000002bb: SWAP2
000002bc: SWAP1
000002bd: DUP2
000002be: SWAP1
000002bf: DUP5
000002c0: ADD
000002c1: DUP4
000002c2: DUP3
000002c3: DUP1
000002c4: DUP3
000002c5: DUP5
000002c6: CALLDATACOPY
000002c7: POP
000002c8: SWAP5
000002c9: SWAP7
000002ca: POP
000002cb: POP
000002cc: POP
000002cd: POP
000002ce: POP
000002cf: POP
000002d0: POP
000002d1: PUSH32 0x19f3a4e52646f59b595454dee720f6fb8e69440a19dfd596f189a8122e7a859d
000002f2: DUP2
000002f3: TIMESTAMP
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: DUP1
000002f8: DUP1
000002f9: PUSH1 0x20
000002fb: ADD
000002fc: DUP4
000002fd: DUP2
000002fe: MSTORE
000002ff: PUSH1 0x20
00000301: ADD
00000302: DUP3
00000303: DUP2
00000304: SUB
00000305: DUP3
00000306: MSTORE
00000307: DUP5
00000308: DUP2
00000309: DUP2
0000030a: MLOAD
0000030b: DUP2
0000030c: MSTORE
0000030d: PUSH1 0x20
0000030f: ADD
00000310: SWAP2
00000311: POP
00000312: DUP1
00000313: MLOAD
00000314: SWAP1
00000315: PUSH1 0x20
00000317: ADD
00000318: SWAP1
00000319: DUP1
0000031a: DUP4
0000031b: DUP4
0000031c: DUP3
0000031d: SWAP1
0000031e: PUSH1 0x00
00000320: PUSH1 0x04
00000322: PUSH1 0x20
00000324: DUP5
00000325: PUSH1 0x1f
00000327: ADD
00000328: DIV
00000329: PUSH1 0x0f
0000032b: MUL
0000032c: PUSH1 0x03
0000032e: ADD
0000032f: CALL
00000330: POP
00000331: SWAP1
00000332: POP
00000333: SWAP1
00000334: DUP2
00000335: ADD
00000336: SWAP1
00000337: PUSH1 0x1f
00000339: AND
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0359
0000033f: JUMPI
00000340: DUP1
00000341: DUP3
00000342: SUB
00000343: DUP1
00000344: MLOAD
00000345: PUSH1 0x01
00000347: DUP4
00000348: PUSH1 0x20
0000034a: SUB
0000034b: PUSH2 0x0100
0000034e: EXP
0000034f: SUB
00000350: NOT
00000351: AND
00000352: DUP2
00000353: MSTORE
00000354: PUSH1 0x20
00000356: ADD
00000357: SWAP2
00000358: POP
00000359: JUMPDEST
0000035a: POP
0000035b: SWAP4
0000035c: POP
0000035d: POP
0000035e: POP
0000035f: POP
00000360: PUSH1 0x40
00000362: MLOAD
00000363: DUP1
00000364: SWAP2
00000365: SUB
00000366: SWAP1
00000367: LOG1
00000368: POP
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH2 0x05bf
0000036e: PUSH1 0x05
00000370: SLOAD
00000371: DUP2
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH2 0x06ee
00000377: PUSH1 0x04
00000379: SLOAD
0000037a: PUSH1 0xff
0000037c: AND
0000037d: DUP2
0000037e: JUMP
0000037f: JUMPDEST
00000380: PUSH2 0x011c
00000383: PUSH1 0x00
00000385: SLOAD
00000386: CALLER
00000387: PUSH1 0x01
00000389: PUSH1 0xa0
0000038b: PUSH1 0x02
0000038d: EXP
0000038e: SUB
0000038f: SWAP1
00000390: DUP2
00000391: AND
00000392: SWAP2
00000393: AND
00000394: EQ
00000395: PUSH2 0x08be
00000398: JUMPI
00000399: PUSH2 0x0002
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH2 0x066c
000003a1: PUSH1 0x03
000003a3: DUP1
000003a4: SLOAD
000003a5: PUSH1 0x40
000003a7: DUP1
000003a8: MLOAD
000003a9: PUSH1 0x20
000003ab: PUSH1 0x02
000003ad: PUSH1 0x01
000003af: DUP6
000003b0: AND
000003b1: ISZERO
000003b2: PUSH2 0x0100
000003b5: MUL
000003b6: PUSH1 0x00
000003b8: NOT
000003b9: ADD
000003ba: SWAP1
000003bb: SWAP5
000003bc: AND
000003bd: SWAP4
000003be: SWAP1
000003bf: SWAP4
000003c0: DIV
000003c1: PUSH1 0x1f
000003c3: DUP2
000003c4: ADD
000003c5: DUP5
000003c6: SWAP1
000003c7: DIV
000003c8: DUP5
000003c9: MUL
000003ca: DUP3
000003cb: ADD
000003cc: DUP5
000003cd: ADD
000003ce: SWAP1
000003cf: SWAP3
000003d0: MSTORE
000003d1: DUP2
000003d2: DUP2
000003d3: MSTORE
000003d4: SWAP3
000003d5: SWAP2
000003d6: DUP4
000003d7: ADD
000003d8: DUP3
000003d9: DUP3
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x074d
000003df: JUMPI
000003e0: DUP1
000003e1: PUSH1 0x1f
000003e3: LT
000003e4: PUSH2 0x0722
000003e7: JUMPI
000003e8: PUSH2 0x0100
000003eb: DUP1
000003ec: DUP4
000003ed: SLOAD
000003ee: DIV
000003ef: MUL
000003f0: DUP4
000003f1: MSTORE
000003f2: SWAP2
000003f3: PUSH1 0x20
000003f5: ADD
000003f6: SWAP2
000003f7: PUSH2 0x074d
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH2 0x0705
000003ff: PUSH1 0x08
00000401: SLOAD
00000402: PUSH1 0x01
00000404: PUSH1 0xa0
00000406: PUSH1 0x02
00000408: EXP
00000409: SUB
0000040a: AND
0000040b: DUP2
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH2 0x011c
00000411: PUSH1 0x04
00000413: CALLDATALOAD
00000414: PUSH1 0x08
00000416: SLOAD
00000417: PUSH1 0x01
00000419: PUSH1 0xa0
0000041b: PUSH1 0x02
0000041d: EXP
0000041e: SUB
0000041f: SWAP1
00000420: DUP2
00000421: AND
00000422: CALLER
00000423: SWAP1
00000424: SWAP2
00000425: AND
00000426: EQ
00000427: PUSH2 0x0901
0000042a: JUMPI
0000042b: PUSH2 0x0002
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH2 0x05bf
00000433: PUSH1 0x04
00000435: CALLDATALOAD
00000436: PUSH1 0x06
00000438: PUSH1 0x20
0000043a: MSTORE
0000043b: PUSH1 0x00
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: SWAP1
00000443: KECCAK256
00000444: SLOAD
00000445: DUP2
00000446: JUMP
00000447: JUMPDEST
00000448: PUSH1 0x40
0000044a: DUP1
0000044b: MLOAD
0000044c: PUSH1 0x20
0000044e: PUSH1 0x24
00000450: DUP1
00000451: CALLDATALOAD
00000452: PUSH1 0x04
00000454: DUP2
00000455: DUP2
00000456: ADD
00000457: CALLDATALOAD
00000458: PUSH1 0x1f
0000045a: DUP2
0000045b: ADD
0000045c: DUP6
0000045d: SWAP1
0000045e: DIV
0000045f: DUP6
00000460: MUL
00000461: DUP7
00000462: ADD
00000463: DUP6
00000464: ADD
00000465: SWAP1
00000466: SWAP7
00000467: MSTORE
00000468: DUP6
00000469: DUP6
0000046a: MSTORE
0000046b: PUSH2 0x06da
0000046e: SWAP6
0000046f: DUP2
00000470: CALLDATALOAD
00000471: SWAP6
00000472: SWAP2
00000473: SWAP5
00000474: PUSH1 0x44
00000476: SWAP5
00000477: SWAP3
00000478: SWAP4
00000479: SWAP1
0000047a: SWAP3
0000047b: ADD
0000047c: SWAP2
0000047d: DUP2
0000047e: SWAP1
0000047f: DUP5
00000480: ADD
00000481: DUP4
00000482: DUP3
00000483: DUP1
00000484: DUP3
00000485: DUP5
00000486: CALLDATACOPY
00000487: POP
00000488: SWAP5
00000489: SWAP7
0000048a: POP
0000048b: POP
0000048c: POP
0000048d: POP
0000048e: POP
0000048f: POP
00000490: POP
00000491: PUSH1 0x00
00000493: DUP1
00000494: SLOAD
00000495: PUSH1 0x01
00000497: PUSH1 0xa0
00000499: PUSH1 0x02
0000049b: EXP
0000049c: SUB
0000049d: SWAP1
0000049e: DUP2
0000049f: AND
000004a0: CALLER
000004a1: SWAP1
000004a2: SWAP2
000004a3: AND
000004a4: EQ
000004a5: PUSH2 0x090c
000004a8: JUMPI
000004a9: PUSH2 0x0002
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH2 0x0705
000004b1: PUSH1 0x00
000004b3: SLOAD
000004b4: PUSH1 0x01
000004b6: PUSH1 0xa0
000004b8: PUSH1 0x02
000004ba: EXP
000004bb: SUB
000004bc: AND
000004bd: DUP2
000004be: JUMP
000004bf: JUMPDEST
000004c0: PUSH1 0x40
000004c2: DUP1
000004c3: MLOAD
000004c4: PUSH1 0x20
000004c6: PUSH1 0x24
000004c8: DUP1
000004c9: CALLDATALOAD
000004ca: PUSH1 0x04
000004cc: DUP2
000004cd: DUP2
000004ce: ADD
000004cf: CALLDATALOAD
000004d0: PUSH1 0x1f
000004d2: DUP2
000004d3: ADD
000004d4: DUP6
000004d5: SWAP1
000004d6: DIV
000004d7: DUP6
000004d8: MUL
000004d9: DUP7
000004da: ADD
000004db: DUP6
000004dc: ADD
000004dd: SWAP1
000004de: SWAP7
000004df: MSTORE
000004e0: DUP6
000004e1: DUP6
000004e2: MSTORE
000004e3: PUSH2 0x06da
000004e6: SWAP6
000004e7: DUP2
000004e8: CALLDATALOAD
000004e9: SWAP6
000004ea: SWAP2
000004eb: SWAP5
000004ec: PUSH1 0x44
000004ee: SWAP5
000004ef: SWAP3
000004f0: SWAP4
000004f1: SWAP1
000004f2: SWAP3
000004f3: ADD
000004f4: SWAP2
000004f5: DUP2
000004f6: SWAP1
000004f7: DUP5
000004f8: ADD
000004f9: DUP4
000004fa: DUP3
000004fb: DUP1
000004fc: DUP3
000004fd: DUP5
000004fe: CALLDATACOPY
000004ff: POP
00000500: SWAP5
00000501: SWAP7
00000502: POP
00000503: POP
00000504: POP
00000505: POP
00000506: POP
00000507: POP
00000508: POP
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: SLOAD
0000050d: PUSH1 0x01
0000050f: PUSH1 0xa0
00000511: PUSH1 0x02
00000513: EXP
00000514: SUB
00000515: SWAP1
00000516: DUP2
00000517: AND
00000518: CALLER
00000519: SWAP1
0000051a: SWAP2
0000051b: AND
0000051c: EQ
0000051d: PUSH2 0x09d1
00000520: JUMPI
00000521: PUSH2 0x0002
00000524: JUMP
00000525: JUMPDEST
00000526: PUSH2 0x011c
00000529: PUSH1 0x04
0000052b: CALLDATALOAD
0000052c: PUSH1 0x00
0000052e: SLOAD
0000052f: CALLER
00000530: PUSH1 0x01
00000532: PUSH1 0xa0
00000534: PUSH1 0x02
00000536: EXP
00000537: SUB
00000538: SWAP1
00000539: DUP2
0000053a: AND
0000053b: SWAP2
0000053c: AND
0000053d: EQ
0000053e: PUSH2 0x0a94
00000541: JUMPI
00000542: PUSH2 0x0002
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH2 0x066c
0000054a: PUSH1 0x02
0000054c: DUP1
0000054d: SLOAD
0000054e: PUSH1 0x40
00000550: DUP1
00000551: MLOAD
00000552: PUSH1 0x20
00000554: PUSH1 0x1f
00000556: PUSH1 0x00
00000558: NOT
00000559: PUSH1 0x01
0000055b: DUP7
0000055c: AND
0000055d: ISZERO
0000055e: PUSH2 0x0100
00000561: MUL
00000562: ADD
00000563: SWAP1
00000564: SWAP5
00000565: AND
00000566: DUP6
00000567: SWAP1
00000568: DIV
00000569: SWAP4
0000056a: DUP5
0000056b: ADD
0000056c: DUP2
0000056d: SWAP1
0000056e: DIV
0000056f: DUP2
00000570: MUL
00000571: DUP3
00000572: ADD
00000573: DUP2
00000574: ADD
00000575: SWAP1
00000576: SWAP3
00000577: MSTORE
00000578: DUP3
00000579: DUP2
0000057a: MSTORE
0000057b: SWAP3
0000057c: SWAP2
0000057d: SWAP1
0000057e: DUP4
0000057f: ADD
00000580: DUP3
00000581: DUP3
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x074d
00000587: JUMPI
00000588: DUP1
00000589: PUSH1 0x1f
0000058b: LT
0000058c: PUSH2 0x0722
0000058f: JUMPI
00000590: PUSH2 0x0100
00000593: DUP1
00000594: DUP4
00000595: SLOAD
00000596: DIV
00000597: MUL
00000598: DUP4
00000599: MSTORE
0000059a: SWAP2
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: SWAP2
0000059f: PUSH2 0x074d
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH1 0x01
000005a6: PUSH1 0xa0
000005a8: PUSH1 0x02
000005aa: EXP
000005ab: SUB
000005ac: PUSH1 0x04
000005ae: CALLDATALOAD
000005af: AND
000005b0: PUSH1 0x00
000005b2: SWAP1
000005b3: DUP2
000005b4: MSTORE
000005b5: PUSH1 0x06
000005b7: PUSH1 0x20
000005b9: MSTORE
000005ba: PUSH1 0x40
000005bc: SWAP1
000005bd: KECCAK256
000005be: SLOAD
000005bf: JUMPDEST
000005c0: PUSH1 0x40
000005c2: DUP1
000005c3: MLOAD
000005c4: SWAP2
000005c5: DUP3
000005c6: MSTORE
000005c7: MLOAD
000005c8: SWAP1
000005c9: DUP2
000005ca: SWAP1
000005cb: SUB
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: SWAP1
000005d0: RETURN
000005d1: JUMPDEST
000005d2: PUSH2 0x06da
000005d5: PUSH1 0x04
000005d7: CALLDATALOAD
000005d8: PUSH1 0x24
000005da: CALLDATALOAD
000005db: PUSH1 0x00
000005dd: PUSH2 0x0ae9
000005e0: CALLER
000005e1: DUP5
000005e2: DUP5
000005e3: PUSH2 0x01c9
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH2 0x06da
000005eb: PUSH1 0x04
000005ed: CALLDATALOAD
000005ee: PUSH1 0x07
000005f0: PUSH1 0x20
000005f2: MSTORE
000005f3: PUSH1 0x00
000005f5: SWAP1
000005f6: DUP2
000005f7: MSTORE
000005f8: PUSH1 0x40
000005fa: SWAP1
000005fb: KECCAK256
000005fc: SLOAD
000005fd: PUSH1 0xff
000005ff: AND
00000600: DUP2
00000601: JUMP
00000602: JUMPDEST
00000603: PUSH2 0x011c
00000606: PUSH1 0x04
00000608: CALLDATALOAD
00000609: PUSH1 0x24
0000060b: CALLDATALOAD
0000060c: PUSH1 0x08
0000060e: SLOAD
0000060f: PUSH1 0x01
00000611: PUSH1 0xa0
00000613: PUSH1 0x02
00000615: EXP
00000616: SUB
00000617: SWAP1
00000618: DUP2
00000619: AND
0000061a: CALLER
0000061b: SWAP1
0000061c: SWAP2
0000061d: AND
0000061e: EQ
0000061f: PUSH2 0x0af0
00000622: JUMPI
00000623: PUSH2 0x0002
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH2 0x011c
0000062b: PUSH1 0x04
0000062d: CALLDATALOAD
0000062e: PUSH1 0x24
00000630: CALLDATALOAD
00000631: PUSH1 0x00
00000633: SLOAD
00000634: CALLER
00000635: PUSH1 0x01
00000637: PUSH1 0xa0
00000639: PUSH1 0x02
0000063b: EXP
0000063c: SUB
0000063d: SWAP1
0000063e: DUP2
0000063f: AND
00000640: SWAP2
00000641: AND
00000642: EQ
00000643: PUSH2 0x0b16
00000646: JUMPI
00000647: PUSH2 0x0002
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH2 0x011c
0000064f: PUSH1 0x04
00000651: CALLDATALOAD
00000652: PUSH1 0x00
00000654: SLOAD
00000655: CALLER
00000656: PUSH1 0x01
00000658: PUSH1 0xa0
0000065a: PUSH1 0x02
0000065c: EXP
0000065d: SUB
0000065e: SWAP1
0000065f: DUP2
00000660: AND
00000661: SWAP2
00000662: AND
00000663: EQ
00000664: PUSH2 0x0bd2
00000667: JUMPI
00000668: PUSH2 0x0002
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH1 0x40
0000066f: MLOAD
00000670: DUP1
00000671: DUP1
00000672: PUSH1 0x20
00000674: ADD
00000675: DUP3
00000676: DUP2
00000677: SUB
00000678: DUP3
00000679: MSTORE
0000067a: DUP4
0000067b: DUP2
0000067c: DUP2
0000067d: MLOAD
0000067e: DUP2
0000067f: MSTORE
00000680: PUSH1 0x20
00000682: ADD
00000683: SWAP2
00000684: POP
00000685: DUP1
00000686: MLOAD
00000687: SWAP1
00000688: PUSH1 0x20
0000068a: ADD
0000068b: SWAP1
0000068c: DUP1
0000068d: DUP4
0000068e: DUP4
0000068f: DUP3
00000690: SWAP1
00000691: PUSH1 0x00
00000693: PUSH1 0x04
00000695: PUSH1 0x20
00000697: DUP5
00000698: PUSH1 0x1f
0000069a: ADD
0000069b: DIV
0000069c: PUSH1 0x0f
0000069e: MUL
0000069f: PUSH1 0x03
000006a1: ADD
000006a2: CALL
000006a3: POP
000006a4: SWAP1
000006a5: POP
000006a6: SWAP1
000006a7: DUP2
000006a8: ADD
000006a9: SWAP1
000006aa: PUSH1 0x1f
000006ac: AND
000006ad: DUP1
000006ae: ISZERO
000006af: PUSH2 0x06cc
000006b2: JUMPI
000006b3: DUP1
000006b4: DUP3
000006b5: SUB
000006b6: DUP1
000006b7: MLOAD
000006b8: PUSH1 0x01
000006ba: DUP4
000006bb: PUSH1 0x20
000006bd: SUB
000006be: PUSH2 0x0100
000006c1: EXP
000006c2: SUB
000006c3: NOT
000006c4: AND
000006c5: DUP2
000006c6: MSTORE
000006c7: PUSH1 0x20
000006c9: ADD
000006ca: SWAP2
000006cb: POP
000006cc: JUMPDEST
000006cd: POP
000006ce: SWAP3
000006cf: POP
000006d0: POP
000006d1: POP
000006d2: PUSH1 0x40
000006d4: MLOAD
000006d5: DUP1
000006d6: SWAP2
000006d7: SUB
000006d8: SWAP1
000006d9: RETURN
000006da: JUMPDEST
000006db: PUSH1 0x40
000006dd: DUP1
000006de: MLOAD
000006df: SWAP2
000006e0: ISZERO
000006e1: ISZERO
000006e2: DUP3
000006e3: MSTORE
000006e4: MLOAD
000006e5: SWAP1
000006e6: DUP2
000006e7: SWAP1
000006e8: SUB
000006e9: PUSH1 0x20
000006eb: ADD
000006ec: SWAP1
000006ed: RETURN
000006ee: JUMPDEST
000006ef: PUSH1 0x40
000006f1: DUP1
000006f2: MLOAD
000006f3: PUSH1 0xff
000006f5: SWAP3
000006f6: SWAP1
000006f7: SWAP3
000006f8: AND
000006f9: DUP3
000006fa: MSTORE
000006fb: MLOAD
000006fc: SWAP1
000006fd: DUP2
000006fe: SWAP1
000006ff: SUB
00000700: PUSH1 0x20
00000702: ADD
00000703: SWAP1
00000704: RETURN
00000705: JUMPDEST
00000706: PUSH1 0x40
00000708: DUP1
00000709: MLOAD
0000070a: PUSH1 0x01
0000070c: PUSH1 0xa0
0000070e: PUSH1 0x02
00000710: EXP
00000711: SUB
00000712: SWAP3
00000713: SWAP1
00000714: SWAP3
00000715: AND
00000716: DUP3
00000717: MSTORE
00000718: MLOAD
00000719: SWAP1
0000071a: DUP2
0000071b: SWAP1
0000071c: SUB
0000071d: PUSH1 0x20
0000071f: ADD
00000720: SWAP1
00000721: RETURN
00000722: JUMPDEST
00000723: DUP3
00000724: ADD
00000725: SWAP2
00000726: SWAP1
00000727: PUSH1 0x00
00000729: MSTORE
0000072a: PUSH1 0x20
0000072c: PUSH1 0x00
0000072e: KECCAK256
0000072f: SWAP1
00000730: JUMPDEST
00000731: DUP2
00000732: SLOAD
00000733: DUP2
00000734: MSTORE
00000735: SWAP1
00000736: PUSH1 0x01
00000738: ADD
00000739: SWAP1
0000073a: PUSH1 0x20
0000073c: ADD
0000073d: DUP1
0000073e: DUP4
0000073f: GT
00000740: PUSH2 0x0730
00000743: JUMPI
00000744: DUP3
00000745: SWAP1
00000746: SUB
00000747: PUSH1 0x1f
00000749: AND
0000074a: DUP3
0000074b: ADD
0000074c: SWAP2
0000074d: JUMPDEST
0000074e: POP
0000074f: POP
00000750: POP
00000751: POP
00000752: POP
00000753: DUP2
00000754: JUMP
00000755: JUMPDEST
00000756: DUP3
00000757: PUSH1 0x01
00000759: PUSH1 0xa0
0000075b: PUSH1 0x02
0000075d: EXP
0000075e: SUB
0000075f: AND
00000760: DUP5
00000761: PUSH1 0x01
00000763: PUSH1 0xa0
00000765: PUSH1 0x02
00000767: EXP
00000768: SUB
00000769: AND
0000076a: EQ
0000076b: ISZERO
0000076c: PUSH2 0x0774
0000076f: JUMPI
00000770: PUSH2 0x0002
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH1 0x08
00000777: SLOAD
00000778: PUSH1 0x40
0000077a: DUP1
0000077b: MLOAD
0000077c: PUSH32 0x0779afe600000000000000000000000000000000000000000000000000000000
0000079d: DUP2
0000079e: MSTORE
0000079f: PUSH1 0x01
000007a1: PUSH1 0xa0
000007a3: PUSH1 0x02
000007a5: EXP
000007a6: SUB
000007a7: DUP8
000007a8: DUP2
000007a9: AND
000007aa: PUSH1 0x04
000007ac: DUP4
000007ad: ADD
000007ae: MSTORE
000007af: DUP7
000007b0: DUP2
000007b1: AND
000007b2: PUSH1 0x24
000007b4: DUP4
000007b5: ADD
000007b6: MSTORE
000007b7: PUSH1 0x44
000007b9: DUP3
000007ba: ADD
000007bb: DUP7
000007bc: SWAP1
000007bd: MSTORE
000007be: SWAP2
000007bf: MLOAD
000007c0: SWAP3
000007c1: SWAP1
000007c2: SWAP2
000007c3: AND
000007c4: SWAP2
000007c5: PUSH4 0x0779afe6
000007ca: SWAP2
000007cb: PUSH1 0x64
000007cd: DUP2
000007ce: DUP2
000007cf: ADD
000007d0: SWAP3
000007d1: PUSH1 0x20
000007d3: SWAP3
000007d4: SWAP1
000007d5: SWAP2
000007d6: SWAP1
000007d7: DUP3
000007d8: SWAP1
000007d9: SUB
000007da: ADD
000007db: DUP2
000007dc: PUSH1 0x00
000007de: DUP8
000007df: PUSH2 0x61da
000007e2: GAS
000007e3: SUB
000007e4: CALL
000007e5: ISZERO
000007e6: PUSH2 0x0002
000007e9: JUMPI
000007ea: POP
000007eb: POP
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: MLOAD
000007f0: SWAP2
000007f1: POP
000007f2: POP
000007f3: DUP1
000007f4: ISZERO
000007f5: PUSH2 0x0897
000007f8: JUMPI
000007f9: DUP3
000007fa: PUSH1 0x01
000007fc: PUSH1 0xa0
000007fe: PUSH1 0x02
00000800: EXP
00000801: SUB
00000802: AND
00000803: DUP5
00000804: PUSH1 0x01
00000806: PUSH1 0xa0
00000808: PUSH1 0x02
0000080a: EXP
0000080b: SUB
0000080c: AND
0000080d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000082e: DUP5
0000082f: PUSH1 0x40
00000831: MLOAD
00000832: DUP1
00000833: DUP3
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x20
00000838: ADD
00000839: SWAP2
0000083a: POP
0000083b: POP
0000083c: PUSH1 0x40
0000083e: MLOAD
0000083f: DUP1
00000840: SWAP2
00000841: SUB
00000842: SWAP1
00000843: LOG3
00000844: DUP3
00000845: PUSH1 0x01
00000847: PUSH1 0xa0
00000849: PUSH1 0x02
0000084b: EXP
0000084c: SUB
0000084d: AND
0000084e: DUP5
0000084f: PUSH1 0x01
00000851: PUSH1 0xa0
00000853: PUSH1 0x02
00000855: EXP
00000856: SUB
00000857: AND
00000858: PUSH32 0x436afd08e8cbecd4e5688f6ecb7e3b36b5652b405176dc453c763a8d2f1b0345
00000879: DUP5
0000087a: TIMESTAMP
0000087b: PUSH1 0x40
0000087d: MLOAD
0000087e: DUP1
0000087f: DUP4
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0x20
00000884: ADD
00000885: DUP3
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x20
0000088a: ADD
0000088b: SWAP3
0000088c: POP
0000088d: POP
0000088e: POP
0000088f: PUSH1 0x40
00000891: MLOAD
00000892: DUP1
00000893: SWAP2
00000894: SUB
00000895: SWAP1
00000896: LOG3
00000897: JUMPDEST
00000898: SWAP4
00000899: SWAP3
0000089a: POP
0000089b: POP
0000089c: POP
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x01
000008a1: PUSH1 0xa0
000008a3: PUSH1 0x02
000008a5: EXP
000008a6: SUB
000008a7: SWAP2
000008a8: SWAP1
000008a9: SWAP2
000008aa: AND
000008ab: PUSH1 0x00
000008ad: SWAP1
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x06
000008b2: PUSH1 0x20
000008b4: MSTORE
000008b5: PUSH1 0x40
000008b7: SWAP1
000008b8: KECCAK256
000008b9: SSTORE
000008ba: JUMP
000008bb: JUMPDEST
000008bc: POP
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH1 0x00
000008c1: ADDRESS
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: PUSH1 0x02
000008c8: EXP
000008c9: SUB
000008ca: AND
000008cb: BALANCE
000008cc: GT
000008cd: ISZERO
000008ce: PUSH2 0x08f5
000008d1: JUMPI
000008d2: PUSH1 0x40
000008d4: MLOAD
000008d5: PUSH1 0x01
000008d7: PUSH1 0xa0
000008d9: PUSH1 0x02
000008db: EXP
000008dc: SUB
000008dd: CALLER
000008de: DUP2
000008df: AND
000008e0: SWAP2
000008e1: PUSH1 0x00
000008e3: SWAP2
000008e4: ADDRESS
000008e5: AND
000008e6: BALANCE
000008e7: SWAP1
000008e8: DUP3
000008e9: DUP2
000008ea: DUP2
000008eb: DUP2
000008ec: DUP6
000008ed: DUP9
000008ee: DUP4
000008ef: CALL
000008f0: POP
000008f1: POP
000008f2: POP
000008f3: POP
000008f4: POP
000008f5: JUMPDEST
000008f6: CALLER
000008f7: PUSH1 0x01
000008f9: PUSH1 0xa0
000008fb: PUSH1 0x02
000008fd: EXP
000008fe: SUB
000008ff: AND
00000900: SELFDESTRUCT
00000901: JUMPDEST
00000902: PUSH1 0x05
00000904: DUP1
00000905: SLOAD
00000906: DUP3
00000907: ADD
00000908: SWAP1
00000909: SSTORE
0000090a: POP
0000090b: JUMP
0000090c: JUMPDEST
0000090d: PUSH1 0x08
0000090f: SLOAD
00000910: PUSH1 0x40
00000912: DUP1
00000913: MLOAD
00000914: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x01
00000939: PUSH1 0xa0
0000093b: PUSH1 0x02
0000093d: EXP
0000093e: SUB
0000093f: CALLER
00000940: DUP2
00000941: AND
00000942: PUSH1 0x04
00000944: DUP4
00000945: ADD
00000946: MSTORE
00000947: PUSH1 0x24
00000949: DUP3
0000094a: ADD
0000094b: DUP8
0000094c: SWAP1
0000094d: MSTORE
0000094e: SWAP2
0000094f: MLOAD
00000950: SWAP3
00000951: SWAP1
00000952: SWAP2
00000953: AND
00000954: SWAP2
00000955: PUSH4 0x9dc29fac
0000095a: SWAP2
0000095b: PUSH1 0x44
0000095d: DUP2
0000095e: DUP2
0000095f: ADD
00000960: SWAP3
00000961: PUSH1 0x20
00000963: SWAP3
00000964: SWAP1
00000965: SWAP2
00000966: SWAP1
00000967: DUP3
00000968: SWAP1
00000969: SUB
0000096a: ADD
0000096b: DUP2
0000096c: PUSH1 0x00
0000096e: DUP8
0000096f: PUSH2 0x61da
00000972: GAS
00000973: SUB
00000974: CALL
00000975: ISZERO
00000976: PUSH2 0x0002
00000979: JUMPI
0000097a: POP
0000097b: POP
0000097c: PUSH1 0x40
0000097e: MLOAD
0000097f: MLOAD
00000980: SWAP2
00000981: POP
00000982: POP
00000983: DUP1
00000984: ISZERO
00000985: PUSH2 0x09cb
00000988: JUMPI
00000989: PUSH1 0x40
0000098b: DUP1
0000098c: MLOAD
0000098d: DUP5
0000098e: DUP2
0000098f: MSTORE
00000990: TIMESTAMP
00000991: PUSH1 0x20
00000993: DUP3
00000994: ADD
00000995: MSTORE
00000996: DUP2
00000997: MLOAD
00000998: CALLER
00000999: PUSH1 0x01
0000099b: PUSH1 0xa0
0000099d: PUSH1 0x02
0000099f: EXP
000009a0: SUB
000009a1: AND
000009a2: SWAP3
000009a3: PUSH32 0xc4ecdaa907c9388c8435d8bcf5f33c50ae7ed01c4837f542a10839e18e79e3f4
000009c4: SWAP3
000009c5: DUP3
000009c6: SWAP1
000009c7: SUB
000009c8: ADD
000009c9: SWAP1
000009ca: LOG2
000009cb: JUMPDEST
000009cc: SWAP3
000009cd: SWAP2
000009ce: POP
000009cf: POP
000009d0: JUMP
000009d1: JUMPDEST
000009d2: PUSH1 0x08
000009d4: SLOAD
000009d5: PUSH1 0x40
000009d7: DUP1
000009d8: MLOAD
000009d9: PUSH32 0x867904b400000000000000000000000000000000000000000000000000000000
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x01
000009fe: PUSH1 0xa0
00000a00: PUSH1 0x02
00000a02: EXP
00000a03: SUB
00000a04: CALLER
00000a05: DUP2
00000a06: AND
00000a07: PUSH1 0x04
00000a09: DUP4
00000a0a: ADD
00000a0b: MSTORE
00000a0c: PUSH1 0x24
00000a0e: DUP3
00000a0f: ADD
00000a10: DUP8
00000a11: SWAP1
00000a12: MSTORE
00000a13: SWAP2
00000a14: MLOAD
00000a15: SWAP3
00000a16: SWAP1
00000a17: SWAP2
00000a18: AND
00000a19: SWAP2
00000a1a: PUSH4 0x867904b4
00000a1f: SWAP2
00000a20: PUSH1 0x44
00000a22: DUP2
00000a23: DUP2
00000a24: ADD
00000a25: SWAP3
00000a26: PUSH1 0x20
00000a28: SWAP3
00000a29: SWAP1
00000a2a: SWAP2
00000a2b: SWAP1
00000a2c: DUP3
00000a2d: SWAP1
00000a2e: SUB
00000a2f: ADD
00000a30: DUP2
00000a31: PUSH1 0x00
00000a33: DUP8
00000a34: PUSH2 0x61da
00000a37: GAS
00000a38: SUB
00000a39: CALL
00000a3a: ISZERO
00000a3b: PUSH2 0x0002
00000a3e: JUMPI
00000a3f: POP
00000a40: POP
00000a41: PUSH1 0x40
00000a43: MLOAD
00000a44: MLOAD
00000a45: SWAP2
00000a46: POP
00000a47: POP
00000a48: DUP1
00000a49: ISZERO
00000a4a: PUSH2 0x09cb
00000a4d: JUMPI
00000a4e: PUSH1 0x40
00000a50: DUP1
00000a51: MLOAD
00000a52: DUP5
00000a53: DUP2
00000a54: MSTORE
00000a55: TIMESTAMP
00000a56: PUSH1 0x20
00000a58: DUP3
00000a59: ADD
00000a5a: MSTORE
00000a5b: DUP2
00000a5c: MLOAD
00000a5d: CALLER
00000a5e: PUSH1 0x01
00000a60: PUSH1 0xa0
00000a62: PUSH1 0x02
00000a64: EXP
00000a65: SUB
00000a66: AND
00000a67: SWAP3
00000a68: PUSH32 0x8ffc00dd5f1e6ee3cd197210c8a5ff5146df2477ab5cce1fb5a77ea8c6870c50
00000a89: SWAP3
00000a8a: DUP3
00000a8b: SWAP1
00000a8c: SUB
00000a8d: ADD
00000a8e: SWAP1
00000a8f: LOG2
00000a90: PUSH2 0x09cb
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x08
00000a97: DUP1
00000a98: SLOAD
00000a99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aae: NOT
00000aaf: AND
00000ab0: DUP3
00000ab1: OR
00000ab2: SWAP1
00000ab3: SSTORE
00000ab4: PUSH1 0x40
00000ab6: DUP1
00000ab7: MLOAD
00000ab8: TIMESTAMP
00000ab9: DUP2
00000aba: MSTORE
00000abb: SWAP1
00000abc: MLOAD
00000abd: PUSH32 0xe2d7ed985e38b65f621d71dedc1678dc3ef9e355c3edb76df06819e1e60eead2
00000ade: SWAP2
00000adf: DUP2
00000ae0: SWAP1
00000ae1: SUB
00000ae2: PUSH1 0x20
00000ae4: ADD
00000ae5: SWAP1
00000ae6: LOG1
00000ae7: POP
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: SWAP1
00000aeb: POP
00000aec: PUSH2 0x09cb
00000aef: JUMP
00000af0: JUMPDEST
00000af1: PUSH1 0x01
00000af3: PUSH1 0xa0
00000af5: PUSH1 0x02
00000af7: EXP
00000af8: SUB
00000af9: DUP3
00000afa: AND
00000afb: PUSH1 0x00
00000afd: SWAP1
00000afe: DUP2
00000aff: MSTORE
00000b00: PUSH1 0x07
00000b02: PUSH1 0x20
00000b04: MSTORE
00000b05: PUSH1 0x40
00000b07: SWAP1
00000b08: KECCAK256
00000b09: DUP1
00000b0a: SLOAD
00000b0b: PUSH1 0xff
00000b0d: NOT
00000b0e: AND
00000b0f: DUP3
00000b10: OR
00000b11: SWAP1
00000b12: SSTORE
00000b13: POP
00000b14: POP
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH1 0x08
00000b19: SLOAD
00000b1a: PUSH1 0x40
00000b1c: DUP1
00000b1d: MLOAD
00000b1e: PUSH32 0xbf120ae500000000000000000000000000000000000000000000000000000000
00000b3f: DUP2
00000b40: MSTORE
00000b41: PUSH1 0x01
00000b43: PUSH1 0xa0
00000b45: PUSH1 0x02
00000b47: EXP
00000b48: SUB
00000b49: DUP6
00000b4a: DUP2
00000b4b: AND
00000b4c: PUSH1 0x04
00000b4e: DUP4
00000b4f: ADD
00000b50: MSTORE
00000b51: DUP5
00000b52: ISZERO
00000b53: ISZERO
00000b54: PUSH1 0x24
00000b56: DUP4
00000b57: ADD
00000b58: MSTORE
00000b59: SWAP2
00000b5a: MLOAD
00000b5b: SWAP3
00000b5c: SWAP1
00000b5d: SWAP2
00000b5e: AND
00000b5f: SWAP2
00000b60: PUSH4 0xbf120ae5
00000b65: SWAP2
00000b66: PUSH1 0x44
00000b68: DUP2
00000b69: DUP2
00000b6a: ADD
00000b6b: SWAP3
00000b6c: PUSH1 0x20
00000b6e: SWAP3
00000b6f: SWAP1
00000b70: SWAP2
00000b71: SWAP1
00000b72: DUP3
00000b73: SWAP1
00000b74: SUB
00000b75: ADD
00000b76: DUP2
00000b77: PUSH1 0x00
00000b79: DUP8
00000b7a: PUSH2 0x61da
00000b7d: GAS
00000b7e: SUB
00000b7f: CALL
00000b80: ISZERO
00000b81: PUSH2 0x0002
00000b84: JUMPI
00000b85: POP
00000b86: POP
00000b87: PUSH1 0x40
00000b89: DUP1
00000b8a: MLOAD
00000b8b: DUP4
00000b8c: ISZERO
00000b8d: ISZERO
00000b8e: DUP2
00000b8f: MSTORE
00000b90: TIMESTAMP
00000b91: PUSH1 0x20
00000b93: DUP3
00000b94: ADD
00000b95: MSTORE
00000b96: DUP2
00000b97: MLOAD
00000b98: PUSH1 0x01
00000b9a: PUSH1 0xa0
00000b9c: PUSH1 0x02
00000b9e: EXP
00000b9f: SUB
00000ba0: DUP7
00000ba1: AND
00000ba2: SWAP4
00000ba3: POP
00000ba4: PUSH32 0x81d3d214efb492247385a4a14a8b1f580b3fc87998ac30ad39653daadfb45e39
00000bc5: SWAP3
00000bc6: SWAP2
00000bc7: DUP2
00000bc8: SWAP1
00000bc9: SUB
00000bca: SWAP1
00000bcb: SWAP2
00000bcc: ADD
00000bcd: SWAP1
00000bce: LOG2
00000bcf: POP
00000bd0: POP
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x00
00000bd5: DUP1
00000bd6: SLOAD
00000bd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bec: NOT
00000bed: AND
00000bee: DUP3
00000bef: OR
00000bf0: SWAP1
00000bf1: SSTORE
00000bf2: POP
00000bf3: JUMP

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090 call_targets: 0xff71cb760666ab06aa73f34995b42dd4b85ea07b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xff71cb760666ab06aa73f34995b42dd4b85ea07b" ], "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": "0x045d46c2", "selector": "0x045d46c2", "calldata_variants": [ "0x045d46c2", "0x045d46c20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0779afe6", "selector": "0x0779afe6", "calldata_variants": [ "0x0779afe6", "0x0779afe60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09901f70", "selector": "0x09901f70", "calldata_variants": [ "0x09901f70", "0x09901f700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0cd0563b", "selector": "0x0cd0563b", "calldata_variants": [ "0x0cd0563b", "0x0cd0563b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17e0a6cb", "selector": "0x17e0a6cb", "calldata_variants": [ "0x17e0a6cb", "0x17e0a6cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 815, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1698, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2020, "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: 0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090 call_targets: 0xff71cb760666ab06aa73f34995b42dd4b85ea07b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xff71cb760666ab06aa73f34995b42dd4b85ea07b" ], "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": "0x045d46c2", "selector": "0x045d46c2", "calldata_variants": [ "0x045d46c2", "0x045d46c20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0779afe6", "selector": "0x0779afe6", "calldata_variants": [ "0x0779afe6", "0x0779afe60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09901f70", "selector": "0x09901f70", "calldata_variants": [ "0x09901f70", "0x09901f700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0cd0563b", "selector": "0x0cd0563b", "calldata_variants": [ "0x0cd0563b", "0x0cd0563b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17e0a6cb", "selector": "0x17e0a6cb", "calldata_variants": [ "0x17e0a6cb", "0x17e0a6cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 815, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1698, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2020, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x1cbc253bb341a973188780f9a96ae1a493d31c7a41ab9ff9809174078fa5b1f0 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x1cbc253bb341a973188780f9a96ae1a493d31c7a41ab9ff9809174078fa5b1f0", "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": "0x045d46c2", "selector": "0x045d46c2", "calldata_variants": [ "0x045d46c2", "0x045d46c20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0779afe6", "selector": "0x0779afe6", "calldata_variants": [ "0x0779afe6", "0x0779afe60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09901f70", "selector": "0x09901f70", "calldata_variants": [ "0x09901f70", "0x09901f700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0cd0563b", "selector": "0x0cd0563b", "calldata_variants": [ "0x0cd0563b", "0x0cd0563b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17e0a6cb", "selector": "0x17e0a6cb", "calldata_variants": [ "0x17e0a6cb", "0x17e0a6cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] } ] } 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: 0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090

call_targets: 0xff71cb760666ab06aa73f34995b42dd4b85ea07b

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xff71cb760666ab06aa73f34995b42dd4b85ea07b"
    ],
    "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": "0x045d46c2",
            "selector": "0x045d46c2",
            "calldata_variants": [
                "0x045d46c2",
                "0x045d46c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0779afe6",
            "selector": "0x0779afe6",
            "calldata_variants": [
                "0x0779afe6",
                "0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09901f70",
            "selector": "0x09901f70",
            "calldata_variants": [
                "0x09901f70",
                "0x09901f700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0cd0563b",
            "selector": "0x0cd0563b",
            "calldata_variants": [
                "0x0cd0563b",
                "0x0cd0563b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17e0a6cb",
            "selector": "0x17e0a6cb",
            "calldata_variants": [
                "0x17e0a6cb",
                "0x17e0a6cb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 815,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1698,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2020,
            "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

view

trace_id: 0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090

call_targets: 0xff71cb760666ab06aa73f34995b42dd4b85ea07b

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x96104a04671a0884f27caddba3c1df3e03e39f81ee7f7906189a58756f31b090",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xff71cb760666ab06aa73f34995b42dd4b85ea07b"
    ],
    "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": "0x045d46c2",
            "selector": "0x045d46c2",
            "calldata_variants": [
                "0x045d46c2",
                "0x045d46c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0779afe6",
            "selector": "0x0779afe6",
            "calldata_variants": [
                "0x0779afe6",
                "0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09901f70",
            "selector": "0x09901f70",
            "calldata_variants": [
                "0x09901f70",
                "0x09901f700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0cd0563b",
            "selector": "0x0cd0563b",
            "calldata_variants": [
                "0x0cd0563b",
                "0x0cd0563b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17e0a6cb",
            "selector": "0x17e0a6cb",
            "calldata_variants": [
                "0x17e0a6cb",
                "0x17e0a6cb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 815,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1698,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2020,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": []
}

high

other

detector

SELFDESTRUCT reachable

65

no

view

trace_id: 0x1cbc253bb341a973188780f9a96ae1a493d31c7a41ab9ff9809174078fa5b1f0

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x1cbc253bb341a973188780f9a96ae1a493d31c7a41ab9ff9809174078fa5b1f0",
    "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": "0x045d46c2",
            "selector": "0x045d46c2",
            "calldata_variants": [
                "0x045d46c2",
                "0x045d46c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0779afe6",
            "selector": "0x0779afe6",
            "calldata_variants": [
                "0x0779afe6",
                "0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09901f70",
            "selector": "0x09901f70",
            "calldata_variants": [
                "0x09901f70",
                "0x09901f700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0cd0563b",
            "selector": "0x0cd0563b",
            "calldata_variants": [
                "0x0cd0563b",
                "0x0cd0563b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17e0a6cb",
            "selector": "0x17e0a6cb",
            "calldata_variants": [
                "0x17e0a6cb",
                "0x17e0a6cb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

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