Cautiously Optimistic Program Analyses for Secure and Reliable Software