open source static analysis tools