Title :
Pushing Java Type Obfuscation to the Limit
Author :
Foket, Christophe ; De Sutter, Bjorn ; De Bosschere, Koen
Author_Institution :
Dept. of Electron. & Inf. Syst., Ghent Univ., Ghent, Belgium
Abstract :
Bytecoded .Net and Java programs reveal type information through encoded type hierarchies, casts, field declarations and method signatures. This facilitates bytecode verification, but it also helps reverse engineers. To obfuscate the type information, we combine three transformations. Class hierarchy flattening removes as much of the type hierarchy from programs as possible. Interface merging and object factory insertion further remove type information from casts, method signatures, and object creation sites. We evaluate these techniques with a prototype tool for Java bytecode. On real-life programs from the DaCapo benchmark suite, we demonstrate that our approach effectively hinders human and tool analysis with limited overhead.
Keywords :
Java; formal verification; reverse engineering; Bytecoded.Net; DaCapo benchmark suite; Java bytecode; Java programs; Java type obfuscation; bytecode verification; class hierarchy flattening; encoded type hierarchies; field declarations; interface merging; method signatures; object creation sites; object factory insertion; reverse engineering; Computer languages; Cryptography; Encoding; Java; Production facilities; Java bytecode; class hierarchy; obfuscation; performance; points-to sets; type information; understandability;
Journal_Title :
Dependable and Secure Computing, IEEE Transactions on
DOI :
10.1109/TDSC.2014.2305990