Index of values

Add an action to the action list to filter the function fct_id with the given criterion.

add the marks to the persistent marks to be used when new slices will be created.

Registered as a slicing request function: Add selections that will be applied to all the slices of the function (already existing or created later) Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.

Registered as a slicing request function: Add selections that will be applied to all the slices of the function (already existing or created later) Note: the function begins by applying the remaining internal requests., the requests added for the last kernel function are not applied.

Registered as a slicing request function: Add selections to all concerned slices, as slicing requests and apply them, kernel function by kernel function.

main function to build or modify a slice.

check if f_to_call is ok for this call, and if so, change the function call and propagate missing marks in the inputs if needed.

Choose the function (slice or source) to call according to the slicing level of the called function.

ff calls a slice g that needs more inputs than those computed by ff.

ff calls a slice g that doesn't compute enough outputs for the call.

Only the control dependencies of the nodes will be marked

Only the control dependencies of the nodes will be marked

Only the control dependencies of the nodes will be marked

Build a description to tell how the selected PDG nodes and their dependencies will have to be marked (see SlicingTypes.Internals.node_or_dpds).

Build a description to tell that the associated nodes have to be marked with the given mark, and than the same one will be propagated through their dependencies.

When the user wants to make a change_call to a function that doesn't compute enough outputs, he can call check_outputs_before_change_call in order to build the action the add those outputs.

ff has to be removed.

combine_marks add a new information to the old value.

Deep copy: no possible sharing between x and copy x.

Add a new slice for the function.

For the journalization of these internals types

The whole project.

Is there some element satisfying the given predicate?

Apply the actions still waiting in the project and transform the program (CIL AST) using slicing results Can optionally specify how to name the sliced functions using f_slice_names.

get the name of the function corresponding to that slice.

a function that doesn't modify anything but test if the nodes_marks are already in the slice or not.

Get the state of the slicing project.

Inform about the called slice or else calls to source functions.

getting num id

get the fct_info of the called function, if we know it

returns the given argument only if it is a valid function name (see Parameter_customize.get_c_ified_functions for more information), and abort otherwise.

Get the fct_info if it exists or build a new fct_info.

The mark m related to all statements of a source function kf.

always return the argument, even if the argument is not a function name.

What are the acceptable values for this parameter.

What is the possible range of values for this parameter.

Increment the integer.

Return true if the source function is called (even indirectly via transitivity) from a Slice.t.

Return true if the source function is visible (even indirectly via transitivity) from a Slice.t.

build a new empty slice in the given fct_info.

apply the given closure if the slicing project has been initialized through Db.Slicing.reset_slice.

apply the given closure if the slicing project has been initialized through Db.Slicing.reset_slice, or else return the default value.

Does the given element belong to the set?

memo tbl k f returns the binding of k in tbl.

Build a new slice ff which contains the marks of ff1 and ff2 and generate everything that is needed to choose the calls in ff.

Build a new slice which marks are a join between ff1 marks and ff2 marks.

build an action to apply the criteria to the persistent selection of the function.

generated spare = the smallest visible mark

Set the boolean to false.

Set the boolean to true.

Printing

Delete ff_to_remove if it is not called.

Registered as a slicing selection function: Add a selection of the annotations related to a function.

Registered as a slicing selection function: Add a selection of calls to a kf.

Registered as a slicing selection function: Add a selection of calls to a kf.

Registered as a slicing selection function: Add selection of function outputs.

Registered as a slicing selection function: Add a selection of data relative to read/write accesses.

Registered as a slicing selection function: Add a selection of the kf return statement.

Registered as a slicing selection function: Add selection of function outputs.

Registered as a slicing selection function: Add a selection of the pdg nodes.

Registered as a slicing selection function: Add a selection of the statement.

Registered as a slicing selection function: Add selection of the annotations related to a statement.

Registered as a slicing selection function: Add selection of the annotations related to a statement.

Registered as a slicing selection function: Add a selection of the statement reachability.

Registered as a slicing selection function: Add a selection of data relative to a statement.

Registered as a slicing selection function: Add a selection of rw accesses to lvalues relative to a statement.

Registered as a slicing selection function: Add selection of the annotations related to a statement.

Registered as a slicing selection function: Add selection of the annotations related to a statement.

Registered as a slicing selection function: Add a selection of data relative to a statement.

Set what are the acceptable values for this parameter.

Set what is the possible range of values for this parameter.

Topologically propagate user marks to callers in whole project