https://github.com/bbc2/mini-android

Static analyzer for Android-like applications
https://github.com/bbc2/mini-android

android ocaml research-project static-analyzer toy-language

Last synced: 4 months ago
JSON representation

Static analyzer for Android-like applications

• Host: GitHub
• URL: https://github.com/bbc2/mini-android
• Owner: bbc2
• License: mit
• Created: 2014-09-13T11:49:24.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2014-09-14T11:59:03.000Z (over 10 years ago)
• Last Synced: 2024-04-22T18:26:52.573Z (9 months ago)
• Topics: android, ocaml, research-project, static-analyzer, toy-language
• Language: OCaml
• Size: 215 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
mini-android

============

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.

Dependencies

------------

  * `OCaml` with `ocamlbuild` to build the project and generate OCaml

    documentation

  * `menhir` for the parser

  * `omd` for the documentation

  * `cmdliner` for the command line tool `analyze`

Documentation

-------------

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.

License

-------

This work is licensed under a MIT license.  See `LICENSE` for more information.