TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
Scala is a functional programming and object-oriented language which is designed to be concise and compiled to Java bytecode so that a Scala application can be executed on a Java Virtual Machine (JVM). Scala’s designers claim that using static types in Scala help evade bugs in complex Scala applications. However, the recently discovered vulnerabilities in Scala applications shed doubt on this claim. Therefore, in this work, we introduce TaintSpy as a runtime vulnerability indicator which works based on dynamic taint analysis of Scala applications. Our proposed framework can identify security vulnerabilities without requiring the source code of applications. We demonstrate the usefulness of our framework by identifying and reporting several security vulnerabilities such as Remote Code Execution (RCE), Memory Corruption, DOS, SQL injection and XSS in standard Scala frameworks (e.g., Lift, Akka and Spray).
Wed 17 JulDisplayed time zone: Belfast change
13:30 - 15:10 | |||
13:30 30mShort-paper | Tests as Maintainable Assets Via Auto-generated Spies Scala Konstantin Läufer Loyola University Chicago, John O'Sullivan Loyola University Chicago, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory | ||
14:00 30mShort-paper | SoCRATES - Scala Radar for Test Smells Scala Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel | ||
14:30 20mTalk | Resilience Testing of Akka Systems Scala Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel | ||
14:50 20mTalk | TaintSpy: Runtime Vulnerability Analyzing Framework for Scala Scala Mohammadreza Ashouri University of Potsdam, Germany |