SPARTA
verifies (proves) that an app satisfies an information-flow security policy; built on the Checker Framework
- from
- Android Security
- added
- 2026-10-10
- likes
- 0
similar
-
AppSweep by Guardsquare appsweep.guardsquare.com
Free, fast Android application security testing for developers
-
IntentSniffer nccgroup.com
-
csp evaluator csper.io
-
PhoneSnatchProof github.com
An FS that encrypts your app data and keeps them on RAM (with a backup).
-
Sqreen sqreen.io
Sqreen is a Runtime Application Self-Protection (RASP) solution for software teams. An in-app agent instruments and monitors the app. Suspicious user activities are reported and attacks are blocked at runtime without code modification or traffic redirection.
-
CANSPY bitbucket.org
A platform giving security auditors to audit CAN devices. It can be used to block, forward or modify CAN frames on the fly autonomously as well as interactively.
Android Security › Tools > Static Analysis Tools: “verifies (proves) that an app satisfies an information-flow security policy; built on the Checker Framework”