Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis
POPL, pp. 469-484, 2016.
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
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
PPT (Upload PPT)