- Notifications
You must be signed in to change notification settings - Fork5
The PRIMO tool for static Intent resolution and probabilistic value inference
License
NotificationsYou must be signed in to change notification settings
siis/primo
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
The PRIMO tool for static Intent resolution and probabilistic value inference.
$ sudo python setup.py build$ sudo python setup.py install
The script can be run directly from the top-level directory afterwards.
For further instructions, please seehttp://siis.cse.psu.edu/primo
$ primo --protodir ic3-output/ --dumpintentlinks links.blp$ mkdir stats$ make_plots_and_stats --input links.blp --out stats/2016-05-10 09:20:34,538 [root] [INFO ] Loading file links.blp.2016-05-10 09:20:34,541 [root] [INFO ] Loaded 35375 Intent links.2016-05-10 09:20:34,541 [root] [INFO ] Plotting probability distribution CDF.2016-05-10 09:20:35,669 [root] [INFO ] Finished plotting probability distribution CDF.2016-05-10 09:20:35,669 [root] [INFO ] Plotting probability distribution histogram.2016-05-10 09:20:36,632 [root] [INFO ] Finished plotting probability distribution histogram.2016-05-10 09:20:36,632 [root] [INFO ] Plotting probability distribution by inter/intra app Intent.2016-05-10 09:20:41,133 [root] [INFO ] Finished plotting histograms.2016-05-10 09:20:41,133 [root] [INFO ] Computing Intent connectivities.2016-05-10 09:20:41,158 [root] [INFO ] Finished computing Intent connectivities from Intent links.2016-05-10 09:20:41,159 [root] [INFO ] Computing connectivity CDFs.2016-05-10 09:20:41,731 [root] [INFO ] Plotting link CDF.2016-05-10 09:20:42,272 [root] [INFO ] Finished plotting link CDF.
#! /usr/bin/env python# -*- coding: utf-8 -*-importsysfromprimo.linking.fetch_dataimportFetchDataif__name__=="__main__":# Point of entry in execution modefile_path=sys.argv[1:]apps,components,intents,intent_filters=FetchData(file_path,"",True)print("")forappinapps:print(app.name)print("""\tSends external intent: {} Has publicly accessible component: {}""". \format(app.SendsExternalIntent(),app.HasOpenComponent()))