package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/passes/Passes/Preprocessor/index.html
Module Passes.Preprocessor
Source
Preprocessor for expanding macros
Source
val pp_stack :
Stdlib.Format.formatter ->
(Mopsa_c_parser.Clang_AST.macro * Parsing.Parser.token list) Stdlib.Stack.t ->
unit
Source
val inside_macro :
Mopsa_c_parser.Clang_AST.macro ->
(Mopsa_c_parser.Clang_AST.macro * 'a) Stdlib.Stack.t ->
bool
Source
val next_token :
?ret2caller:bool ->
('a -> Parsing.Parser.token) ->
'a ->
Parsing.Parser.token
Source
val tokenize_string :
(Stdlib.Lexing.lexbuf -> Parsing.Parser.token) ->
string ->
Parsing.Parser.token list
Source
val tokenize_arguments :
Mopsa_c_parser.Clang_AST.macro ->
('a -> Parsing.Parser.token) ->
'a ->
Parsing.Parser.token list Mopsa_c_parser.C_AST.StringMap.t
Source
val tokeninze_macro :
Mopsa_c_parser.Clang_AST.macro ->
Parsing.Parser.token list Mopsa_c_parser.C_AST.StringMap.t ->
(Stdlib.Lexing.lexbuf -> Parsing.Parser.token) ->
Parsing.Parser.token list
Source
type predicate = {
pred_name : string;
pred_params : string list;
pred_body : Parsing.Parser.token list;
}
Source
val read :
predicate Mopsa_c_parser.C_AST.StringMap.t ->
Mopsa_c_parser.Clang_AST.macro Mopsa_c_parser.C_AST.StringMap.t ->
Z.t Mopsa_c_parser.C_AST.StringMap.t ->
(Stdlib.Lexing.lexbuf -> Parsing.Parser.token) ->
Stdlib.Lexing.lexbuf ->
Parsing.Parser.token
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>