Measuring the robustness of source program obfuscation: studying the impact of compiler optimizations on the obfuscation of C programs.
Sandrine BlazyStéphanie RiaudPublished in: CODASPY (2014)
Keyphrases
- control flow
- static analysis
- symbolic execution
- reverse engineering
- data flow
- computer programs
- programs written
- program slicing
- dynamic analysis
- source code
- control program
- process model
- automatic programming
- programming language
- prolog programs
- programming environment
- malware detection
- program execution
- software testing
- data transformation
- java bytecode
- high level programming language
- computer chess
- imperative programs
- database systems
- workflow management systems
- object oriented
- programming environments
- novice programmers
- java programs
- programming education
- operating system
- general purpose
- relational databases