Static analysis tools