package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Command-line options
Contexts
Entry point
functions
Scope update
Statements
Expressions
Variables
Types
Ranges and locations
Stubs annotations

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

dune-project

Dependency

gitlab.com Readme Changelog Edit opam file Versions (3)

Authors

Maintainers

Sources

mopsa-analyzer-v1.0.tar.gz

md5=9f673f79708b44a7effb3b6bb3618d2c

sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

doc/c_lang/C_lang/Lang/Frontend/index.html

Module `Lang.Frontend`Source

C front-end to translate parser AST into MOPSA AST

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Command-line options

========================

Sourceval opt_clang : string list Stdlib.ref

Extra options to pass to clang when parsing

Sourceval opt_include_dirs : string list Stdlib.ref

List of include directories

Sourceval opt_make_target : string Stdlib.ref

Name of the target binary to analyze

Sourceval opt_without_libc : bool Stdlib.ref

Disable stubs of the standard library

Sourceval opt_enable_cache : bool Stdlib.ref

Enable the parser cache.

Sourceval opt_warn_all : bool Stdlib.ref

Display all compiler warnings

Sourceval opt_use_stub : string list Stdlib.ref

Lists of functions that the body will be replaced by a stub

Sourceval opt_library_only : bool Stdlib.ref

Allow library-only targets in the .db files (used for multilanguage analysis)

Sourceval opt_target_triple : string Stdlib.ref

Target architecture triple to analyze for (host if left empty)

Sourceval opt_stubs_files : string list Stdlib.ref

Additional stub files to parse

Sourceval opt_ignored_translation_units : Stdlib.String.t list Stdlib.ref

List of translation units to ignore during linking

Contexts

============

Sourcetype type_space =

| TS_TYPEDEF
| TS_RECORD
| TS_ENUM

Sourcetype ctx = {

ctx_prj : Mopsa_c_parser.C_AST.project;
ctx_fun : C_lang__.Ast.c_fundec Mopsa_c_parser.C_AST.StringMap.t;
ctx_type : (type_space * string, Mopsa.typ) Stdlib.Hashtbl.t;
ctx_vars : (int * string, Mopsa.var * Mopsa_c_parser.C_AST.variable) Stdlib.Hashtbl.t;
ctx_macros : Mopsa_c_parser.C_AST.macro Mopsa_c_parser.C_AST.StringMap.t;
ctx_predicates : Mopsa_c_stubs_parser.Passes.Preprocessor.predicate Mopsa_c_parser.C_AST.StringMap.t;
ctx_stubs : (string, Mopsa_c_stubs_parser.Cst.stub) Stdlib.Hashtbl.t;
ctx_enums : Z.t Mopsa_c_parser.C_AST.StringMap.t;

}

Sourceval input_files : string list Stdlib.ref

List of input files

Sourceval target_info : Mopsa_c_parser.Clang_AST.target_info Stdlib.ref

Target information used for parsing

Source

val find_function_in_context : 
  ctx ->
  Utils_core.Location.range ->
  Mopsa_c_parser.C_AST.func ->
  C_lang__.Ast.c_fundec

Source

val get_parsed_system_headers : 
  Mopsa_c_parser.Clang_to_C.context ->
  string list

Sourceval get_all_stubs : unit -> string list

Sourceval find_stubs_of_header : string -> string list -> string list

Sourceval is_ignored_translation_unit : string -> bool

Entry point

===============

Sourceval parse_program : string list -> Mopsa.program

Sourceval parse_db : string -> Mopsa_c_parser.Clang_to_C.context -> unit

Source

val parse_file : 
  string ->
  ?nb:(int * int) ->
  ?stub:bool ->
  string list ->
  string ->
  bool ->
  bool ->
  Mopsa_c_parser.Clang_to_C.context ->
  unit

Sourceval parse_stubs : Mopsa_c_parser.Clang_to_C.context -> unit -> unit

Sourceval from_project : Mopsa_c_parser.C_AST.project -> Mopsa.prog_kind

