https://9dok.net/document/y4wx2vkr-information-flow-analysis-mobile-code-dynamic-security-environments.html