Control Flow Obfuscation for FJ using Continuation Passing

12/08/2020
by   Kenny Zhuo Ming Lu, et al.
0

Control flow obfuscation deters software reverse engineering attempts by altering the program's control flow transfer. The alternation should not affect the software's run-time behaviour. In this paper, we propose a control flow obfuscation approach for FJ with exception handling. The approach is based on a source to source transformation using continuation passing style (CPS). We argue that the proposed CPS transformation causes malicious attacks using context insensitive static analysis and context sensitive analysis with fixed call string to lose precision.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/05/2017

Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report

This paper investigates a flow- and path-sensitive static information fl...
research
03/12/2020

Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)

Obfuscating compilers protect a software by obscuring its meaning and im...
research
09/28/2018

A Systematic Study on Static Control Flow Obfuscation Techniques in Java

Control flow obfuscation (CFO) alters the control flow path of a program...
research
05/03/2020

BCFA: Bespoke Control Flow Analysis for CFA at Scale

Many data-driven software engineering tasks such as discovering programm...
research
10/22/2021

ReCFA: Resilient Control-Flow Attestation

Recent IoT applications gradually adapt more complicated end systems wit...
research
08/07/2019

Space-Efficient Gradual Typing in Coercion-Passing Style

Herman et al. (2007, 2010) pointed out that the insertion of run-time ch...
research
06/02/2023

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

The graphical modeling language GRAFCET is used as a formal specificatio...

Please sign up or login with your details

Forgot password? Click here to reset