secure-software-engineering/vasco
An inter-procedural data flow analysis framework using value-based context-sensitivity
DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An inter-procedural data flow analysis framework using value-based context-sensitivity
Test case generator for FlowDroid
Denial-Of-App Attack
Public repository.