package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.0.tbz
sha256=2f4f2e25b765452f0e336941f35f6cb396d7c213a2d347abe5d35febc5159b1f
sha512=e96af4cad91f6985c8db93c194925853e96cad0ec1a0d9f4d32bbe16d3e5fa1e305f54be02839f21ba89ad2af0c2d5d7aa819ade221ce097dc4dbd0fcd8c8500
doc/goblint.lib/Goblint_lib/Maingoblint/index.html
Module Goblint_lib.Maingoblint
Source
This is the main program!
Print version and bail.
Print helpful messages.
Arg
option specification
Parse arguments. Print help if needed.
Initialize some globals in other modules.
Source
val basic_preprocess :
all_cppflags:string list ->
Fpath.t ->
Fpath.t * ProcessPool.task option
Use gcc to preprocess a file. Returns the path to the preprocessed file.
Preprocess all files. Return list of preprocessed files and the temp directory name.
Source
val parse_preprocessed :
(Preprocessor.FpathH.key * ProcessPool.task option) list ->
GoblintCil__.Cil.file list
Parse preprocessed files
Merge parsed files
Perform the analysis over the merged AST.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>