while Cm-400 AKG(though some source still claims that it is under development) has range around 240 km,but integration with JF-17 is a bad move as JF-17's radar is much inferior and max range(though still not published clearly) is around 120 km(some pakistani member might want to clear this doubt as some members suggested that look down mode generally has lesser range than A2A mode).so,whatever it is,if JF-17 has to take shot,it'll have to be dangerously close to fire that missile,well within CBG's Air Defence as well as Fighter escorts.and as for deploying Aircraft carrier against Pakistan,we don't have to as mostly Airforce will be used to do that job.