MagnetDroid is divided into a multi-agent platform (MAP) and a reasoning module (MRM). MAP translates and aggregates reports from certain Android application analysis tools into a technological final report. MRM, given a technological knowledge base from the final report, and a legal knowledge base from the law, employs Prolog to look for legal violations.
One of the main advantages of MAP is that the translated reports and the final report have a well-defined format (syntax and semantics). Such format is defined and specified by an Android Security Ontology (ASO), a visualisation of which is available here. Click on the tree nodes to collapse on expand them.