Plpgsql_check is the next generation of plpgsql_lint for PL/pgsql source code. The SQL statements inside PL/pgSQL functions are checked for semantic errors.

Features: * check fields of referenced database objects and types inside embedded SQL * using correct types of function parameters * unused variables and function argumens, unmodified OUT argumens * partially detection of dead code (due RETURN command) * detection of missing RETURN command in function * try to identify unwanted hidden casts, that can be performance issue like unused indexes * possibility to collect relations and functions used by function * possibility to check EXECUTE stmt against SQL injection vulnerability