goblint/analyzer

Static analysis framework for C

OCamlCPerlShellPythonRubyOthercstatic-code-analysisstatic-analysisocamlprogram-analysissoftware-verificationabstract-interpretationrace-detectionrace-conditions
This is stars and forks stats for /goblint/analyzer repository. As of 29 Mar, 2024 this repository has 135 stars and 61 forks.

Goblint Documentation can be browsed on Read the Docs or GitHub. Installing Both for using an up-to-date version of Goblint or developing it, the best way is to install from source by cloning this repository. For benchmarking Goblint, please follow the Benchmarking guide on Read the Docs. Linux Install opam. Make sure the following are installed: git, patch, m4, autoconf, libgmp-dev, libmpfr-dev and pkg-config. Run make setup to install OCaml and dependencies via opam. Run make to build Goblint itself. Run...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
monkeyWzr/hugo-theme-cactusSCSSHTMLJavaScript50603160
thundergolfer/bazel-mypy-integrationStarlarkShellPython920400
xaoxuu/hexo-theme-stellarJavaScriptStylusEJS56202140
ChiChou/grapefruitVueTypeScriptJavaScript7190660
ApolloAuto/apolloC++PythonStarlark23.4k09.4k0
stenzek/duckstationC++CPOV-Ray SDL5.3k05120
NVIDIA/TensorRTC++PythonJupyter Notebook7.9k01.8k0
sogou/workflowC++CCMake11.5k+292.2k+5
ceph/cephC++PythonRaku12.4k06k0
hexops/machZigWGSL2.3k+17119+1