Slicing

plugins.slicing.slicing.sliceCallsTo (EXEC)

Slice effects of the given function

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceCallsInto (EXEC)

Slice entrance into the given function

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceResult (EXEC)

Slice the returned value of the given function

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceStmt (EXEC)

Slice effects of the given statement

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceStmtCtrl (EXEC)

Slice accessibility of the given statement

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceLval (EXEC)

Slice the given lvalue

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceLvalReads (EXEC)

Slice read accesses of the given lvalue

input ::= marker

output ::= [ string , number ]

plugins.slicing.slicing.sliceLvalWrites (EXEC)

Slice write accesses of the given lvalue

input ::= marker

output ::= [ string , number ]