Open Source Static Analysis Tools