mini-android is a research project started at Inria and aimed at highlighting static analysis challenges raised by the event-driven control flow of Android applications. It features a context-sensitive static analysis for a small Java-like language called mini with a subset of the Android API.
OCamlwithocamlbuildto build the project and generate OCaml documentationmenhirfor the parseromdfor the documentationcmdlinerfor the command line toolanalyze
Use make doc to generate the full documentation. The main documentation ends
up in html and the ocamldoc documentation in ocaml.docdir. To read the
documentation, open html/index.html in your browser.
This work is licensed under a MIT license. See LICENSE for more information.