package mopsa

  1. Overview
  2. Docs

Module Iterators.Loops

Loops iterator with widening

val name : string

Loops flow token

type MopsaLib.token +=
  1. | T_break
    (*

    Control flows reaching a break statement

    *)
  2. | T_continue
    (*

    Control flows reaching a continue statement

    *)

Unrolling strategy

type unrolling = {
  1. mutable unroll_global_nb : int option;
  2. mutable unroll_locals : local_unrolling list;
}
and local_unrolling = {
  1. unroll_local_file : string option;
  2. unroll_local_line : int;
  3. unroll_local_nb : int option;
}
val opt_unrolling : unrolling
val parse_unroll_local : string -> local_unrolling

Parse local unrolling specification string

val parse_full_unroll_local : string -> local_unrolling

Parse local full unrolling specification string

val get_range_unrolling : MopsaLib.range -> int option

Get the unrolling limit for a given loop location

Command line options

val opt_loop_widening_delay : int ref

Number of iterations before applying a widening.

val opt_loop_use_cache : bool ref
val opt_loop_decreasing_it : bool ref

Domain

val nestedness : int ref
module Domain : sig ... end

Setup