Source code of Mudarri

Installation manual

Download the code from https://github.com/secure-software-engineering/mudarri.git
Have Java 8 running on the machine.
Install the Android SDK.
Import the modules Automaton and TaintAnalysis in an IntelliJ project, as Java applications. Set their JDKs to Java 8.
Import the module SC1_Plugin in the same IntelliJ project, as an IntelliJ Plugin. Set its JDKs to the default JDK for IntelliJ Plugins.
Replace ANDROID_PLATFORMS to the path to the Android SDK in the file TaintAnalysis/src/main/java/main/Config.java
The unit tests of TaintAnalysis should run. They are located in TaintAnalysis/src/test/analysis.
Run SC1_Plugin an IntelliJ plugin.
In the new IntelliJ application, create a new project and import one or more of the applications in the target/ directory.
Make sure the applications compile correctly.
Run the analysis using the top menu: Analysis > Run SC1 analysis. The analysis results should show in the bottom SC1 view.