Sourceval find_target : Stdlib.String.t -> string list -> string

functions

=============

Sourceval from_function : Mopsa_c_parser.C_AST.func -> C_lang__.Ast.c_fundec

Scope update

****************

Source

val from_scope_update : 
  ctx ->
  Mopsa_c_parser.C_AST.scope_update ->
  C_lang__.Ast.c_scope_update

Statements

==============

Sourceval from_stmt : ctx -> Mopsa_c_parser.C_AST.statement -> Mopsa.stmt

Sourceval from_block : ctx -> Mopsa.range -> Mopsa_c_parser.C_AST.block -> Mopsa.stmt

Source

val from_body_option : 
  ctx ->
  Mopsa.range ->
  Mopsa_c_parser.C_AST.block option ->
  Mopsa.stmt option

Expressions

===============

Sourceval from_expr : ctx -> Mopsa_c_parser.C_AST.expr -> Mopsa.expr

Source

val from_expr_option : 
  ctx ->
  Mopsa_c_parser.C_AST.expr option ->
  Mopsa.expr option

Source

val from_unary_operator : 
  Mopsa_c_parser.C_AST.unary_operator ->
  Mopsa.typ ->
  Ast.Operator.operator

Source

val from_binary_operator : 
  Mopsa_c_parser.C_AST.binary_operator ->
  Mopsa.typ ->
  Ast.Operator.operator

Source

val from_character_kind : 
  Mopsa_c_parser.C_AST.character_kind ->
  C_lang__.Ast.c_character_kind

Variables

=============

Sourceval from_var : ctx -> Mopsa_c_parser.C_AST.variable -> Mopsa.var

Sourceval patch_array_parameters : Mopsa.var -> Mopsa.var

Source

val from_var_scope : 
  ctx ->
  Mopsa_c_parser.C_AST.variable_kind ->
  C_lang__.Ast.c_var_scope

Source

val from_var_init : 
  ctx ->
  Mopsa_c_parser.C_AST.variable ->
  C_lang__.Ast.c_var_init option

Source

val from_init_option : 
  ctx ->
  Mopsa_c_parser.C_AST.init option ->
  C_lang__.Ast.c_var_init option

Sourceval from_init : ctx -> Mopsa_c_parser.C_AST.init -> C_lang__.Ast.c_var_init

Types

=========

Sourceval from_typ : ctx -> Mopsa_c_parser.C_AST.type_qual -> Mopsa.typ

Sourceval from_unqual_typ : ctx -> Mopsa_c_parser.C_AST.typ -> Mopsa.typ

Source

val from_integer_type : 
  Mopsa_c_parser.C_AST.integer_type ->
  C_lang__.Ast.c_integer_type

Source

val from_float_type : 
  Mopsa_c_parser.C_AST.float_type ->
  C_lang__.Ast.c_float_type

Source

val from_array_length : 
  ctx ->
  Mopsa_c_parser.C_AST.array_length ->
  C_lang__.Ast.c_array_length

Source

val from_function_type : 
  ctx ->
  Mopsa_c_parser.C_AST.function_type ->
  C_lang__.Ast.c_function_type

Sourceval find_field_index : Mopsa_c_parser.C_AST.type_qual -> string -> int

Source

val under_type : 
  Mopsa_c_parser.C_AST.type_qual ->
  Mopsa_c_parser.C_AST.type_qual

Ranges and locations

========================

Sourceval from_range : Mopsa_c_parser.C_AST.range -> Mopsa.range

Stubs annotations

=====================

Source

val from_stub_comment : 
  ctx ->
  Mopsa_c_parser.C_AST.func ->
  Stubs.Ast.stub_func option

Source

val from_stub_func : 
  ctx ->
  Mopsa_c_parser.C_AST.func ->
  Parsing.Ast.stub ->
  Stubs.Ast.stub_func

Sourceval from_stub_section : ctx -> Parsing.Ast.section -> Stubs.Ast.section

