Hi all, we have released the first version of SELint, an SEAndroid source policy analysis and refinement tool.
SELint can analyse a source policy out of an Android tree, and suggest improvements. It can: * suggest using global_macros where applicable * suggest using te_macros where applicable * report risky rules * report missing/unnecessary rules, rules containing debug types, rules not granting key permissions * enforce custom neverallow rules SELint is written in Python and uses SETools 4 internally. The analysis functionality is implemented in dedicated plugins. We have developed the aforementioned plugins, which provide generally useful functionality; interested third parties can develop more plugins to implement their own analysis requirements. You can find the software, along with all the instructions, on GitHub: https://github.com/seandroid-analytics/selint We hope this software can be useful to you, and we are very interested in your feedback. This software is the topic of my Master's Thesis: we have prepared a questionnaire to collect your evaluation of the tool and your comments. We would be very pleased if you would run SELint at least once and give us your opinion in the questionnaire. You can find the questionnaire at: http://goo.gl/forms/5iLqU1jUzBpV0yxk2 Thank you, Filippo Bonazzi _______________________________________________ Seandroid-list mailing list [email protected] To unsubscribe, send email to [email protected]. To get help, send an email containing "help" to [email protected].
