mirror of
https://github.com/ashishb/android-security-awesome.git
synced 2024-12-18 19:46:09 +00:00
commit
6164e51fee
@ -59,6 +59,7 @@ Static Analysis Tools
|
|||||||
* [SPARTA](https://www.cs.washington.edu/sparta) - verifies (proves) that an app satisfies an information-flow security policy; built on the [Checker Framework](https://types.cs.washington.edu/checker-framework/)
|
* [SPARTA](https://www.cs.washington.edu/sparta) - verifies (proves) that an app satisfies an information-flow security policy; built on the [Checker Framework](https://types.cs.washington.edu/checker-framework/)
|
||||||
* [ConDroid](https://github.com/JulianSchuette/ConDroid) - Performs a combination of symoblic + concrete execution of the app
|
* [ConDroid](https://github.com/JulianSchuette/ConDroid) - Performs a combination of symoblic + concrete execution of the app
|
||||||
* [DroidRA](https://github.com/serval-snt-uni-lu/DroidRA)
|
* [DroidRA](https://github.com/serval-snt-uni-lu/DroidRA)
|
||||||
|
* [RiskInDroid](https://github.com/ClaudiuGeorgiu/RiskInDroid) - A tool for calculating the risk of Android apps based on their permissions, with online demo available.
|
||||||
|
|
||||||
App Vulnerability Scanners
|
App Vulnerability Scanners
|
||||||
----
|
----
|
||||||
|
Loading…
Reference in New Issue
Block a user