Sourceval from_stub_leaf : ctx -> Parsing.Ast.leaf -> Stubs.Ast.leaf

Sourceval from_stub_case : ctx -> Parsing.Ast.case -> Stubs.Ast.case

Source

val from_stub_requires : 
  ctx ->
  Parsing.Ast.requires Mopsa_utils.Location.with_range ->
  Stubs.Ast.requires Mopsa.with_range

Source

val from_stub_free : 
  ctx ->
  Parsing.Ast.free Mopsa_utils.Location.with_range ->
  Stubs.Ast.free Mopsa.with_range

Source

val from_stub_message : 
  ctx ->
  Parsing.Ast.message Mopsa_utils.Location.with_range ->
  Stubs.Ast.message Mopsa.with_range

Sourceval from_stub_message_kind : Parsing.Ast.message_kind -> Stubs.Ast.message_kind

Source

val from_stub_assigns : 
  ctx ->
  Parsing.Ast.assigns Mopsa_utils.Location.with_range ->
  Stubs.Ast.assigns Mopsa.with_range

Source

val from_stub_local : 
  ctx ->
  Parsing.Ast.local Mopsa_utils.Location.with_range ->
  Stubs.Ast.local Mopsa.with_range

Source

val from_stub_local_value : 
  ctx ->
  Parsing.Ast.local_value ->
  Stubs.Ast.local_value

Source

val from_stub_ensures : 
  ctx ->
  Parsing.Ast.ensures Mopsa_utils.Location.with_range ->
  Stubs.Ast.ensures Mopsa.with_range

Source

val from_stub_assumes : 
  ctx ->
  Parsing.Ast.assumes Mopsa_utils.Location.with_range ->
  Stubs.Ast.assumes Mopsa.with_range

Sourceval from_stub_formula : ctx -> Parsing.Ast.requires -> Stubs.Ast.requires

Sourceval from_stub_set : ctx -> Parsing.Ast.set -> Stubs.Ast.set

Sourceval from_stub_interval : ctx -> Parsing.Ast.interval -> Stubs.Ast.interval

Sourceval from_stub_expr : ctx -> Parsing.Ast.free -> Stubs.Ast.free

Sourceval from_stub_log_binop : Parsing.Ast.log_binop -> Stubs.Ast.log_binop

Source

val from_stub_expr_binop : 
  Mopsa_c_stubs_parser.Ast.binop ->
  Ast.Operator.operator

Source

val from_stub_expr_unop : 
  Mopsa_c_stubs_parser.Ast.unop ->
  Ast.Operator.operator

Source

val from_stub_directives : 
  ctx ->
  (Mopsa_c_parser.Clang_AST.comment
   * Mopsa_c_parser.C_AST.macro Mopsa_c_parser.C_AST.StringMap.t)
    list
    Mopsa_c_parser.C_AST.RangeMap.t ->
  Stubs.Ast.stub_directive list

Sourceval from_stub_directive : ctx -> Parsing.Ast.stub -> Stubs.Ast.stub_directive

Source

val from_stub_predicates : 
  (Mopsa_c_parser.Clang_AST.comment
   * Mopsa_c_parser.Clang_AST.macro Mopsa_c_parser.C_AST.StringMap.t)
    list
    Mopsa_c_parser.C_AST.RangeMap.t ->
  Mopsa_c_stubs_parser.Passes.Preprocessor.predicate
    Mopsa_c_parser.C_AST.StringMap.t

On This Page

Command-line options
Contexts
Entry point
functions
Scope update
Statements
Expressions
Variables
Types
Ranges and locations
Stubs annotations

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/c_lang/C_lang/Lang/Frontend/index.html

Module Lang.FrontendSource

Command-line options

Contexts

Entry point

functions

Scope update

Statements

Expressions

Variables

Types

Ranges and locations

Stubs annotations

dune-project
Dependency

Module `Lang.Frontend`Source