Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / goblint / analyzer
Static analysis framework for C
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer
Stars: 151
Forks: 70
Open Issues: 192
License: mit
Language: OCaml
Repo Size: 35.8 MB
Dependencies:
37
Created: almost 13 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Topics: abstract-interpretation, c, ocaml, program-analysis, race-conditions, race-detection, software-verification, static-analysis, static-code-analysis
Files
Dependencies
- actions/checkout v4 composite
- actions/upload-artifact v3 composite
- ocaml/setup-ocaml v2 composite
- actions/checkout v4 composite
- docker/build-push-action v5 composite
- docker/login-action v3 composite
- docker/metadata-action v5 composite
- docker/setup-buildx-action v3 composite
- actions/checkout v4 composite
- actions/configure-pages v3 composite
- actions/deploy-pages v2 composite
- actions/upload-pages-artifact v2 composite
- ocaml/setup-ocaml v2 composite
- actions/checkout v4 composite
- ocaml/setup-ocaml v2 composite
- actions/checkout v4 composite
- actions/setup-node v3 composite
- actions/upload-artifact v3 composite
- ocaml/setup-ocaml v2 composite
- actions/checkout v4 composite
- actions/setup-node v3 composite
- docker://citationcff/cffconvert latest composite
- actions/checkout v4 composite
- actions/setup-node v3 composite
- actions/checkout v4 composite
- github/codeql-action/upload-sarif v2 composite
- actions/checkout v4 composite
- addnab/docker-run-action v3 composite
- docker/build-push-action v5 composite
- docker/setup-buildx-action v3 composite
- ocaml/setup-ocaml v2 composite
- ocaml/opam ubuntu-22.04-opam build
- dev latest build
- ocaml/opam ubuntu-22.04-opam build
- ubuntu 22.04 build