Results on stolen code If we know a priori which code is stolen, we can loop over possible API functions to prove equivalence For full generality, we would need to figure out how many instructions from the API calls are stolen Proofs do work, but limited advantages over other techniques Symbolic termination can be a problem 19
{}