JAADAS -Joint Advanced Application Defect ASsesment, an android application static analysis framework based on Scala and Soot using program analysis and interprocedure analysis, written in 2014.