Basic Static Analysis Tools