Index of values

Add a new binding.

Update a reference from a pure functional function.

String.blit src srcoff dst dstoff len copies len characters from string src, starting at character number srcoff, to string dst, starting at character number dstoff.

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

Clear the table.

Reset the reference to its default value.

Remove all sub-elements of a GUI object

Returning a value to register in Frama-C's GUI

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

Main entry point to compute various metrics on Cabs AST instead of CIL AST.

Compute metrics on whole CIL AST

Functions analyzed by the value analysis

List of functions that can be syntactically reached from the function

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

consider_function vinfo returns false if the varinfo is not a function we are interested in.

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 string of length n.

Compute cyclomatic complexity from base_metrics record type.

Display the table_contents matrix as a GTK table

Initial empty values for metrics computing.

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

Get the filename containing the function definition

Get the filename where the definition of a varinfo occurs

String.fill s start len c modifies string s in place, replacing len characters by c, starting at start.

Return the current binding of the given key.

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

Convert float to string with the following convention: if the float is an integer (ie, it has no digits after the decimal point), print it as such;, otherwise, print the first two digits after the decimal point.

Get the referenced value.

String.get s n returns character number n in string s.

get_file_type extension sets the output type according to extension.

Helpers for metrics purposes for single increment steps

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

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

The panel of Metrics has two parts: The upper part contains the various choices of the user;, The bottom part displays the result.

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 and stores the results in a new string that is returned.

Memoization.

mk_hdr level ppf hdr_strg produces a title from hdr_strg with an underline of the same length.

Handling entry points informations

Pretty printers for base metrics as text or html.

Pretty-print the functions that can be syntactically reached from the parameter

Return two fonctions that pretty-print the coverage reached by the value analysis wrt.

Other pretty-printing and formatting utilities

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

Add a new metrics to its dedicated panel.

Add a new binding.

Reset metrics panel to pristine conditions by removeing children from bottom container

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

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

Change the referenced value.

String.set s n c modifies string s in place, replacing the character number n by 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.

Matrix-like representation of the record in "Title: value" stytle

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.