package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.1.tbz
sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de
sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd
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)"
>