Arbitrary control-flow embedding into multiple threads for obfuscation: A preliminary complexity and performance analysis Thread-Based Obfuscation through Control-Flow Mangling Binary-level data dependence analysis of hot execution regions using abstract interpretation at runtime IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization Approximate Data Dependence Profiling Based on Abstract Interval and Congruent Domains