cetus.hir

Class StandardLibrary

java.lang.Object

cetus.hir.StandardLibrary

public class StandardLibrary
extends java.lang.Object

Repository for C99 standard library functions. This class provides a basic information about the standard library calls. Knowing that if a function call may or must not have side effects can greatly improve the precision of a program analysis in general. Standard library calls may have side effects on the parameters, on the automatic storage locations, on the file system, and on the execution environment.

Method Summary

Methods

Modifier and Type	Method and Description
static void	addSideEffectParamIndices(java.lang.String fname, int[] indices)
static boolean	contains(FunctionCall fcall) Checks if the given function call is a standard library call.
static int[]	getSideEffectParamIndices(FunctionCall fcall) Returns the position of the function call arguments that may have a side effect upon a call.
static boolean	hasSideEffectOnParameter(FunctionCall fcall)
static boolean	isSideEffectFree(FunctionCall fcall) Checks if the given function call may have side effects.
static boolean	isSideEffectFreeExceptIO(FunctionCall fcall) Checks if the only side effect in the given function call is IO.

Methods inherited from class java.lang.Object

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

Method Detail

contains

public static boolean contains(FunctionCall fcall)

Checks if the given function call is a standard library call.

Parameters:

fcall - the function call to be examined.

Returns:

true if the function call exists in the entries.

isSideEffectFree

public static boolean isSideEffectFree(FunctionCall fcall)

Checks if the given function call may have side effects.

Parameters:

fcall - the function call to be examined.

Returns:

true if the function call has a side effect.

isSideEffectFreeExceptIO

public static boolean isSideEffectFreeExceptIO(FunctionCall fcall)

Checks if the only side effect in the given function call is IO.

Parameters:

fcall - the function call to be examined.

Returns:

true if so.

addSideEffectParamIndices

public static void addSideEffectParamIndices(java.lang.String fname,
                             int[] indices)

getSideEffectParamIndices

public static int[] getSideEffectParamIndices(FunctionCall fcall)

Returns the position of the function call arguments that may have a side effect upon a call.

Parameters:

fcall - the function call to be inspected.

Returns:

the list of positions having a side effect.

hasSideEffectOnParameter

public static boolean hasSideEffectOnParameter(FunctionCall fcall)