Bugs pattern detection application in JDBC using static analysis non-linear method - Jabonir, Shadrach (SERSC, 2013)