Privacy oracle: a system for finding application leaks with black box differential testing