https://github.com/secure-software-engineering/mudarri
Source code of the Mudarri IntelliJ plugin, using rule graphs
https://github.com/secure-software-engineering/mudarri
Last synced: 6 months ago
JSON representation
Source code of the Mudarri IntelliJ plugin, using rule graphs
- Host: GitHub
- URL: https://github.com/secure-software-engineering/mudarri
- Owner: secure-software-engineering
- License: apache-2.0
- Created: 2019-07-03T13:14:57.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-10-13T18:26:07.000Z (over 5 years ago)
- Last Synced: 2025-10-12T07:27:43.338Z (6 months ago)
- Language: Java
- Homepage:
- Size: 11.9 MB
- Stars: 0
- Watchers: 2
- Forks: 2
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Source code of Mudarri
## Installation manual
- Download the code from [https://github.com/secure-software-engineering/mudarri.git](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.