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/mopsa.mopsa_c_parser/Mopsa_c_parser/Clang_parser/index.html
Module Mopsa_c_parser.Clang_parserSource
Clang_parser - Extracting Clang AST to OCaml
Interface to Clang AST: we call Clang to parse files and convert the AST into OCaml. This is a low-level interface: the returned AST stays close to Clang. Thus, the interface may evolve from Clang versions to versions.
See Clang_AST for the definition of the AST types, as well as the parts that we don't support yet.
Version
Target information
Returns the default target, which corresponds to the host.
Gets the target informations (type width and alignment, ...) for the given target.
Parsing
Source
type parse_result = {parse_decl : Clang_AST.decl;(*AST.
*)parse_diag : Clang_AST.diagnostic list;(*Warnings and errors.
*)parse_comments : Clang_AST.comment list;(*C/C++ comments.
*)parse_macros : Clang_AST.macro list;(*Macros.
*)parse_files : string list;(*Files read during parsing.
*)
}Source
val parse :
command:string ->
target:Clang_AST.target_options ->
filename:string ->
args:string array ->
parse_resultParse the source file with the specified command (e.g., "clang" or "clang++") for the specified target, given the the specified compile-time options.
On This Page