Abstract:This work presents a gray‐box combinatorial security testing methodology for detecting SQL injection vulnerabilities in web applications. New attack grammars modelling SQL injections are proposed. This combinatorial security testing approach performs equally well or better when compared to existing state‐of‐the‐art SQL injection security testing tools. Summary This work presents an extended and enhanced gray‐box combinatorial security testing methodology for SQL injection vulnerabilities in web applications. We propose multiple new attack grammars modelling SQLi attacks against MySQL‐compatible databases, each one targeting a different injection context. Additionally, these grammars are also dynamically refined at the beginning of each attack against an endpoint of a web application, as a further optimization of the used attack model by taking into account the specifics of the generated query of that endpoint. Our goal is to enhance existing combinatorial approaches for detecting SQL injection vulnerabilities. The newly developed methodology is implemented in a prototype security testing tool called SQLInjector+, which is an extension of an earlier prototype developed by us in prior work. This improved tool can attack (i.e. test) any web application that uses a MySQL‐compatible database management system. We evaluate our revised approach and improved prototype tool in a case study comprising of different kinds of web applications to which SQLi is a potential security threat. The case study contains the well‐known verification framework WAVSEP among other five real‐world web applications and one web application firewall. Our generated attack vectors, constructed via combinatorial methods applied to our improved and dynamically optimized attack grammars, are capable of injecting every known vulnerable endpoint in WAVSEP and also of finding new vulnerable parameters in some of the real‐world applications investigated in this paper. Our approach performs equally well or better when compared with existing state‐of‐art of SQL injection security testing tools (sqlmap, w3af, wapiti and fuzzdb) across all tested web applications in the case study.

A type-safe embedding of SQL into Java using the extensible compiler framework J%

Securing SQLJ Source Codes from Business Logic Disclosure by Data Hiding Obfuscation

Framework of SQL Injection Attack

Detection of SQL Injection Vulnerability in Embedded SQL

A Typeful Integration of SQL into Curry

Inferring SQL Queries Using Program Synthesis

Design and implementation of SQL builder

Application of Sybase jConnect in database development and JDBC

Learning SQL from within: integrating database exercises into the database itself

TrojanSQL: SQL Injection against Natural Language Interface to Database

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation

Japs: an Automatic Parallelizing System Based on Java

A Java Data Security Framework (JDSF) and its Case Studies

A Formalization of SQL with Nulls

Combinatorial methods for dynamic gray‐box SQL injection testing

Natural SQL: Making SQL Easier to Infer from Natural Language Specifications

Semantic SQL -- Combining and optimizing semantic predicates in SQL

One SQL to Rule Them All

Precise, Dynamic Information Flow for Database-Backed Applications

Databases Connecting Technology Based on JSP

Multi-SQL: An extensible multi-model data query language