An abstract interpretation-based framework for software watermarking