de.rwth.dfa.jvm.samples
Class CFPAnalyser

java.lang.Object
  |
  +--de.rwth.utils.AbstractClassProcessor
        |
        +--de.rwth.dfa.jvm.samples.AbstractAnalyser
              |
              +--de.rwth.dfa.jvm.samples.CPAnalyser
                    |
                    +--de.rwth.dfa.jvm.samples.CFPAnalyser

public class CFPAnalyser

extends CPAnalyser

An application for finding constants in the operand stack and the local variables at each instruction of all methods of a class file. In addition to CPAnalyser this also includes constants computed in the code at run time (folding).

Version:

$Id: CFPAnalyser.java,v 1.3 2002/09/17 06:53:53 mohnen Exp $

Author:

Markus Mohnen

Fields inherited from class de.rwth.dfa.jvm.samples.AbstractAnalyser

refSolution, table

Fields inherited from class de.rwth.utils.AbstractClassProcessor

file, flags

Constructor Summary

CFPAnalyser(java.lang.String[] args)
Creates a new CFPAnalyser instance.

Method Summary

Abstraction	getAbstraction(de.fub.bytecode.classfile.Method method, de.fub.bytecode.classfile.Code code, de.fub.bytecode.classfile.CodeException[] methodExceptions, de.fub.bytecode.generic.InstructionList instrs) Returns a CFPAbstraction for a method.
static void	main(java.lang.String[] args) Program entry point.

Methods inherited from class de.rwth.dfa.jvm.samples.CPAnalyser

getSolvers, process

Methods inherited from class de.rwth.dfa.jvm.samples.AbstractAnalyser

checkResult, dumpResult, isAllMode, isStatisticsMode, isVerboseMode, process, transferToTable

Methods inherited from class de.rwth.utils.AbstractClassProcessor

process, usage

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CFPAnalyser

public CFPAnalyser(java.lang.String[] args)

Creates a new CFPAnalyser instance.

Parameters:

args - a String[] value

See Also:

AbstractAnalyser

Method Detail

main

public static void main(java.lang.String[] args)

Program entry point.

Parameters:

args - a String[] value

See Also:

AbstractAnalyser

getAbstraction

public Abstraction getAbstraction(de.fub.bytecode.classfile.Method method,
                                  de.fub.bytecode.classfile.Code code,
                                  de.fub.bytecode.classfile.CodeException[] methodExceptions,
                                  de.fub.bytecode.generic.InstructionList instrs)

Returns a CFPAbstraction for a method.

Overrides:

getAbstraction in class CPAnalyser

Parameters:

method - a Method value

code - a Code value

methodExceptions - a CodeException[] value

instrs - an InstructionList value

Returns:

an Abstraction value