Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis

POPL, pp. 469-484, 2016.

Cited by: 84|Views143
EI
Weibo:
In order to enable the principled generation of Inter-Component Communication links, we have introduced a formalism for Inter-Component Communication links based on set constraints

Abstract:

Static analysis has been successfully used in many areas, from verifying mission-critical software to malware detection. Unfortunately, static analysis often produces false positives, which require significant manual effort to resolve. In this paper, we show how to overlay a probabilistic model, trained using domain knowledge, on top of ...More

Code:

Data:

0
Your rating :
0

 

Tags
Comments