package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
Dune Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500
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