Static analysis for facilitating secure and reliable software