The research presented in this thesis is based on Intra-procedural Data Flow Analysis using SOOT. SOOT is a Java optimization framework used for analyzing different Java and android applications. We extend the functionality of SOOT in order to generate output, which forms a Control Flow Graph (CFG) along with the flow of the variables, and we call this extension of SOOT as SOOTH. We use Live variable analysis along with Forward and Backward flow analysis to analyze the given java code. The CFG generated along with the data flow is visualized using the graphviz tool, which can be used to detect information leakage by knowing the flow of variables with the program
Flow showcases a series of digitally drawn abstract motion and colour studies, applying algorithms t...
We have developed a new approach for implementing precise intraprocedural control-flow and dataflow ...
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a dec...
The goal of a program analysis framework is to decrease the effort required of a program analysis de...
Understanding control ows in a computer program is essential for many software engineering tasks su...
The most of the analyses evaluating the quality of code are derived from Control Flow Graphs -- CFG....
Data-flow program analysis (DFA) is a powerful technique with applications ranging from compiler opt...
Abstract. We present an algorithm to extract control-flow graphs from Java bytecode, considering exc...
Testing is vital for effective software development. Object-oriented programs however cause unique i...
We present an algorithm for extracting control flow graphs from Java bytecode that captures normal a...
This paper presents INTRACFG, a declarative and language-independent framework for constructing prec...
Information flow analysis is an approach to check whether there is no propagation of information tha...
This thesis proposes a methodology for an acquisition of dependencies between outputs and inputs in ...
Control flow graphs (CFGs) are abstract program models that preserve the control flow information. T...
Language-based information flow control (IFC) is a powerful tool to discover security leaks in softw...
Flow showcases a series of digitally drawn abstract motion and colour studies, applying algorithms t...
We have developed a new approach for implementing precise intraprocedural control-flow and dataflow ...
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a dec...
The goal of a program analysis framework is to decrease the effort required of a program analysis de...
Understanding control ows in a computer program is essential for many software engineering tasks su...
The most of the analyses evaluating the quality of code are derived from Control Flow Graphs -- CFG....
Data-flow program analysis (DFA) is a powerful technique with applications ranging from compiler opt...
Abstract. We present an algorithm to extract control-flow graphs from Java bytecode, considering exc...
Testing is vital for effective software development. Object-oriented programs however cause unique i...
We present an algorithm for extracting control flow graphs from Java bytecode that captures normal a...
This paper presents INTRACFG, a declarative and language-independent framework for constructing prec...
Information flow analysis is an approach to check whether there is no propagation of information tha...
This thesis proposes a methodology for an acquisition of dependencies between outputs and inputs in ...
Control flow graphs (CFGs) are abstract program models that preserve the control flow information. T...
Language-based information flow control (IFC) is a powerful tool to discover security leaks in softw...
Flow showcases a series of digitally drawn abstract motion and colour studies, applying algorithms t...
We have developed a new approach for implementing precise intraprocedural control-flow and dataflow ...
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a dec...