Package chord.program.stubs

Stubs for native methods from JDK library.

See:
Description

Class Summary

ArraySetCFGBuilder	Stub for static method "void set(Object array, int index, Object value)" in class java.lang.reflect.Array.
ObjectCloneCFGBuilder	Stub for instance method "Object clone()" in class java.lang.Object.
SystemArraycopyCFGBuilder	Stub for static method "void arraycopy(Object src, int srcPos, Object dest, int destPos, int length)" in class java.lang.System.
ThreadStartCFGBuilder	Stub for instance method "void start()" in class java.lang.Thread.

Package chord.program.stubs Description

Stubs for native methods from JDK library.