{"id":43786,"name":"analyzer","description":"Static analysis framework for C","url":"https://github.com/goblint/analyzer","last_synced_at":"2025-09-05T09:59:46.233Z","repository":{"id":37396688,"uuid":"2066905","full_name":"goblint/analyzer","owner":"goblint","description":"Static analysis framework for C","archived":false,"fork":false,"pushed_at":"2025-09-01T09:02:34.000Z","size":41088,"stargazers_count":201,"open_issues_count":249,"forks_count":83,"subscribers_count":17,"default_branch":"master","last_synced_at":"2025-09-01T11:41:18.614Z","etag":null,"topics":["abstract-interpretation","c","ocaml","program-analysis","race-conditions","race-detection","software-verification","static-analysis","static-code-analysis"],"latest_commit_sha":null,"homepage":"https://goblint.in.tum.de","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/goblint.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":".zenodo.json","notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2011-07-18T15:10:56.000Z","updated_at":"2025-09-01T09:02:36.000Z","dependencies_parsed_at":"2024-01-22T12:00:13.133Z","dependency_job_id":"1b36f126-dbc1-4d9d-9c81-702c86c07ff1","html_url":"https://github.com/goblint/analyzer","commit_stats":null,"previous_names":[],"tags_count":34,"template":false,"template_full_name":null,"purl":"pkg:github/goblint/analyzer","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/goblint","download_url":"https://codeload.github.com/goblint/analyzer/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273740851,"owners_count":25159434,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"goblint","name":"Goblint Project","uuid":"917621","kind":"organization","description":"","email":null,"website":"https://goblint.in.tum.de","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/917621?v=4","repositories_count":20,"last_synced_at":"2024-03-26T02:25:30.035Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/goblint","funding_links":[],"total_stars":204,"followers":9,"following":0,"created_at":"2022-11-03T02:40:43.214Z","updated_at":"2024-03-26T02:25:32.079Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/goblint","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/goblint/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"goblint/analyzer","html_url":"https://github.com/goblint/analyzer","last_synced_at":"2025-09-02T16:35:59.569Z","status":null,"issues_count":159,"pull_requests_count":275,"avg_time_to_close_issue":15577273.184210526,"avg_time_to_close_pull_request":3157131.030150754,"issues_closed_count":76,"pull_requests_closed_count":199,"pull_request_authors_count":25,"issue_authors_count":14,"avg_comments_per_issue":1.1572327044025157,"avg_comments_per_pull_request":1.290909090909091,"merged_pull_requests_count":182,"bot_issues_count":0,"bot_pull_requests_count":8,"past_year_issues_count":52,"past_year_pull_requests_count":121,"past_year_avg_time_to_close_issue":2802415.8666666667,"past_year_avg_time_to_close_pull_request":1702954.6363636365,"past_year_issues_closed_count":15,"past_year_pull_requests_closed_count":77,"past_year_pull_request_authors_count":16,"past_year_issue_authors_count":9,"past_year_avg_comments_per_issue":0.9230769230769231,"past_year_avg_comments_per_pull_request":0.859504132231405,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":1,"past_year_merged_pull_requests_count":71,"created_at":"2025-07-16T13:28:45.913Z","updated_at":"2025-09-03T06:42:34.799Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/goblint%2Fanalyzer/issues","issue_labels_count":{"bug":73,"sv-comp":40,"unsound":38,"precision":32,"good first issue":28,"cleanup":27,"feature":22,"relational":21,"usability":17,"benchmarking":13,"performance":11,"testing":7,"setup":7,"student-job":5,"documentation":3,"in progress":2,"type-safety":2,"pr-dependency":2,"parallel":2,"debugging":1,"github_actions":1,"unsound-usability":1,"question":1,"preprocessing":1,"explainability":1,"sv-benchmarks-MR":1},"pull_request_labels_count":{"bug":88,"cleanup":76,"precision":70,"sv-comp":67,"feature":43,"unsound":40,"relational":30,"performance":25,"usability":23,"testing":18,"dependencies":16,"setup":16,"type-safety":14,"documentation":10,"student-job":9,"benchmarking":7,"github_actions":5,"in progress":4,"c11":2,"parallel":2,"explainability":1,"upstream":1,"proof-of-concept":1,"pr-dependency":1,"unsound-usability":1,"python":1,"practical-course":1,"preprocessing":1},"issue_author_associations_count":{"MEMBER":147,"COLLABORATOR":8,"CONTRIBUTOR":6,"NONE":4},"pull_request_author_associations_count":{"MEMBER":241,"CONTRIBUTOR":18,"NONE":17,"COLLABORATOR":13},"issue_authors":{"michael-schwarz":76,"sim642":65,"karoliineh":5,"DrMichaelPetter":5,"Robotechnic":3,"Red-Panda64":2,"vogler":2,"stilscher":1,"pvouzis":1,"AdrianKrauss":1,"SchiJoha":1,"leunam99":1,"arkocal":1,"FungOliver":1},"pull_request_authors":{"sim642":136,"michael-schwarz":63,"karoliineh":33,"DrMichaelPetter":9,"dependabot[bot]":8,"Red-Panda64":5,"arkocal":5,"jerhard":4,"FelixKrayer":2,"GollokG":2,"RonaldJudin":2,"vesalvojdani":2,"stilscher":2,"Robotechnic":2,"SchiJoha":2,"McTsts":1,"WernerDrasche":1,"heigotornik":1,"Draggon01":1,"H-Innos":1,"alina-weber":1,"iC4rl0s":1,"mrstanb":1,"jmid":1,"ManuelLerchner":1,"nathanschmidt":1,"feniup":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10097364,"issues_count":31428117,"pull_requests_count":97242359,"authors_count":10701128,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{"sv-comp":19,"bug":14,"precision":12,"unsound":11,"feature":8,"good first issue":7,"performance":6,"usability":5,"cleanup":4,"relational":4,"testing":4,"parallel":2,"benchmarking":2,"pr-dependency":1,"explainability":1,"in progress":1,"documentation":1},"past_year_pull_request_labels_count":{"cleanup":37,"sv-comp":36,"bug":36,"precision":31,"unsound":21,"feature":20,"performance":14,"testing":10,"usability":9,"relational":7,"type-safety":6,"setup":5,"documentation":4,"in progress":3,"student-job":3,"dependencies":3,"benchmarking":2,"parallel":2,"c11":2,"explainability":1,"practical-course":1,"github_actions":1,"preprocessing":1},"past_year_issue_author_associations_count":{"MEMBER":50,"CONTRIBUTOR":4,"NONE":3,"COLLABORATOR":1},"past_year_pull_request_author_associations_count":{"MEMBER":109,"NONE":11,"CONTRIBUTOR":8,"COLLABORATOR":3},"past_year_issue_authors":{"sim642":27,"michael-schwarz":22,"Robotechnic":3,"AdrianKrauss":1,"arkocal":1,"DrMichaelPetter":1,"karoliineh":1,"leunam99":1,"pvouzis":1},"past_year_pull_request_authors":{"sim642":65,"michael-schwarz":32,"karoliineh":11,"arkocal":5,"DrMichaelPetter":3,"GollokG":2,"Robotechnic":2,"heigotornik":1,"ManuelLerchner":1,"dependabot[bot]":1,"Draggon01":1,"H-Innos":1,"jerhard":1,"jmid":1,"Red-Panda64":1,"feniup":1,"iC4rl0s":1,"FelixKrayer":1},"maintainers":[{"login":"sim642","count":201,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/sim642"},{"login":"michael-schwarz","count":139,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/michael-schwarz"},{"login":"karoliineh","count":38,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/karoliineh"},{"login":"DrMichaelPetter","count":14,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/DrMichaelPetter"},{"login":"jerhard","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jerhard"},{"login":"stilscher","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/stilscher"},{"login":"SchiJoha","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/SchiJoha"},{"login":"vogler","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/vogler"},{"login":"vesalvojdani","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/vesalvojdani"},{"login":"alina-weber","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/alina-weber"},{"login":"nathanschmidt","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/nathanschmidt"},{"login":"mrstanb","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mrstanb"}],"active_maintainers":[{"login":"sim642","count":92,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/sim642"},{"login":"michael-schwarz","count":54,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/michael-schwarz"},{"login":"karoliineh","count":12,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/karoliineh"},{"login":"DrMichaelPetter","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/DrMichaelPetter"},{"login":"jerhard","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jerhard"}]},"events":{"total":{"CreateEvent":115,"ReleaseEvent":4,"IssuesEvent":100,"WatchEvent":30,"DeleteEvent":91,"IssueCommentEvent":307,"PushEvent":515,"PullRequestReviewCommentEvent":739,"PullRequestEvent":219,"PullRequestReviewEvent":655,"ForkEvent":5},"last_year":{"CreateEvent":115,"ReleaseEvent":4,"IssuesEvent":100,"WatchEvent":30,"DeleteEvent":91,"IssueCommentEvent":307,"PushEvent":515,"PullRequestReviewCommentEvent":739,"PullRequestEvent":219,"PullRequestReviewEvent":655,"ForkEvent":5}},"keywords":["abstract-interpretation","c","ocaml","program-analysis","race-conditions","race-detection","software-verification","static-analysis","static-code-analysis"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/coverage.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.352Z","updated_at":"2023-09-23T13:33:45.352Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/coverage.yml","dependencies":[{"id":13900293076,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900293077,"package_name":"ocaml/setup-ocaml","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900293078,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/docker.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.361Z","updated_at":"2023-09-23T13:33:45.361Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/docker.yml","dependencies":[{"id":13900293079,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900293080,"package_name":"docker/setup-buildx-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900293081,"package_name":"docker/login-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900293082,"package_name":"docker/metadata-action","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false},{"id":13900293083,"package_name":"docker/build-push-action","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/docs.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.575Z","updated_at":"2023-09-23T13:33:45.575Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/docs.yml","dependencies":[{"id":13900293100,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900293101,"package_name":"ocaml/setup-ocaml","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900293102,"package_name":"actions/configure-pages","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900293103,"package_name":"actions/upload-pages-artifact","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900293104,"package_name":"actions/deploy-pages","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/indentation.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.770Z","updated_at":"2023-09-23T13:33:45.770Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/indentation.yml","dependencies":[{"id":13900293676,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900293681,"package_name":"ocaml/setup-ocaml","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/locked.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.808Z","updated_at":"2023-09-23T13:33:45.808Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/locked.yml","dependencies":[{"id":13900293983,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900293987,"package_name":"ocaml/setup-ocaml","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900293990,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900293993,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/metadata.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.823Z","updated_at":"2023-09-23T13:33:45.823Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/metadata.yml","dependencies":[{"id":13900294271,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900294275,"package_name":"docker://citationcff/cffconvert","ecosystem":"actions","requirements":"latest","direct":true,"kind":"composite","optional":false},{"id":13900294331,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/options.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.850Z","updated_at":"2023-09-23T13:33:45.850Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/options.yml","dependencies":[{"id":13900294333,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900294334,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/semgrep.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.869Z","updated_at":"2023-09-23T13:33:45.869Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/semgrep.yml","dependencies":[{"id":13900294349,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900294350,"package_name":"github/codeql-action/upload-sarif","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/unlocked.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.893Z","updated_at":"2023-09-23T13:33:45.893Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.github/workflows/unlocked.yml","dependencies":[{"id":13900294351,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":13900294352,"package_name":"ocaml/setup-ocaml","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":13900294353,"package_name":"docker/setup-buildx-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13900294354,"package_name":"docker/build-push-action","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false},{"id":13900294355,"package_name":"addnab/docker-run-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"docker","filepath":".devcontainer/Dockerfile","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:45.933Z","updated_at":"2023-09-23T13:33:45.933Z","repository_link":"https://github.com/goblint/analyzer/blob/master/.devcontainer/Dockerfile","dependencies":[{"id":13900294356,"package_name":"ocaml/opam","ecosystem":"docker","requirements":"ubuntu-22.04-opam","direct":true,"kind":"build","optional":false}]},{"ecosystem":"docker","filepath":"Dockerfile","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:46.055Z","updated_at":"2023-09-23T13:33:46.055Z","repository_link":"https://github.com/goblint/analyzer/blob/master/Dockerfile","dependencies":[{"id":13900294371,"package_name":"ocaml/opam","ecosystem":"docker","requirements":"ubuntu-22.04-opam","direct":true,"kind":"build","optional":false},{"id":13900294372,"package_name":"dev","ecosystem":"docker","requirements":"latest","direct":true,"kind":"build","optional":false},{"id":13900294373,"package_name":"ubuntu","ecosystem":"docker","requirements":"22.04","direct":true,"kind":"build","optional":false}]},{"ecosystem":"pypi","filepath":"docs/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-09-23T13:33:46.114Z","updated_at":"2023-09-23T13:33:46.114Z","repository_link":"https://github.com/goblint/analyzer/blob/master/docs/requirements.txt","dependencies":[{"id":13900294493,"package_name":"mkdocs","ecosystem":"pypi","requirements":"==1.2.3","direct":true,"kind":"runtime","optional":false},{"id":13900294496,"package_name":"jinja2","ecosystem":"pypi","requirements":"==3.0.3","direct":true,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:18.929Z","updated_at":"2025-10-07T08:17:42.753Z","avatar_url":"https://github.com/goblint.png","language":"OCaml","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/43786","html_url":"https://science.ecosyste.ms/projects/43786","bibtex_url":"https://science.ecosyste.ms/projects/43786/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/43786/export.apalike"}