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

Analysis Run

019b3844-8344-7038-9efc-0deb62022697

complete
Chain ID
1
Address
0xd7f26337e8d84d3bb924108563d95d17cdc97eea
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
10337 artifact.fetch complete 1 / 3 3 months ago
10338 tool.cast_disasm complete 1 / 3 3 months ago
106289 analysis.bundle complete 1 / 3 1 week ago
106290 capability.graph complete 1 / 3 1 week ago
106291 detector.run complete 1 / 3 1 week ago
106292 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
16
EXT*/BALANCE
15
Total opcodes
2434
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cf
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x2170ebf7
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00e0
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x38d52e0f
00000025: EQ
00000026: PUSH2 0x0104
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x4b750334
00000030: EQ
00000031: PUSH2 0x012d
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x4ca50f59
0000003b: EQ
0000003c: PUSH2 0x014c
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x52954e5a
00000046: EQ
00000047: PUSH2 0x016d
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x8620410b
00000051: EQ
00000052: PUSH2 0x0194
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x8da5cb5b
0000005c: EQ
0000005d: PUSH2 0x01b3
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x919f8cfc
00000067: EQ
00000068: PUSH2 0x01dc
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x976a8435
00000072: EQ
00000073: PUSH2 0x01e6
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xa7abc124
0000007d: EQ
0000007e: PUSH2 0x0205
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xb1099347
00000088: EQ
00000089: PUSH2 0x021a
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xbe86d5a7
00000093: EQ
00000094: PUSH2 0x023b
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xc34764cf
0000009e: EQ
0000009f: PUSH2 0x0262
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xc60ccb0e
000000a9: EQ
000000aa: PUSH2 0x0289
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xcd53a3b7
000000b4: EQ
000000b5: PUSH2 0x0293
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xeff883bd
000000bf: EQ
000000c0: PUSH2 0x02b7
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xf2fde38b
000000ca: EQ
000000cb: PUSH2 0x02c9
000000ce: JUMPI
000000cf: JUMPDEST
000000d0: PUSH2 0x00de
000000d3: JUMPDEST
000000d4: PUSH2 0x00db
000000d7: PUSH2 0x02db
000000da: JUMP
000000db: JUMPDEST
000000dc: JUMPDEST
000000dd: JUMP
000000de: JUMPDEST
000000df: STOP
000000e0: JUMPDEST
000000e1: CALLVALUE
000000e2: PUSH2 0x0000
000000e5: JUMPI
000000e6: PUSH2 0x00f0
000000e9: PUSH1 0x04
000000eb: CALLDATALOAD
000000ec: PUSH2 0x0514
000000ef: JUMP
000000f0: JUMPDEST
000000f1: PUSH1 0x40
000000f3: DUP1
000000f4: MLOAD
000000f5: SWAP2
000000f6: ISZERO
000000f7: ISZERO
000000f8: DUP3
000000f9: MSTORE
000000fa: MLOAD
000000fb: SWAP1
000000fc: DUP2
000000fd: SWAP1
000000fe: SUB
000000ff: PUSH1 0x20
00000101: ADD
00000102: SWAP1
00000103: RETURN
00000104: JUMPDEST
00000105: CALLVALUE
00000106: PUSH2 0x0000
00000109: JUMPI
0000010a: PUSH2 0x0111
0000010d: PUSH2 0x05a6
00000110: JUMP
00000111: JUMPDEST
00000112: PUSH1 0x40
00000114: DUP1
00000115: MLOAD
00000116: PUSH1 0x01
00000118: PUSH1 0xa0
0000011a: PUSH1 0x02
0000011c: EXP
0000011d: SUB
0000011e: SWAP1
0000011f: SWAP3
00000120: AND
00000121: DUP3
00000122: MSTORE
00000123: MLOAD
00000124: SWAP1
00000125: DUP2
00000126: SWAP1
00000127: SUB
00000128: PUSH1 0x20
0000012a: ADD
0000012b: SWAP1
0000012c: RETURN
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: PUSH2 0x0000
00000132: JUMPI
00000133: PUSH2 0x013a
00000136: PUSH2 0x05b5
00000139: JUMP
0000013a: JUMPDEST
0000013b: PUSH1 0x40
0000013d: DUP1
0000013e: MLOAD
0000013f: SWAP2
00000140: DUP3
00000141: MSTORE
00000142: MLOAD
00000143: SWAP1
00000144: DUP2
00000145: SWAP1
00000146: SUB
00000147: PUSH1 0x20
00000149: ADD
0000014a: SWAP1
0000014b: RETURN
0000014c: JUMPDEST
0000014d: CALLVALUE
0000014e: PUSH2 0x0000
00000151: JUMPI
00000152: PUSH2 0x00f0
00000155: PUSH2 0x05bb
00000158: JUMP
00000159: JUMPDEST
0000015a: PUSH1 0x40
0000015c: DUP1
0000015d: MLOAD
0000015e: SWAP2
0000015f: ISZERO
00000160: ISZERO
00000161: DUP3
00000162: MSTORE
00000163: MLOAD
00000164: SWAP1
00000165: DUP2
00000166: SWAP1
00000167: SUB
00000168: PUSH1 0x20
0000016a: ADD
0000016b: SWAP1
0000016c: RETURN
0000016d: JUMPDEST
0000016e: CALLVALUE
0000016f: PUSH2 0x0000
00000172: JUMPI
00000173: PUSH2 0x00f0
00000176: PUSH1 0x04
00000178: CALLDATALOAD
00000179: PUSH1 0x24
0000017b: CALLDATALOAD
0000017c: PUSH2 0x05c9
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH1 0x40
00000183: DUP1
00000184: MLOAD
00000185: SWAP2
00000186: ISZERO
00000187: ISZERO
00000188: DUP3
00000189: MSTORE
0000018a: MLOAD
0000018b: SWAP1
0000018c: DUP2
0000018d: SWAP1
0000018e: SUB
0000018f: PUSH1 0x20
00000191: ADD
00000192: SWAP1
00000193: RETURN
00000194: JUMPDEST
00000195: CALLVALUE
00000196: PUSH2 0x0000
00000199: JUMPI
0000019a: PUSH2 0x013a
0000019d: PUSH2 0x0782
000001a0: JUMP
000001a1: JUMPDEST
000001a2: PUSH1 0x40
000001a4: DUP1
000001a5: MLOAD
000001a6: SWAP2
000001a7: DUP3
000001a8: MSTORE
000001a9: MLOAD
000001aa: SWAP1
000001ab: DUP2
000001ac: SWAP1
000001ad: SUB
000001ae: PUSH1 0x20
000001b0: ADD
000001b1: SWAP1
000001b2: RETURN
000001b3: JUMPDEST
000001b4: CALLVALUE
000001b5: PUSH2 0x0000
000001b8: JUMPI
000001b9: PUSH2 0x0111
000001bc: PUSH2 0x0788
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH1 0x40
000001c3: DUP1
000001c4: MLOAD
000001c5: PUSH1 0x01
000001c7: PUSH1 0xa0
000001c9: PUSH1 0x02
000001cb: EXP
000001cc: SUB
000001cd: SWAP1
000001ce: SWAP3
000001cf: AND
000001d0: DUP3
000001d1: MSTORE
000001d2: MLOAD
000001d3: SWAP1
000001d4: DUP2
000001d5: SWAP1
000001d6: SUB
000001d7: PUSH1 0x20
000001d9: ADD
000001da: SWAP1
000001db: RETURN
000001dc: JUMPDEST
000001dd: PUSH2 0x00de
000001e0: PUSH2 0x0797
000001e3: JUMP
000001e4: JUMPDEST
000001e5: STOP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: PUSH2 0x0000
000001eb: JUMPI
000001ec: PUSH2 0x013a
000001ef: PUSH2 0x086f
000001f2: JUMP
000001f3: JUMPDEST
000001f4: PUSH1 0x40
000001f6: DUP1
000001f7: MLOAD
000001f8: SWAP2
000001f9: DUP3
000001fa: MSTORE
000001fb: MLOAD
000001fc: SWAP1
000001fd: DUP2
000001fe: SWAP1
000001ff: SUB
00000200: PUSH1 0x20
00000202: ADD
00000203: SWAP1
00000204: RETURN
00000205: JUMPDEST
00000206: CALLVALUE
00000207: PUSH2 0x0000
0000020a: JUMPI
0000020b: PUSH2 0x00de
0000020e: PUSH1 0x04
00000210: CALLDATALOAD
00000211: PUSH1 0x24
00000213: CALLDATALOAD
00000214: PUSH2 0x0875
00000217: JUMP
00000218: JUMPDEST
00000219: STOP
0000021a: JUMPDEST
0000021b: CALLVALUE
0000021c: PUSH2 0x0000
0000021f: JUMPI
00000220: PUSH2 0x00f0
00000223: PUSH2 0x090a
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: DUP1
0000022b: MLOAD
0000022c: SWAP2
0000022d: ISZERO
0000022e: ISZERO
0000022f: DUP3
00000230: MSTORE
00000231: MLOAD
00000232: SWAP1
00000233: DUP2
00000234: SWAP1
00000235: SUB
00000236: PUSH1 0x20
00000238: ADD
00000239: SWAP1
0000023a: RETURN
0000023b: JUMPDEST
0000023c: CALLVALUE
0000023d: PUSH2 0x0000
00000240: JUMPI
00000241: PUSH2 0x00f0
00000244: PUSH1 0x04
00000246: CALLDATALOAD
00000247: PUSH1 0x24
00000249: CALLDATALOAD
0000024a: PUSH2 0x0913
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH1 0x40
00000251: DUP1
00000252: MLOAD
00000253: SWAP2
00000254: ISZERO
00000255: ISZERO
00000256: DUP3
00000257: MSTORE
00000258: MLOAD
00000259: SWAP1
0000025a: DUP2
0000025b: SWAP1
0000025c: SUB
0000025d: PUSH1 0x20
0000025f: ADD
00000260: SWAP1
00000261: RETURN
00000262: JUMPDEST
00000263: CALLVALUE
00000264: PUSH2 0x0000
00000267: JUMPI
00000268: PUSH2 0x00f0
0000026b: PUSH1 0x04
0000026d: CALLDATALOAD
0000026e: PUSH1 0x24
00000270: CALLDATALOAD
00000271: PUSH2 0x0aa4
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH1 0x40
00000278: DUP1
00000279: MLOAD
0000027a: SWAP2
0000027b: ISZERO
0000027c: ISZERO
0000027d: DUP3
0000027e: MSTORE
0000027f: MLOAD
00000280: SWAP1
00000281: DUP2
00000282: SWAP1
00000283: SUB
00000284: PUSH1 0x20
00000286: ADD
00000287: SWAP1
00000288: RETURN
00000289: JUMPDEST
0000028a: PUSH2 0x00de
0000028d: PUSH2 0x02db
00000290: JUMP
00000291: JUMPDEST
00000292: STOP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: PUSH2 0x0000
00000298: JUMPI
00000299: PUSH2 0x00f0
0000029c: PUSH1 0x04
0000029e: CALLDATALOAD
0000029f: PUSH2 0x0b79
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH1 0x40
000002a6: DUP1
000002a7: MLOAD
000002a8: SWAP2
000002a9: ISZERO
000002aa: ISZERO
000002ab: DUP3
000002ac: MSTORE
000002ad: MLOAD
000002ae: SWAP1
000002af: DUP2
000002b0: SWAP1
000002b1: SUB
000002b2: PUSH1 0x20
000002b4: ADD
000002b5: SWAP1
000002b6: RETURN
000002b7: JUMPDEST
000002b8: CALLVALUE
000002b9: PUSH2 0x0000
000002bc: JUMPI
000002bd: PUSH2 0x00de
000002c0: PUSH1 0x04
000002c2: CALLDATALOAD
000002c3: PUSH2 0x0c3f
000002c6: JUMP
000002c7: JUMPDEST
000002c8: STOP
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: PUSH2 0x0000
000002ce: JUMPI
000002cf: PUSH2 0x00de
000002d2: PUSH1 0x04
000002d4: CALLDATALOAD
000002d5: PUSH2 0x0dcb
000002d8: JUMP
000002d9: JUMPDEST
000002da: STOP
000002db: JUMPDEST
000002dc: PUSH1 0x00
000002de: PUSH1 0x00
000002e0: PUSH1 0x00
000002e2: PUSH1 0x05
000002e4: PUSH1 0x01
000002e6: SWAP1
000002e7: SLOAD
000002e8: SWAP1
000002e9: PUSH2 0x0100
000002ec: EXP
000002ed: SWAP1
000002ee: DIV
000002ef: PUSH1 0xff
000002f1: AND
000002f2: DUP1
000002f3: PUSH2 0x030a
000002f6: JUMPI
000002f7: POP
000002f8: PUSH1 0x00
000002fa: SLOAD
000002fb: CALLER
000002fc: PUSH1 0x01
000002fe: PUSH1 0xa0
00000300: PUSH1 0x02
00000302: EXP
00000303: SUB
00000304: SWAP1
00000305: DUP2
00000306: AND
00000307: SWAP2
00000308: AND
00000309: EQ
0000030a: JUMPDEST
0000030b: ISZERO
0000030c: PUSH2 0x04de
0000030f: JUMPI
00000310: PUSH1 0x03
00000312: SLOAD
00000313: CALLVALUE
00000314: DUP2
00000315: ISZERO
00000316: PUSH2 0x0000
00000319: JUMPI
0000031a: DIV
0000031b: SWAP3
0000031c: POP
0000031d: PUSH1 0x04
0000031f: SLOAD
00000320: PUSH1 0x01
00000322: PUSH1 0x00
00000324: SWAP1
00000325: SLOAD
00000326: SWAP1
00000327: PUSH2 0x0100
0000032a: EXP
0000032b: SWAP1
0000032c: DIV
0000032d: PUSH1 0x01
0000032f: PUSH1 0xa0
00000331: PUSH1 0x02
00000333: EXP
00000334: SUB
00000335: AND
00000336: PUSH1 0x01
00000338: PUSH1 0xa0
0000033a: PUSH1 0x02
0000033c: EXP
0000033d: SUB
0000033e: AND
0000033f: PUSH4 0x70a08231
00000344: ADDRESS
00000345: PUSH1 0x00
00000347: PUSH1 0x40
00000349: MLOAD
0000034a: PUSH1 0x20
0000034c: ADD
0000034d: MSTORE
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP3
00000352: PUSH1 0xe0
00000354: PUSH1 0x02
00000356: EXP
00000357: MUL
00000358: DUP2
00000359: MSTORE
0000035a: PUSH1 0x04
0000035c: ADD
0000035d: DUP1
0000035e: DUP3
0000035f: PUSH1 0x01
00000361: PUSH1 0xa0
00000363: PUSH1 0x02
00000365: EXP
00000366: SUB
00000367: AND
00000368: DUP2
00000369: MSTORE
0000036a: PUSH1 0x20
0000036c: ADD
0000036d: SWAP2
0000036e: POP
0000036f: POP
00000370: PUSH1 0x20
00000372: PUSH1 0x40
00000374: MLOAD
00000375: DUP1
00000376: DUP4
00000377: SUB
00000378: DUP2
00000379: PUSH1 0x00
0000037b: DUP8
0000037c: DUP1
0000037d: EXTCODESIZE
0000037e: ISZERO
0000037f: PUSH2 0x0000
00000382: JUMPI
00000383: PUSH1 0x32
00000385: GAS
00000386: SUB
00000387: CALL
00000388: ISZERO
00000389: PUSH2 0x0000
0000038c: JUMPI
0000038d: POP
0000038e: POP
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: MLOAD
00000393: SWAP1
00000394: POP
00000395: DUP2
00000396: ISZERO
00000397: PUSH2 0x0000
0000039a: JUMPI
0000039b: DIV
0000039c: SWAP2
0000039d: POP
0000039e: PUSH1 0x00
000003a0: SWAP1
000003a1: POP
000003a2: PUSH1 0x03
000003a4: SLOAD
000003a5: DUP3
000003a6: MUL
000003a7: CALLVALUE
000003a8: GT
000003a9: ISZERO
000003aa: PUSH2 0x03ba
000003ad: JUMPI
000003ae: PUSH1 0x03
000003b0: SLOAD
000003b1: DUP3
000003b2: MUL
000003b3: CALLVALUE
000003b4: SUB
000003b5: SWAP1
000003b6: POP
000003b7: DUP2
000003b8: SWAP3
000003b9: POP
000003ba: JUMPDEST
000003bb: PUSH1 0x00
000003bd: DUP2
000003be: GT
000003bf: ISZERO
000003c0: PUSH2 0x03f3
000003c3: JUMPI
000003c4: PUSH1 0x40
000003c6: MLOAD
000003c7: PUSH1 0x01
000003c9: PUSH1 0xa0
000003cb: PUSH1 0x02
000003cd: EXP
000003ce: SUB
000003cf: CALLER
000003d0: AND
000003d1: SWAP1
000003d2: DUP3
000003d3: ISZERO
000003d4: PUSH2 0x08fc
000003d7: MUL
000003d8: SWAP1
000003d9: DUP4
000003da: SWAP1
000003db: PUSH1 0x00
000003dd: DUP2
000003de: DUP2
000003df: DUP2
000003e0: DUP6
000003e1: DUP9
000003e2: DUP9
000003e3: CALL
000003e4: SWAP4
000003e5: POP
000003e6: POP
000003e7: POP
000003e8: POP
000003e9: ISZERO
000003ea: ISZERO
000003eb: PUSH2 0x03f3
000003ee: JUMPI
000003ef: PUSH2 0x0000
000003f2: JUMP
000003f3: JUMPDEST
000003f4: JUMPDEST
000003f5: PUSH1 0x00
000003f7: DUP4
000003f8: GT
000003f9: ISZERO
000003fa: PUSH2 0x0489
000003fd: JUMPI
000003fe: PUSH1 0x01
00000400: PUSH1 0x00
00000402: SWAP1
00000403: SLOAD
00000404: SWAP1
00000405: PUSH2 0x0100
00000408: EXP
00000409: SWAP1
0000040a: DIV
0000040b: PUSH1 0x01
0000040d: PUSH1 0xa0
0000040f: PUSH1 0x02
00000411: EXP
00000412: SUB
00000413: AND
00000414: PUSH1 0x01
00000416: PUSH1 0xa0
00000418: PUSH1 0x02
0000041a: EXP
0000041b: SUB
0000041c: AND
0000041d: PUSH4 0xa9059cbb
00000422: CALLER
00000423: PUSH1 0x04
00000425: SLOAD
00000426: DUP7
00000427: MUL
00000428: PUSH1 0x00
0000042a: PUSH1 0x40
0000042c: MLOAD
0000042d: PUSH1 0x20
0000042f: ADD
00000430: MSTORE
00000431: PUSH1 0x40
00000433: MLOAD
00000434: DUP4
00000435: PUSH1 0xe0
00000437: PUSH1 0x02
00000439: EXP
0000043a: MUL
0000043b: DUP2
0000043c: MSTORE
0000043d: PUSH1 0x04
0000043f: ADD
00000440: DUP1
00000441: DUP4
00000442: PUSH1 0x01
00000444: PUSH1 0xa0
00000446: PUSH1 0x02
00000448: EXP
00000449: SUB
0000044a: AND
0000044b: DUP2
0000044c: MSTORE
0000044d: PUSH1 0x20
0000044f: ADD
00000450: DUP3
00000451: DUP2
00000452: MSTORE
00000453: PUSH1 0x20
00000455: ADD
00000456: SWAP3
00000457: POP
00000458: POP
00000459: POP
0000045a: PUSH1 0x20
0000045c: PUSH1 0x40
0000045e: MLOAD
0000045f: DUP1
00000460: DUP4
00000461: SUB
00000462: DUP2
00000463: PUSH1 0x00
00000465: DUP8
00000466: DUP1
00000467: EXTCODESIZE
00000468: ISZERO
00000469: PUSH2 0x0000
0000046c: JUMPI
0000046d: PUSH1 0x32
0000046f: GAS
00000470: SUB
00000471: CALL
00000472: ISZERO
00000473: PUSH2 0x0000
00000476: JUMPI
00000477: POP
00000478: POP
00000479: PUSH1 0x40
0000047b: MLOAD
0000047c: MLOAD
0000047d: ISZERO
0000047e: ISZERO
0000047f: SWAP1
00000480: POP
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH2 0x0000
00000488: JUMP
00000489: JUMPDEST
0000048a: JUMPDEST
0000048b: PUSH1 0x04
0000048d: SLOAD
0000048e: PUSH1 0x40
00000490: DUP1
00000491: MLOAD
00000492: CALLVALUE
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x20
00000497: DUP2
00000498: ADD
00000499: DUP5
0000049a: SWAP1
0000049b: MSTORE
0000049c: SWAP2
0000049d: DUP6
0000049e: MUL
0000049f: DUP3
000004a0: DUP3
000004a1: ADD
000004a2: MSTORE
000004a3: MLOAD
000004a4: PUSH1 0x01
000004a6: PUSH1 0xa0
000004a8: PUSH1 0x02
000004aa: EXP
000004ab: SUB
000004ac: CALLER
000004ad: AND
000004ae: SWAP2
000004af: PUSH32 0x37e948531341be0a8ce95c3833827c6f3559825cb6421e6ff1fe21c3a8b71217
000004d0: SWAP2
000004d1: SWAP1
000004d2: DUP2
000004d3: SWAP1
000004d4: SUB
000004d5: PUSH1 0x60
000004d7: ADD
000004d8: SWAP1
000004d9: LOG2
000004da: PUSH2 0x050d
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x40
000004e1: MLOAD
000004e2: PUSH1 0x01
000004e4: PUSH1 0xa0
000004e6: PUSH1 0x02
000004e8: EXP
000004e9: SUB
000004ea: CALLER
000004eb: AND
000004ec: SWAP1
000004ed: CALLVALUE
000004ee: DUP1
000004ef: ISZERO
000004f0: PUSH2 0x08fc
000004f3: MUL
000004f4: SWAP2
000004f5: PUSH1 0x00
000004f7: DUP2
000004f8: DUP2
000004f9: DUP2
000004fa: DUP6
000004fb: DUP9
000004fc: DUP9
000004fd: CALL
000004fe: SWAP4
000004ff: POP
00000500: POP
00000501: POP
00000502: POP
00000503: ISZERO
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH2 0x0000
0000050c: JUMP
0000050d: JUMPDEST
0000050e: JUMPDEST
0000050f: JUMPDEST
00000510: POP
00000511: POP
00000512: POP
00000513: JUMP
00000514: JUMPDEST
00000515: PUSH1 0x00
00000517: DUP1
00000518: SLOAD
00000519: CALLER
0000051a: PUSH1 0x01
0000051c: PUSH1 0xa0
0000051e: PUSH1 0x02
00000520: EXP
00000521: SUB
00000522: SWAP1
00000523: DUP2
00000524: AND
00000525: SWAP2
00000526: AND
00000527: EQ
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH2 0x0000
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH1 0x01
00000533: PUSH1 0xa0
00000535: PUSH1 0x02
00000537: EXP
00000538: SUB
00000539: ADDRESS
0000053a: AND
0000053b: BALANCE
0000053c: DUP3
0000053d: SWAP1
0000053e: LT
0000053f: PUSH2 0x059f
00000542: JUMPI
00000543: PUSH1 0x40
00000545: DUP1
00000546: MLOAD
00000547: DUP4
00000548: DUP2
00000549: MSTORE
0000054a: SWAP1
0000054b: MLOAD
0000054c: PUSH32 0x8a93d70d792b644d97d7da8a5798e03bbee85be4537a860a331dbe3ee50eb982
0000056d: SWAP2
0000056e: DUP2
0000056f: SWAP1
00000570: SUB
00000571: PUSH1 0x20
00000573: ADD
00000574: SWAP1
00000575: LOG1
00000576: PUSH1 0x00
00000578: DUP1
00000579: SLOAD
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: PUSH1 0x01
0000057f: PUSH1 0xa0
00000581: PUSH1 0x02
00000583: EXP
00000584: SUB
00000585: SWAP1
00000586: SWAP2
00000587: AND
00000588: SWAP2
00000589: DUP5
0000058a: ISZERO
0000058b: PUSH2 0x08fc
0000058e: MUL
0000058f: SWAP2
00000590: DUP6
00000591: SWAP2
00000592: DUP2
00000593: DUP2
00000594: DUP2
00000595: DUP6
00000596: DUP9
00000597: DUP9
00000598: CALL
00000599: SWAP5
0000059a: POP
0000059b: POP
0000059c: POP
0000059d: POP
0000059e: POP
0000059f: JUMPDEST
000005a0: JUMPDEST
000005a1: JUMPDEST
000005a2: SWAP2
000005a3: SWAP1
000005a4: POP
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x01
000005a9: SLOAD
000005aa: PUSH1 0x01
000005ac: PUSH1 0xa0
000005ae: PUSH1 0x02
000005b0: EXP
000005b1: SUB
000005b2: AND
000005b3: DUP2
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH1 0x03
000005b8: SLOAD
000005b9: DUP2
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH1 0x05
000005be: SLOAD
000005bf: PUSH2 0x0100
000005c2: SWAP1
000005c3: DIV
000005c4: PUSH1 0xff
000005c6: AND
000005c7: DUP2
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: SLOAD
000005ce: CALLER
000005cf: PUSH1 0x01
000005d1: PUSH1 0xa0
000005d3: PUSH1 0x02
000005d5: EXP
000005d6: SUB
000005d7: SWAP1
000005d8: DUP2
000005d9: AND
000005da: SWAP2
000005db: AND
000005dc: EQ
000005dd: PUSH2 0x05e5
000005e0: JUMPI
000005e1: PUSH2 0x0000
000005e4: JUMP
000005e5: JUMPDEST
000005e6: DUP3
000005e7: PUSH1 0x01
000005e9: PUSH1 0xa0
000005eb: PUSH1 0x02
000005ed: EXP
000005ee: SUB
000005ef: AND
000005f0: PUSH4 0x8da5cb5b
000005f5: PUSH1 0x00
000005f7: PUSH1 0x40
000005f9: MLOAD
000005fa: PUSH1 0x20
000005fc: ADD
000005fd: MSTORE
000005fe: PUSH1 0x40
00000600: MLOAD
00000601: DUP2
00000602: PUSH1 0xe0
00000604: PUSH1 0x02
00000606: EXP
00000607: MUL
00000608: DUP2
00000609: MSTORE
0000060a: PUSH1 0x04
0000060c: ADD
0000060d: DUP1
0000060e: SWAP1
0000060f: POP
00000610: PUSH1 0x20
00000612: PUSH1 0x40
00000614: MLOAD
00000615: DUP1
00000616: DUP4
00000617: SUB
00000618: DUP2
00000619: PUSH1 0x00
0000061b: DUP8
0000061c: DUP1
0000061d: EXTCODESIZE
0000061e: ISZERO
0000061f: PUSH2 0x0000
00000622: JUMPI
00000623: PUSH1 0x32
00000625: GAS
00000626: SUB
00000627: CALL
00000628: ISZERO
00000629: PUSH2 0x0000
0000062c: JUMPI
0000062d: POP
0000062e: POP
0000062f: PUSH1 0x40
00000631: MLOAD
00000632: MLOAD
00000633: PUSH1 0x00
00000635: SLOAD
00000636: PUSH1 0x01
00000638: PUSH1 0xa0
0000063a: PUSH1 0x02
0000063c: EXP
0000063d: SUB
0000063e: SWAP1
0000063f: DUP2
00000640: AND
00000641: SWAP2
00000642: AND
00000643: EQ
00000644: ISZERO
00000645: SWAP1
00000646: POP
00000647: DUP1
00000648: PUSH2 0x06ae
0000064b: JUMPI
0000064c: POP
0000064d: DUP3
0000064e: PUSH1 0x01
00000650: PUSH1 0xa0
00000652: PUSH1 0x02
00000654: EXP
00000655: SUB
00000656: AND
00000657: PUSH4 0x38d52e0f
0000065c: PUSH1 0x00
0000065e: PUSH1 0x40
00000660: MLOAD
00000661: PUSH1 0x20
00000663: ADD
00000664: MSTORE
00000665: PUSH1 0x40
00000667: MLOAD
00000668: DUP2
00000669: PUSH1 0xe0
0000066b: PUSH1 0x02
0000066d: EXP
0000066e: MUL
0000066f: DUP2
00000670: MSTORE
00000671: PUSH1 0x04
00000673: ADD
00000674: DUP1
00000675: SWAP1
00000676: POP
00000677: PUSH1 0x20
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: DUP1
0000067d: DUP4
0000067e: SUB
0000067f: DUP2
00000680: PUSH1 0x00
00000682: DUP8
00000683: DUP1
00000684: EXTCODESIZE
00000685: ISZERO
00000686: PUSH2 0x0000
00000689: JUMPI
0000068a: PUSH1 0x32
0000068c: GAS
0000068d: SUB
0000068e: CALL
0000068f: ISZERO
00000690: PUSH2 0x0000
00000693: JUMPI
00000694: POP
00000695: POP
00000696: PUSH1 0x40
00000698: MLOAD
00000699: MLOAD
0000069a: PUSH1 0x01
0000069c: SLOAD
0000069d: PUSH1 0x01
0000069f: PUSH1 0xa0
000006a1: PUSH1 0x02
000006a3: EXP
000006a4: SUB
000006a5: SWAP1
000006a6: DUP2
000006a7: AND
000006a8: SWAP2
000006a9: AND
000006aa: EQ
000006ab: ISZERO
000006ac: SWAP1
000006ad: POP
000006ae: JUMPDEST
000006af: ISZERO
000006b0: PUSH2 0x06b8
000006b3: JUMPI
000006b4: PUSH2 0x0000
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH1 0x40
000006bb: DUP1
000006bc: MLOAD
000006bd: PUSH1 0x01
000006bf: PUSH1 0xa0
000006c1: PUSH1 0x02
000006c3: EXP
000006c4: SUB
000006c5: DUP6
000006c6: AND
000006c7: DUP2
000006c8: MSTORE
000006c9: PUSH1 0x20
000006cb: DUP2
000006cc: ADD
000006cd: DUP5
000006ce: SWAP1
000006cf: MSTORE
000006d0: DUP2
000006d1: MLOAD
000006d2: PUSH32 0x127afec6b0ab48f803536010148b79615f4a518f9b574de5b45bc74991c46d51
000006f3: SWAP3
000006f4: SWAP2
000006f5: DUP2
000006f6: SWAP1
000006f7: SUB
000006f8: SWAP1
000006f9: SWAP2
000006fa: ADD
000006fb: SWAP1
000006fc: LOG1
000006fd: PUSH1 0x01
000006ff: PUSH1 0x00
00000701: SWAP1
00000702: SLOAD
00000703: SWAP1
00000704: PUSH2 0x0100
00000707: EXP
00000708: SWAP1
00000709: DIV
0000070a: PUSH1 0x01
0000070c: PUSH1 0xa0
0000070e: PUSH1 0x02
00000710: EXP
00000711: SUB
00000712: AND
00000713: PUSH1 0x01
00000715: PUSH1 0xa0
00000717: PUSH1 0x02
00000719: EXP
0000071a: SUB
0000071b: AND
0000071c: PUSH4 0xa9059cbb
00000721: DUP5
00000722: DUP5
00000723: PUSH1 0x00
00000725: PUSH1 0x40
00000727: MLOAD
00000728: PUSH1 0x20
0000072a: ADD
0000072b: MSTORE
0000072c: PUSH1 0x40
0000072e: MLOAD
0000072f: DUP4
00000730: PUSH1 0xe0
00000732: PUSH1 0x02
00000734: EXP
00000735: MUL
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x04
0000073a: ADD
0000073b: DUP1
0000073c: DUP4
0000073d: PUSH1 0x01
0000073f: PUSH1 0xa0
00000741: PUSH1 0x02
00000743: EXP
00000744: SUB
00000745: AND
00000746: DUP2
00000747: MSTORE
00000748: PUSH1 0x20
0000074a: ADD
0000074b: DUP3
0000074c: DUP2
0000074d: MSTORE
0000074e: PUSH1 0x20
00000750: ADD
00000751: SWAP3
00000752: POP
00000753: POP
00000754: POP
00000755: PUSH1 0x20
00000757: PUSH1 0x40
00000759: MLOAD
0000075a: DUP1
0000075b: DUP4
0000075c: SUB
0000075d: DUP2
0000075e: PUSH1 0x00
00000760: DUP8
00000761: DUP1
00000762: EXTCODESIZE
00000763: ISZERO
00000764: PUSH2 0x0000
00000767: JUMPI
00000768: PUSH1 0x32
0000076a: GAS
0000076b: SUB
0000076c: CALL
0000076d: ISZERO
0000076e: PUSH2 0x0000
00000771: JUMPI
00000772: POP
00000773: POP
00000774: PUSH1 0x40
00000776: MLOAD
00000777: MLOAD
00000778: SWAP2
00000779: POP
0000077a: POP
0000077b: JUMPDEST
0000077c: JUMPDEST
0000077d: SWAP3
0000077e: SWAP2
0000077f: POP
00000780: POP
00000781: JUMP
00000782: JUMPDEST
00000783: PUSH1 0x02
00000785: SLOAD
00000786: DUP2
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH1 0x00
0000078b: SLOAD
0000078c: PUSH1 0x01
0000078e: PUSH1 0xa0
00000790: PUSH1 0x02
00000792: EXP
00000793: SUB
00000794: AND
00000795: DUP2
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH1 0x00
0000079a: SLOAD
0000079b: CALLER
0000079c: PUSH1 0x01
0000079e: PUSH1 0xa0
000007a0: PUSH1 0x02
000007a2: EXP
000007a3: SUB
000007a4: SWAP1
000007a5: DUP2
000007a6: AND
000007a7: SWAP2
000007a8: AND
000007a9: EQ
000007aa: DUP1
000007ab: ISZERO
000007ac: SWAP1
000007ad: PUSH2 0x082e
000007b0: JUMPI
000007b1: POP
000007b2: PUSH1 0x00
000007b4: PUSH1 0x00
000007b6: SWAP1
000007b7: SLOAD
000007b8: SWAP1
000007b9: PUSH2 0x0100
000007bc: EXP
000007bd: SWAP1
000007be: DIV
000007bf: PUSH1 0x01
000007c1: PUSH1 0xa0
000007c3: PUSH1 0x02
000007c5: EXP
000007c6: SUB
000007c7: AND
000007c8: PUSH1 0x01
000007ca: PUSH1 0xa0
000007cc: PUSH1 0x02
000007ce: EXP
000007cf: SUB
000007d0: AND
000007d1: CALLER
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: PUSH1 0x02
000007d8: EXP
000007d9: SUB
000007da: AND
000007db: PUSH4 0x8da5cb5b
000007e0: PUSH1 0x00
000007e2: PUSH1 0x40
000007e4: MLOAD
000007e5: PUSH1 0x20
000007e7: ADD
000007e8: MSTORE
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP2
000007ed: PUSH1 0xe0
000007ef: PUSH1 0x02
000007f1: EXP
000007f2: MUL
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x04
000007f7: ADD
000007f8: DUP1
000007f9: SWAP1
000007fa: POP
000007fb: PUSH1 0x20
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: DUP4
00000802: SUB
00000803: DUP2
00000804: PUSH1 0x00
00000806: DUP8
00000807: DUP1
00000808: EXTCODESIZE
00000809: ISZERO
0000080a: PUSH2 0x0000
0000080d: JUMPI
0000080e: PUSH1 0x32
00000810: GAS
00000811: SUB
00000812: CALL
00000813: ISZERO
00000814: PUSH2 0x0000
00000817: JUMPI
00000818: POP
00000819: POP
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: MLOAD
0000081e: PUSH1 0x01
00000820: PUSH1 0xa0
00000822: PUSH1 0x02
00000824: EXP
00000825: SUB
00000826: AND
00000827: SWAP2
00000828: SWAP1
00000829: SWAP2
0000082a: EQ
0000082b: ISZERO
0000082c: SWAP1
0000082d: POP
0000082e: JUMPDEST
0000082f: ISZERO
00000830: PUSH2 0x0838
00000833: JUMPI
00000834: PUSH2 0x0000
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x40
0000083b: DUP1
0000083c: MLOAD
0000083d: CALLVALUE
0000083e: DUP2
0000083f: MSTORE
00000840: SWAP1
00000841: MLOAD
00000842: PUSH32 0xc745dab9c51cefa79677191ed7af7b0ccbb8360b8b39ed79f257f6895882980f
00000863: SWAP2
00000864: DUP2
00000865: SWAP1
00000866: SUB
00000867: PUSH1 0x20
00000869: ADD
0000086a: SWAP1
0000086b: LOG1
0000086c: JUMPDEST
0000086d: JUMPDEST
0000086e: JUMP
0000086f: JUMPDEST
00000870: PUSH1 0x04
00000872: SLOAD
00000873: DUP2
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH1 0x00
00000878: SLOAD
00000879: CALLER
0000087a: PUSH1 0x01
0000087c: PUSH1 0xa0
0000087e: PUSH1 0x02
00000880: EXP
00000881: SUB
00000882: SWAP1
00000883: DUP2
00000884: AND
00000885: SWAP2
00000886: AND
00000887: EQ
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH2 0x0000
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH1 0x05
00000893: DUP1
00000894: SLOAD
00000895: PUSH1 0xff
00000897: NOT
00000898: AND
00000899: PUSH1 0xf8
0000089b: PUSH1 0x02
0000089d: EXP
0000089e: DUP5
0000089f: DUP2
000008a0: MUL
000008a1: DUP2
000008a2: SWAP1
000008a3: DIV
000008a4: SWAP2
000008a5: SWAP1
000008a6: SWAP2
000008a7: OR
000008a8: PUSH2 0xff00
000008ab: NOT
000008ac: AND
000008ad: PUSH2 0x0100
000008b0: DUP5
000008b1: DUP4
000008b2: MUL
000008b3: SWAP3
000008b4: SWAP1
000008b5: SWAP3
000008b6: DIV
000008b7: DUP3
000008b8: MUL
000008b9: OR
000008ba: SWAP2
000008bb: DUP3
000008bc: SWAP1
000008bd: SSTORE
000008be: PUSH1 0x40
000008c0: DUP1
000008c1: MLOAD
000008c2: PUSH1 0xff
000008c4: DUP1
000008c5: DUP6
000008c6: AND
000008c7: ISZERO
000008c8: ISZERO
000008c9: DUP3
000008ca: MSTORE
000008cb: SWAP3
000008cc: SWAP1
000008cd: SWAP4
000008ce: DIV
000008cf: SWAP1
000008d0: SWAP2
000008d1: AND
000008d2: ISZERO
000008d3: ISZERO
000008d4: PUSH1 0x20
000008d6: DUP4
000008d7: ADD
000008d8: MSTORE
000008d9: DUP1
000008da: MLOAD
000008db: PUSH32 0xfa4f96c42c616d6fbda491095977a6af7c76ebd387177b72299180502cbeaa99
000008fc: SWAP3
000008fd: DUP2
000008fe: SWAP1
000008ff: SUB
00000900: SWAP1
00000901: SWAP2
00000902: ADD
00000903: SWAP1
00000904: LOG1
00000905: JUMPDEST
00000906: JUMPDEST
00000907: POP
00000908: POP
00000909: JUMP
0000090a: JUMPDEST
0000090b: PUSH1 0x05
0000090d: SLOAD
0000090e: PUSH1 0xff
00000910: AND
00000911: DUP2
00000912: JUMP
00000913: JUMPDEST
00000914: PUSH1 0x00
00000916: DUP1
00000917: SLOAD
00000918: CALLER
00000919: PUSH1 0x01
0000091b: PUSH1 0xa0
0000091d: PUSH1 0x02
0000091f: EXP
00000920: SUB
00000921: SWAP1
00000922: DUP2
00000923: AND
00000924: SWAP2
00000925: AND
00000926: EQ
00000927: PUSH2 0x092f
0000092a: JUMPI
0000092b: PUSH2 0x0000
0000092e: JUMP
0000092f: JUMPDEST
00000930: DUP3
00000931: PUSH1 0x01
00000933: PUSH1 0xa0
00000935: PUSH1 0x02
00000937: EXP
00000938: SUB
00000939: AND
0000093a: PUSH4 0x8da5cb5b
0000093f: PUSH1 0x00
00000941: PUSH1 0x40
00000943: MLOAD
00000944: PUSH1 0x20
00000946: ADD
00000947: MSTORE
00000948: PUSH1 0x40
0000094a: MLOAD
0000094b: DUP2
0000094c: PUSH1 0xe0
0000094e: PUSH1 0x02
00000950: EXP
00000951: MUL
00000952: DUP2
00000953: MSTORE
00000954: PUSH1 0x04
00000956: ADD
00000957: DUP1
00000958: SWAP1
00000959: POP
0000095a: PUSH1 0x20
0000095c: PUSH1 0x40
0000095e: MLOAD
0000095f: DUP1
00000960: DUP4
00000961: SUB
00000962: DUP2
00000963: PUSH1 0x00
00000965: DUP8
00000966: DUP1
00000967: EXTCODESIZE
00000968: ISZERO
00000969: PUSH2 0x0000
0000096c: JUMPI
0000096d: PUSH1 0x32
0000096f: GAS
00000970: SUB
00000971: CALL
00000972: ISZERO
00000973: PUSH2 0x0000
00000976: JUMPI
00000977: POP
00000978: POP
00000979: PUSH1 0x40
0000097b: MLOAD
0000097c: MLOAD
0000097d: PUSH1 0x00
0000097f: SLOAD
00000980: PUSH1 0x01
00000982: PUSH1 0xa0
00000984: PUSH1 0x02
00000986: EXP
00000987: SUB
00000988: SWAP1
00000989: DUP2
0000098a: AND
0000098b: SWAP2
0000098c: AND
0000098d: EQ
0000098e: ISZERO
0000098f: SWAP1
00000990: POP
00000991: DUP1
00000992: PUSH2 0x09f8
00000995: JUMPI
00000996: POP
00000997: DUP3
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: PUSH1 0x02
0000099e: EXP
0000099f: SUB
000009a0: AND
000009a1: PUSH4 0x38d52e0f
000009a6: PUSH1 0x00
000009a8: PUSH1 0x40
000009aa: MLOAD
000009ab: PUSH1 0x20
000009ad: ADD
000009ae: MSTORE
000009af: PUSH1 0x40
000009b1: MLOAD
000009b2: DUP2
000009b3: PUSH1 0xe0
000009b5: PUSH1 0x02
000009b7: EXP
000009b8: MUL
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x04
000009bd: ADD
000009be: DUP1
000009bf: SWAP1
000009c0: POP
000009c1: PUSH1 0x20
000009c3: PUSH1 0x40
000009c5: MLOAD
000009c6: DUP1
000009c7: DUP4
000009c8: SUB
000009c9: DUP2
000009ca: PUSH1 0x00
000009cc: DUP8
000009cd: DUP1
000009ce: EXTCODESIZE
000009cf: ISZERO
000009d0: PUSH2 0x0000
000009d3: JUMPI
000009d4: PUSH1 0x32
000009d6: GAS
000009d7: SUB
000009d8: CALL
000009d9: ISZERO
000009da: PUSH2 0x0000
000009dd: JUMPI
000009de: POP
000009df: POP
000009e0: PUSH1 0x40
000009e2: MLOAD
000009e3: MLOAD
000009e4: PUSH1 0x01
000009e6: SLOAD
000009e7: PUSH1 0x01
000009e9: PUSH1 0xa0
000009eb: PUSH1 0x02
000009ed: EXP
000009ee: SUB
000009ef: SWAP1
000009f0: DUP2
000009f1: AND
000009f2: SWAP2
000009f3: AND
000009f4: EQ
000009f5: ISZERO
000009f6: SWAP1
000009f7: POP
000009f8: JUMPDEST
000009f9: ISZERO
000009fa: PUSH2 0x0a02
000009fd: JUMPI
000009fe: PUSH2 0x0000
00000a01: JUMP
00000a02: JUMPDEST
00000a03: PUSH1 0x01
00000a05: PUSH1 0xa0
00000a07: PUSH1 0x02
00000a09: EXP
00000a0a: SUB
00000a0b: ADDRESS
00000a0c: AND
00000a0d: BALANCE
00000a0e: DUP3
00000a0f: SWAP1
00000a10: LT
00000a11: PUSH2 0x077b
00000a14: JUMPI
00000a15: PUSH1 0x40
00000a17: DUP1
00000a18: MLOAD
00000a19: PUSH1 0x01
00000a1b: PUSH1 0xa0
00000a1d: PUSH1 0x02
00000a1f: EXP
00000a20: SUB
00000a21: DUP6
00000a22: AND
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x20
00000a27: DUP2
00000a28: ADD
00000a29: DUP5
00000a2a: SWAP1
00000a2b: MSTORE
00000a2c: DUP2
00000a2d: MLOAD
00000a2e: PUSH32 0x714b446590efbc5b722abe34b4c0cacf4b1f5607fbf924f957646590ce66c4ad
00000a4f: SWAP3
00000a50: SWAP2
00000a51: DUP2
00000a52: SWAP1
00000a53: SUB
00000a54: SWAP1
00000a55: SWAP2
00000a56: ADD
00000a57: SWAP1
00000a58: LOG1
00000a59: DUP3
00000a5a: PUSH1 0x01
00000a5c: PUSH1 0xa0
00000a5e: PUSH1 0x02
00000a60: EXP
00000a61: SUB
00000a62: AND
00000a63: PUSH4 0x919f8cfc
00000a68: DUP4
00000a69: PUSH1 0x40
00000a6b: MLOAD
00000a6c: DUP3
00000a6d: PUSH1 0xe0
00000a6f: PUSH1 0x02
00000a71: EXP
00000a72: MUL
00000a73: DUP2
00000a74: MSTORE
00000a75: PUSH1 0x04
00000a77: ADD
00000a78: DUP1
00000a79: SWAP1
00000a7a: POP
00000a7b: PUSH1 0x00
00000a7d: PUSH1 0x40
00000a7f: MLOAD
00000a80: DUP1
00000a81: DUP4
00000a82: SUB
00000a83: DUP2
00000a84: DUP6
00000a85: DUP9
00000a86: DUP1
00000a87: EXTCODESIZE
00000a88: ISZERO
00000a89: PUSH2 0x0000
00000a8c: JUMPI
00000a8d: PUSH2 0x235a
00000a90: GAS
00000a91: SUB
00000a92: CALL
00000a93: ISZERO
00000a94: PUSH2 0x0000
00000a97: JUMPI
00000a98: POP
00000a99: POP
00000a9a: POP
00000a9b: POP
00000a9c: JUMPDEST
00000a9d: JUMPDEST
00000a9e: JUMPDEST
00000a9f: SWAP3
00000aa0: SWAP2
00000aa1: POP
00000aa2: POP
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: PUSH1 0x00
00000aa7: DUP1
00000aa8: SLOAD
00000aa9: CALLER
00000aaa: PUSH1 0x01
00000aac: PUSH1 0xa0
00000aae: PUSH1 0x02
00000ab0: EXP
00000ab1: SUB
00000ab2: SWAP1
00000ab3: DUP2
00000ab4: AND
00000ab5: SWAP2
00000ab6: AND
00000ab7: EQ
00000ab8: PUSH2 0x0ac0
00000abb: JUMPI
00000abc: PUSH2 0x0000
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: PUSH1 0x40
00000ac3: DUP1
00000ac4: MLOAD
00000ac5: PUSH1 0x01
00000ac7: PUSH1 0xa0
00000ac9: PUSH1 0x02
00000acb: EXP
00000acc: SUB
00000acd: DUP6
00000ace: AND
00000acf: DUP2
00000ad0: MSTORE
00000ad1: PUSH1 0x20
00000ad3: DUP2
00000ad4: ADD
00000ad5: DUP5
00000ad6: SWAP1
00000ad7: MSTORE
00000ad8: DUP2
00000ad9: MLOAD
00000ada: PUSH32 0xfea8ae97829f3801e6ca15928428931c2a4f3cee1fa7c9b83d959efd24666422
00000afb: SWAP3
00000afc: SWAP2
00000afd: DUP2
00000afe: SWAP1
00000aff: SUB
00000b00: SWAP1
00000b01: SWAP2
00000b02: ADD
00000b03: SWAP1
00000b04: LOG1
00000b05: PUSH1 0x00
00000b07: DUP1
00000b08: SLOAD
00000b09: PUSH1 0x40
00000b0b: DUP1
00000b0c: MLOAD
00000b0d: PUSH1 0x20
00000b0f: SWAP1
00000b10: DUP2
00000b11: ADD
00000b12: DUP5
00000b13: SWAP1
00000b14: MSTORE
00000b15: DUP2
00000b16: MLOAD
00000b17: PUSH1 0xe0
00000b19: PUSH1 0x02
00000b1b: EXP
00000b1c: PUSH4 0xa9059cbb
00000b21: MUL
00000b22: DUP2
00000b23: MSTORE
00000b24: PUSH1 0x01
00000b26: PUSH1 0xa0
00000b28: PUSH1 0x02
00000b2a: EXP
00000b2b: SUB
00000b2c: SWAP4
00000b2d: DUP5
00000b2e: AND
00000b2f: PUSH1 0x04
00000b31: DUP3
00000b32: ADD
00000b33: MSTORE
00000b34: PUSH1 0x24
00000b36: DUP2
00000b37: ADD
00000b38: DUP8
00000b39: SWAP1
00000b3a: MSTORE
00000b3b: SWAP2
00000b3c: MLOAD
00000b3d: SWAP3
00000b3e: DUP8
00000b3f: AND
00000b40: SWAP4
00000b41: PUSH4 0xa9059cbb
00000b46: SWAP4
00000b47: PUSH1 0x44
00000b49: DUP1
00000b4a: DUP6
00000b4b: ADD
00000b4c: SWAP5
00000b4d: SWAP2
00000b4e: SWAP3
00000b4f: SWAP2
00000b50: DUP4
00000b51: SWAP1
00000b52: SUB
00000b53: ADD
00000b54: SWAP1
00000b55: DUP3
00000b56: SWAP1
00000b57: DUP8
00000b58: DUP1
00000b59: EXTCODESIZE
00000b5a: ISZERO
00000b5b: PUSH2 0x0000
00000b5e: JUMPI
00000b5f: PUSH1 0x32
00000b61: GAS
00000b62: SUB
00000b63: CALL
00000b64: ISZERO
00000b65: PUSH2 0x0000
00000b68: JUMPI
00000b69: POP
00000b6a: POP
00000b6b: PUSH1 0x40
00000b6d: MLOAD
00000b6e: MLOAD
00000b6f: SWAP2
00000b70: POP
00000b71: POP
00000b72: JUMPDEST
00000b73: JUMPDEST
00000b74: SWAP3
00000b75: SWAP2
00000b76: POP
00000b77: POP
00000b78: JUMP
00000b79: JUMPDEST
00000b7a: PUSH1 0x00
00000b7c: DUP1
00000b7d: SLOAD
00000b7e: CALLER
00000b7f: PUSH1 0x01
00000b81: PUSH1 0xa0
00000b83: PUSH1 0x02
00000b85: EXP
00000b86: SUB
00000b87: SWAP1
00000b88: DUP2
00000b89: AND
00000b8a: SWAP2
00000b8b: AND
00000b8c: EQ
00000b8d: PUSH2 0x0b95
00000b90: JUMPI
00000b91: PUSH2 0x0000
00000b94: JUMP
00000b95: JUMPDEST
00000b96: PUSH1 0x40
00000b98: DUP1
00000b99: MLOAD
00000b9a: DUP4
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: SWAP1
00000b9e: MLOAD
00000b9f: PUSH32 0x1ebbc515a759c3fe8e048867aac7fe458e3a37ac3dd44ffc73a6238cf3003981
00000bc0: SWAP2
00000bc1: DUP2
00000bc2: SWAP1
00000bc3: SUB
00000bc4: PUSH1 0x20
00000bc6: ADD
00000bc7: SWAP1
00000bc8: LOG1
00000bc9: PUSH1 0x01
00000bcb: SLOAD
00000bcc: PUSH1 0x00
00000bce: DUP1
00000bcf: SLOAD
00000bd0: PUSH1 0x40
00000bd2: DUP1
00000bd3: MLOAD
00000bd4: PUSH1 0x20
00000bd6: SWAP1
00000bd7: DUP2
00000bd8: ADD
00000bd9: DUP5
00000bda: SWAP1
00000bdb: MSTORE
00000bdc: DUP2
00000bdd: MLOAD
00000bde: PUSH1 0xe0
00000be0: PUSH1 0x02
00000be2: EXP
00000be3: PUSH4 0xa9059cbb
00000be8: MUL
00000be9: DUP2
00000bea: MSTORE
00000beb: PUSH1 0x01
00000bed: PUSH1 0xa0
00000bef: PUSH1 0x02
00000bf1: EXP
00000bf2: SUB
00000bf3: SWAP4
00000bf4: DUP5
00000bf5: AND
00000bf6: PUSH1 0x04
00000bf8: DUP3
00000bf9: ADD
00000bfa: MSTORE
00000bfb: PUSH1 0x24
00000bfd: DUP2
00000bfe: ADD
00000bff: DUP9
00000c00: SWAP1
00000c01: MSTORE
00000c02: SWAP2
00000c03: MLOAD
00000c04: SWAP3
00000c05: SWAP1
00000c06: SWAP5
00000c07: AND
00000c08: SWAP4
00000c09: PUSH4 0xa9059cbb
00000c0e: SWAP4
00000c0f: PUSH1 0x44
00000c11: DUP1
00000c12: DUP5
00000c13: ADD
00000c14: SWAP5
00000c15: SWAP3
00000c16: SWAP4
00000c17: DUP4
00000c18: SWAP1
00000c19: SUB
00000c1a: ADD
00000c1b: SWAP1
00000c1c: DUP3
00000c1d: SWAP1
00000c1e: DUP8
00000c1f: DUP1
00000c20: EXTCODESIZE
00000c21: ISZERO
00000c22: PUSH2 0x0000
00000c25: JUMPI
00000c26: PUSH1 0x32
00000c28: GAS
00000c29: SUB
00000c2a: CALL
00000c2b: ISZERO
00000c2c: PUSH2 0x0000
00000c2f: JUMPI
00000c30: POP
00000c31: POP
00000c32: PUSH1 0x40
00000c34: MLOAD
00000c35: MLOAD
00000c36: SWAP2
00000c37: POP
00000c38: POP
00000c39: JUMPDEST
00000c3a: JUMPDEST
00000c3b: SWAP2
00000c3c: SWAP1
00000c3d: POP
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: PUSH1 0x05
00000c42: SLOAD
00000c43: PUSH1 0x00
00000c45: SWAP1
00000c46: DUP2
00000c47: SWAP1
00000c48: PUSH1 0xff
00000c4a: AND
00000c4b: DUP1
00000c4c: PUSH2 0x0c63
00000c4f: JUMPI
00000c50: POP
00000c51: PUSH1 0x00
00000c53: SLOAD
00000c54: CALLER
00000c55: PUSH1 0x01
00000c57: PUSH1 0xa0
00000c59: PUSH1 0x02
00000c5b: EXP
00000c5c: SUB
00000c5d: SWAP1
00000c5e: DUP2
00000c5f: AND
00000c60: SWAP2
00000c61: AND
00000c62: EQ
00000c63: JUMPDEST
00000c64: ISZERO
00000c65: PUSH2 0x050d
00000c68: JUMPI
00000c69: PUSH1 0x02
00000c6b: SLOAD
00000c6c: ADDRESS
00000c6d: PUSH1 0x01
00000c6f: PUSH1 0xa0
00000c71: PUSH1 0x02
00000c73: EXP
00000c74: SUB
00000c75: AND
00000c76: BALANCE
00000c77: DUP2
00000c78: ISZERO
00000c79: PUSH2 0x0000
00000c7c: JUMPI
00000c7d: DIV
00000c7e: SWAP2
00000c7f: POP
00000c80: PUSH1 0x04
00000c82: SLOAD
00000c83: DUP4
00000c84: DUP2
00000c85: ISZERO
00000c86: PUSH2 0x0000
00000c89: JUMPI
00000c8a: DIV
00000c8b: SWAP1
00000c8c: POP
00000c8d: DUP2
00000c8e: DUP2
00000c8f: GT
00000c90: ISZERO
00000c91: PUSH2 0x0c97
00000c94: JUMPI
00000c95: POP
00000c96: DUP1
00000c97: JUMPDEST
00000c98: PUSH1 0x00
00000c9a: DUP2
00000c9b: GT
00000c9c: ISZERO
00000c9d: PUSH2 0x0d70
00000ca0: JUMPI
00000ca1: PUSH1 0x01
00000ca3: PUSH1 0x00
00000ca5: SWAP1
00000ca6: SLOAD
00000ca7: SWAP1
00000ca8: PUSH2 0x0100
00000cab: EXP
00000cac: SWAP1
00000cad: DIV
00000cae: PUSH1 0x01
00000cb0: PUSH1 0xa0
00000cb2: PUSH1 0x02
00000cb4: EXP
00000cb5: SUB
00000cb6: AND
00000cb7: PUSH1 0x01
00000cb9: PUSH1 0xa0
00000cbb: PUSH1 0x02
00000cbd: EXP
00000cbe: SUB
00000cbf: AND
00000cc0: PUSH4 0x23b872dd
00000cc5: CALLER
00000cc6: ADDRESS
00000cc7: PUSH1 0x04
00000cc9: SLOAD
00000cca: DUP6
00000ccb: MUL
00000ccc: PUSH1 0x00
00000cce: PUSH1 0x40
00000cd0: MLOAD
00000cd1: PUSH1 0x20
00000cd3: ADD
00000cd4: MSTORE
00000cd5: PUSH1 0x40
00000cd7: MLOAD
00000cd8: DUP5
00000cd9: PUSH1 0xe0
00000cdb: PUSH1 0x02
00000cdd: EXP
00000cde: MUL
00000cdf: DUP2
00000ce0: MSTORE
00000ce1: PUSH1 0x04
00000ce3: ADD
00000ce4: DUP1
00000ce5: DUP5
00000ce6: PUSH1 0x01
00000ce8: PUSH1 0xa0
00000cea: PUSH1 0x02
00000cec: EXP
00000ced: SUB
00000cee: AND
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: ADD
00000cf4: DUP4
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0xa0
00000cf9: PUSH1 0x02
00000cfb: EXP
00000cfc: SUB
00000cfd: AND
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x20
00000d02: ADD
00000d03: DUP3
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x20
00000d08: ADD
00000d09: SWAP4
00000d0a: POP
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: PUSH1 0x20
00000d10: PUSH1 0x40
00000d12: MLOAD
00000d13: DUP1
00000d14: DUP4
00000d15: SUB
00000d16: DUP2
00000d17: PUSH1 0x00
00000d19: DUP8
00000d1a: DUP1
00000d1b: EXTCODESIZE
00000d1c: ISZERO
00000d1d: PUSH2 0x0000
00000d20: JUMPI
00000d21: PUSH1 0x32
00000d23: GAS
00000d24: SUB
00000d25: CALL
00000d26: ISZERO
00000d27: PUSH2 0x0000
00000d2a: JUMPI
00000d2b: POP
00000d2c: POP
00000d2d: PUSH1 0x40
00000d2f: MLOAD
00000d30: MLOAD
00000d31: ISZERO
00000d32: ISZERO
00000d33: SWAP1
00000d34: POP
00000d35: PUSH2 0x0d3d
00000d38: JUMPI
00000d39: PUSH2 0x0000
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH1 0x02
00000d40: SLOAD
00000d41: PUSH1 0x40
00000d43: MLOAD
00000d44: PUSH1 0x01
00000d46: PUSH1 0xa0
00000d48: PUSH1 0x02
00000d4a: EXP
00000d4b: SUB
00000d4c: CALLER
00000d4d: AND
00000d4e: SWAP2
00000d4f: DUP4
00000d50: MUL
00000d51: DUP1
00000d52: ISZERO
00000d53: PUSH2 0x08fc
00000d56: MUL
00000d57: SWAP2
00000d58: PUSH1 0x00
00000d5a: DUP2
00000d5b: DUP2
00000d5c: DUP2
00000d5d: DUP6
00000d5e: DUP9
00000d5f: DUP9
00000d60: CALL
00000d61: SWAP4
00000d62: POP
00000d63: POP
00000d64: POP
00000d65: POP
00000d66: ISZERO
00000d67: ISZERO
00000d68: PUSH2 0x0d70
00000d6b: JUMPI
00000d6c: PUSH2 0x0000
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: JUMPDEST
00000d72: PUSH1 0x04
00000d74: SLOAD
00000d75: PUSH1 0x02
00000d77: SLOAD
00000d78: PUSH1 0x40
00000d7a: DUP1
00000d7b: MLOAD
00000d7c: DUP7
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: SWAP3
00000d80: DUP5
00000d81: MUL
00000d82: PUSH1 0x20
00000d84: DUP5
00000d85: ADD
00000d86: MSTORE
00000d87: SWAP1
00000d88: DUP4
00000d89: MUL
00000d8a: DUP3
00000d8b: DUP3
00000d8c: ADD
00000d8d: MSTORE
00000d8e: MLOAD
00000d8f: PUSH1 0x01
00000d91: PUSH1 0xa0
00000d93: PUSH1 0x02
00000d95: EXP
00000d96: SUB
00000d97: CALLER
00000d98: AND
00000d99: SWAP2
00000d9a: PUSH32 0x0ba0a3a12a9b73413f41468a265bf897ff66171a971e352360753a27d5db7683
00000dbb: SWAP2
00000dbc: SWAP1
00000dbd: DUP2
00000dbe: SWAP1
00000dbf: SUB
00000dc0: PUSH1 0x60
00000dc2: ADD
00000dc3: SWAP1
00000dc4: LOG2
00000dc5: JUMPDEST
00000dc6: JUMPDEST
00000dc7: POP
00000dc8: POP
00000dc9: POP
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: PUSH1 0x00
00000dce: SLOAD
00000dcf: CALLER
00000dd0: PUSH1 0x01
00000dd2: PUSH1 0xa0
00000dd4: PUSH1 0x02
00000dd6: EXP
00000dd7: SUB
00000dd8: SWAP1
00000dd9: DUP2
00000dda: AND
00000ddb: SWAP2
00000ddc: AND
00000ddd: EQ
00000dde: PUSH2 0x0de6
00000de1: JUMPI
00000de2: PUSH2 0x0000
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x00
00000de9: DUP1
00000dea: SLOAD
00000deb: PUSH1 0x40
00000ded: MLOAD
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: PUSH1 0x02
00000df4: EXP
00000df5: SUB
00000df6: DUP1
00000df7: DUP6
00000df8: AND
00000df9: SWAP4
00000dfa: SWAP3
00000dfb: AND
00000dfc: SWAP2
00000dfd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000e1e: SWAP2
00000e1f: LOG3
00000e20: PUSH1 0x00
00000e22: DUP1
00000e23: SLOAD
00000e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e39: NOT
00000e3a: AND
00000e3b: PUSH13 0x01000000000000000000000000
00000e49: DUP4
00000e4a: DUP2
00000e4b: MUL
00000e4c: DIV
00000e4d: OR
00000e4e: SWAP1
00000e4f: SSTORE
00000e50: JUMPDEST
00000e51: JUMPDEST
00000e52: POP
00000e53: 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: 0x5d228b54cebb1a47e28d1c16aa9b10905d167e0c918532e38c584aea4e3f72c5
call_targets: 0xd7f26337e8d84d3bb924108563d95d17cdc97eea
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5d228b54cebb1a47e28d1c16aa9b10905d167e0c918532e38c584aea4e3f72c5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd7f26337e8d84d3bb924108563d95d17cdc97eea"
    ],
    "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": "0x2170ebf7",
            "selector": "0x2170ebf7",
            "calldata_variants": [
                "0x2170ebf7",
                "0x2170ebf70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38d52e0f",
            "selector": "0x38d52e0f",
            "calldata_variants": [
                "0x38d52e0f",
                "0x38d52e0f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b750334",
            "selector": "0x4b750334",
            "calldata_variants": [
                "0x4b750334",
                "0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ca50f59",
            "selector": "0x4ca50f59",
            "calldata_variants": [
                "0x4ca50f59",
                "0x4ca50f590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52954e5a",
            "selector": "0x52954e5a",
            "calldata_variants": [
                "0x52954e5a",
                "0x52954e5a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8620410b",
            "selector": "0x8620410b",
            "calldata_variants": [
                "0x8620410b",
                "0x8620410b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x919f8cfc",
            "selector": "0x919f8cfc",
            "calldata_variants": [
                "0x919f8cfc",
                "0x919f8cfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 903,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 995,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1137,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 16,
    "guards_detected": [],
    "untrusted_call_count": 16
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x5d228b54cebb1a47e28d1c16aa9b10905d167e0c918532e38c584aea4e3f72c5
call_targets: 0xd7f26337e8d84d3bb924108563d95d17cdc97eea
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5d228b54cebb1a47e28d1c16aa9b10905d167e0c918532e38c584aea4e3f72c5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd7f26337e8d84d3bb924108563d95d17cdc97eea"
    ],
    "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": "0x2170ebf7",
            "selector": "0x2170ebf7",
            "calldata_variants": [
                "0x2170ebf7",
                "0x2170ebf70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38d52e0f",
            "selector": "0x38d52e0f",
            "calldata_variants": [
                "0x38d52e0f",
                "0x38d52e0f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4b750334",
            "selector": "0x4b750334",
            "calldata_variants": [
                "0x4b750334",
                "0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ca50f59",
            "selector": "0x4ca50f59",
            "calldata_variants": [
                "0x4ca50f59",
                "0x4ca50f590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52954e5a",
            "selector": "0x52954e5a",
            "calldata_variants": [
                "0x52954e5a",
                "0x52954e5a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8620410b",
            "selector": "0x8620410b",
            "calldata_variants": [
                "0x8620410b",
                "0x8620410b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x919f8cfc",
            "selector": "0x919f8cfc",
            "calldata_variants": [
                "0x919f8cfc",
                "0x919f8cfc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 903,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 995,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1137,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 16,
    "guards_detected": []
}