For vulnerablity, from your requirement, your checking app is for airline industry, i assuem it will be C related. Base on my current usage experience, you can choose Coverity or Klocwork, this 2 tools can support many C related compiler, this will be very important for your…