Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks.

Hao Tang Xiaoyin Wang Lingming Zhang Bing Xie Lu Zhang Hong Mei

Published in: POPL (2015)

Keyphrases

sensitive data
object oriented
data sets
information systems
third party
smart card