https://github.com/andrew-bedford/sai

Static analysis and instrumentation framework for Android
https://github.com/andrew-bedford/sai

android instrumentation static-analysis

Last synced: 3 days ago
JSON representation

Static analysis and instrumentation framework for Android

• Host: GitHub
• URL: https://github.com/andrew-bedford/sai
• Owner: andrew-bedford
• License: mit
• Created: 2017-07-27T01:18:47.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-10-27T03:35:42.000Z (about 7 years ago)
• Last Synced: 2023-10-20T12:45:17.276Z (about 1 year ago)
• Topics: android, instrumentation, static-analysis
• Language: Java
• Homepage:
• Size: 18.9 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# SAI

SAI is a lightweight static analysis and instrumentation framework for Android. A particularity of SAI, compared to other similar frameworks such as Soot and WALA, is that it aims to be executable directly on mobile devices. SAI is still in development, and as such, is not completely functional.

## Usage

```

--assemble                   Assembles the content of the "tmp" folder

--call-graph                 Generates a call-graph of the loaded application (not yet comprenhensive)

--control-flow-graph         Generates the control-flow graph of each method present in the apk

--disassemble [apk file]     Disassembles the apk file in folder "tmp"

--help                       Displays the available options

--inline-monitor             Inlines a simple information-flow control monitor in the disassembled code

--load                       Loads the disassembled application of folder "tmp"

--process-algebra            Generates a CWB-compatible CCS representation of the application to enable model-checking (not yet functional)

```