Static Testing Techniques, Tools, Types, and Benefits