JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications