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/mopsa.mopsa_c_parser/Mopsa_c_parser/Clang_parser_cache/index.html
Module Mopsa_c_parser.Clang_parser_cache
Source
Clang_parser_cache - Cache parsed AST to improve efficiency.
AST are cached in marshalized files. We store the list of files used during parsing and check that they have not been modified before using the cache.
Version number. This is checked when using the cache, and should be changed when the signature or the AST type change to invalidate the cache.
Source file identification.
Parse identification.
Make filename absolute.
Source
val get_signature :
string ->
Clang_AST.target_options ->
string array ->
string list ->
signature
Checks that the signature is valid.
File name of cache for a given source file name.
Source
val parse :
string ->
Clang_AST.target_options ->
bool ->
string ->
string array ->
Clang_parser.parse_result
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>