package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4
doc/passes/Passes/Cst_to_ast/index.html
Module Passes.Cst_to_astSource
Translate a CST into a AST by resolving types, variables and functions defined in the project.
Generic visitors
********************
Source
val visit_list_ext :
('a -> 'b -> 'c -> 'd * 'e list * 'f list) ->
'a list ->
'b ->
'c ->
'd list * 'e list * 'f listSource
val visit_pair :
('a -> 'b -> 'c -> 'd) ->
('e -> 'b -> 'c -> 'f) ->
('a * 'e) ->
'b ->
'c ->
'd * 'fTypes
*********
Source
val find_record :
Parsing.Cst.var ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.record_typeSource
val find_typedef :
Parsing.Cst.var ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.typedefSource
val find_enum :
Parsing.Cst.var ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.enum_typeSource
val visit_qual_typ :
Parsing.Cst.c_qual_typ ->
Mopsa_c_parser.C_AST.project ->
'a ->
Mopsa_c_parser.C_AST.type_qualSource
val visit_typ :
Parsing.Cst.c_typ ->
Mopsa_c_parser.C_AST.project ->
'a ->
Mopsa_c_parser.C_AST.typSource
val visit_array_length :
Parsing.Cst.array_length ->
Mopsa_c_parser.C_AST.project ->
'a ->
Mopsa_c_parser.C_AST.array_lengthSource
val pointer_type :
Mopsa_c_parser.C_AST.type_qual ->
Mopsa_c_parser.C_AST.typ * Mopsa_c_parser.C_AST.qualifierSource
val pointed_type :
Utils_core.Location.range ->
Mopsa_c_parser.C_AST.type_qual ->
Mopsa_c_parser.C_AST.type_qualSource
val subscript_type :
Utils_core.Location.range ->
Mopsa_c_parser.C_AST.type_qual ->
Mopsa_c_parser.C_AST.type_qualSource
val builtin_type :
Parsing.Cst.builtin ->
Parsing.Ast.expr Mopsa_utils.Location.with_range list ->
Mopsa_c_parser.C_AST.type_qualRecords
***********
Source
val find_field :
Utils_core.Location.range ->
Mopsa_c_parser.C_AST.type_qual ->
string ->
Mopsa_c_parser.C_AST.record_fieldSource
val find_field_check :
Mopsa_c_parser.C_AST.type_qual ->
string ->
Utils_core.Location.range ->
Mopsa_c_parser.C_AST.record_fieldExpressions
***************
Source
val visit_var :
Parsing.Cst.var ->
Utils_core.Location.range ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.func ->
Mopsa_c_parser.C_AST.variableSource
val integer_promotion :
Mopsa_c_parser.C_AST.project ->
Parsing.Ast.expr Mopsa_utils.Location.with_range ->
Parsing.Ast.expr Mopsa_utils.Location.with_rangeSource
val promote_expression_type :
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.type_qual ->
Parsing.Ast.expr Mopsa_utils.Location.with_range ->
Parsing.Ast.expr Mopsa_utils.Location.with_rangeFormulas
************
Source
val visit_interval :
Parsing.Cst.interval ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.func ->
Parsing.Ast.intervalSource
val visit_set :
Parsing.Cst.set ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.func ->
Parsing.Ast.setStub sections
****************
Source
val visit_message :
Parsing.Cst.message Mopsa_utils.Location.with_range ->
'a ->
'b ->
Parsing.Ast.message Mopsa_utils.Location.with_rangeSource
val visit_section :
Parsing.Cst.section ->
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.func ->
Parsing.Ast.section
* Parsing.Ast.local Mopsa_utils.Location.with_range list
* Parsing.Ast.assigns Mopsa_utils.Location.with_range listEntry point
***************
Source
val doit :
Mopsa_c_parser.C_AST.project ->
Mopsa_c_parser.C_AST.func ->
Parsing.Cst.stub ->
Parsing.Ast.stubOn This Page