Application Security Testing (*AST) is a corner stone of secure software development or a Security Development Life Cycle (SDLC). To improve the efficiency and effectiveness of security testing we research on hybrid approaches: combining dynamic, static, and interactive testing as well as testing of hybrid applications.
Static Application Security Testing (SAST) and Dynamic Application Security Testing (DAST) as well as more recently Interactive Application Security Testing (IAST) and Runtime Application Self-Protection (RASP) are widely used to improve the security of software products [1]. In fact, they are a corner stone of a comprehensive security testing strategy [2]. While we, in the context of HOL-TestGen, we also work on (formal) model-based security testing approaches, we also work on more applied Dynamic and Static Code Analysis (DASCA) topics. In particular, we research hybrid application security testing approaches. Here, hybrid refers both to combining static, dynamic, and interactive security testing approaches as well as approaches target the security of hybrid or polyglot applications (i.e., applications written in multiple programming languages). As another line of research, and as a key-enabler for successful software security programs in SecDevOps and Cloud-development scenarios, we are interested in approaches combining application security testing and runtime self-protection.
A first prototypical implementation of our analysis for hybrid Android apps is available as free software in our git repository.