chord.program.stubs
Class SystemArraycopyCFGBuilder

java.lang.Object
  chord.program.stubs.SystemArraycopyCFGBuilder

All Implemented Interfaces:

joeq.Compiler.Quad.ICFGBuilder

public class SystemArraycopyCFGBuilder
extends java.lang.Object
implements joeq.Compiler.Quad.ICFGBuilder

Stub for static method "void arraycopy(Object src, int srcPos, Object dest, int destPos, int length)" in class java.lang.System.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Constructor Summary

SystemArraycopyCFGBuilder()

Method Summary

joeq.Compiler.Quad.ControlFlowGraph

run(joeq.Class.jq_Method m)

Methods inherited from class java.lang.Object

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

Constructor Detail

SystemArraycopyCFGBuilder

public SystemArraycopyCFGBuilder()

Method Detail

run

public joeq.Compiler.Quad.ControlFlowGraph run(joeq.Class.jq_Method m)

Specified by:

run in interface joeq.Compiler.Quad.ICFGBuilder