Bugs in software are costly and difficult to find and fix.In recent years, many tools and techniques have been developed for automatically finding bugs by analyzing source code or intermediate code statically (at compile time).