Index of values

Build a new action ChangeCall (if needed)

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

quite internal function that only computes the marks.

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

ff marks have just been modified : check if the calls to ff compute enough inputs, and create MissingInputs actions if not.

Add persistent the marks node_marks in fi and also add the marks to existing slices if any.

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.

ff marks have been modified : we have to check if the calls and the callers are ok.

apply filter and return a list of generated filters

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.

apply the given criterion and returns the list of new criterions to add to the project worklist.

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.

modif_call_inputs and then, check the calls and the callers

Same as Bytes.blit_string.

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.

Return a copy of the argument, with the first character set to uppercase.

very low level function to change information of a call : no checks at all (they must have been done before).

we are about to call ff for sig_call : let's first add some more output marks in ff if needed.

ff marks have changed : check if the call to ff_called is still ok.

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.

choose the function to call according to the slicing level of the function to call

choose among the already computed slice if there is a function that computes just enough outputs (what ever their marks are).

Reset the reference to its default value.

ff has to be removed.

combine ma mb is used to add the mb to the ma.

combine_marks add a new information to the old value.

The comparison function for strings, with the same specification as Pervasives.compare.

String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.

String.contains s c tests if character c appears in the string s.

String.contains_from s start c tests if character c appears in s after position start.

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

Return a copy of the given string.

String.create n returns a fresh byte sequence of length n.

Add a new slice for the function.

For the journalization of these internals types

The whole project.

Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.

Examine the call statements after the modification of ff marks.

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.

String.fill s start len c modifies byte sequence s in place, replacing len bytes with c, starting at start.

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

Get the referenced value.

String.get s n returns the character at index n in string s.

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

find call information (ff_called option + signature of a call)

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.

String.index s c returns the index of the first occurrence of character c in string s.

String.index_from s i c returns the index of the first occurrence of character c in string s after position i.

String.init n f returns a string of length n, with character i initialized to the result of f i (called in increasing index order).

Look at intersection of rd_zone_opt/wr_zone_opt with the directly read/writen Zone.t by the statement.

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.

String.iter f s applies function f in turn to all the characters of s.

Iter on statements of a kernel function

Same as String.iter, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.

Return the length (number of characters) of the given string.

Return a copy of the argument, with all uppercase letters translated to lowercase, including accented letters of the ISO Latin-1 (8859-1) character set.

String.make n c returns a fresh string of length n, filled with the character c.

build a new empty slice in the given fct_info.

String.map f s applies function f in turn to all the characters of s (in increasing index order) and stores the results in a new string that is returned.

String.mapi f s calls f with each character of s and its index (in increasing index order) and stores the results in a new string that is returned.

mark the node with the given mark and propagate it to its dependencies

TODO : this function should disappear when the parameter declarations will be handled...

compute the marks to propagate in pdg_caller when the called function have the to_prop marks.

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

see SlicingMarks.Mark.merge

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.

merge only ma_1 et mb_1, m_2 is always bottom

tells if the caller (f) computes enough inputs for the callee (g).

we want to know if the called function g with output marks m_out_called compute enough things to be used in f call with output marks m_out_call.

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

build an action to apply the criteria to the given slice.

generated spare = the smallest visible mark

API function : see Db.Slicing.Project.mk_project.

propagate the input_marks in the inputs of call in ff.

Printing

when the user adds persistent marks to a function, he might want to propagate them to the callers, but, anyway, we don't want to propagate persistent marks to the calls for the same reason (if we mark x = g (); in f, we don't necessarily want all versions of g to have a visible return for instance).

String.rcontains_from s stop c tests if character c appears in s before position stop+1.

call_id is a call to g in f.

Delete ff_to_remove if it is not called.

String.rindex s c returns the index of the last occurrence of character c in string s.

String.rindex_from s i c returns the index of the last occurrence of character c in string s before position i+1.

Add a selection of the declaration of vi.

Add a selection to the entrance of the function kf and add a selection to its return if ~return is true and add a selection to ~inputs parts of its inputs and add a selection to ~ouputs parts of its outputs

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 ouputs.

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 ouputs.

Add a selection of data relative to read/write accesses.

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.

Change the referenced value.

String.set s n c modifies byte sequence s in place, replacing the byte at index n with c.

String.sub s start len returns a fresh string of length len, containing the substring of s that starts at position start and has length len.

Topologically propagate user marks to callers in whole project

Return a copy of the argument, without leading and trailing whitespace.

Return a copy of the argument, with the first character set to lowercase.

Return a copy of the argument, with all lowercase letters translated to uppercase, including accented letters of the ISO Latin-1 (8859-1) character set.