Index of values

Add a new binding.

Same as above, but the hook is applied after clean up.

add_code_transformation_before_cleanup name hook adds an hook in the corresponding category that will be called during the normalization of a linked file, before clean up and removal of temps and unused declarations.

Same as Bytes.blit_string.

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

Clear the table.

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.

Return a new project with a new cil file representation by visiting the file of the current project.

Like File.create_project_from_visitor, but the new generated cil file is generated into a temp .i or .c file according to preprocess, then re-built by Frama-C in the returned project.

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

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

Return the current binding of the given key.

Return the list of all data associated with the given key.

Build a file from its name.

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

Return the list of toplevel files.

File name.

Return the preprocessor command to use.

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

Initialize the cil file representation of the current project.

Initialize the cil file representation with the file given on the command line.

Initialize the cil file representation with the given file for the given project from the current one.

init_project_from_visitor prj vis initialize the cil file representation of prj.

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

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.

Length of the table.

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.

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.

Memoization.

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

must_recompute_cfg f must be called by code transformation hooks when they modify statements in function f.

new_file_type suffix func funcname registers a new type of files (with corresponding suffix) as recognized by Frama-C through func.

new_machdep name module registers a new machdep name as recognized by Frama-C through The usual uses is Cmdline.run_after_loading_stage (fun () -> File.new_machdep "my_machdep" my_machdep_implem)

Register some file as source file before command-line files

Initialize the AST of the current project according to the current filename list.

Print the project CIL file on the given Formatter.

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

Adds a new category of code transformation

reorder globals so that all uses of an identifier are preceded by its declaration.

Add a new binding.

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.

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.

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.