{"id":28462727,"url":"https://github.com/galoisinc/cclyzerpp","last_synced_at":"2025-07-03T16:31:07.389Z","repository":{"id":60938748,"uuid":"523387792","full_name":"GaloisInc/cclyzerpp","owner":"GaloisInc","description":"cclyzer++ is a precise and scalable pointer analysis for LLVM code.","archived":false,"fork":false,"pushed_at":"2025-01-30T16:33:13.000Z","size":4181,"stargazers_count":144,"open_issues_count":26,"forks_count":15,"subscribers_count":11,"default_branch":"main","last_synced_at":"2025-06-27T04:10:39.503Z","etag":null,"topics":["datalog","llvm","pointer-analysis","program-analysis","souffle","static-analysis"],"latest_commit_sha":null,"homepage":"https://galoisinc.github.io/cclyzerpp/","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/GaloisInc.png","metadata":{"files":{"readme":"README.rst","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-08-10T15:00:27.000Z","updated_at":"2025-05-12T17:15:51.000Z","dependencies_parsed_at":"2024-07-17T18:20:56.296Z","dependency_job_id":"f18db88a-579b-4fd1-9709-58ba1da0ee55","html_url":"https://github.com/GaloisInc/cclyzerpp","commit_stats":null,"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/GaloisInc/cclyzerpp","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcclyzerpp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcclyzerpp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcclyzerpp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcclyzerpp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/GaloisInc","download_url":"https://codeload.github.com/GaloisInc/cclyzerpp/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcclyzerpp/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":263360758,"owners_count":23454780,"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","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"}},"keywords":["datalog","llvm","pointer-analysis","program-analysis","souffle","static-analysis"],"created_at":"2025-06-07T04:36:41.276Z","updated_at":"2025-07-03T16:31:07.376Z","avatar_url":"https://github.com/GaloisInc.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"cclyzer++\n=========\n\n..\n  The following text also appears in doc/index.rst. Changes here should be\n  reflected there, and vice-versa.\n\ncclyzer++ is a precise and scalable global pointer analysis for LLVM code. The\noutput of cclyzer++ can be used for a variety of program analysis tasks,\nincluding:\n\n* Creation of callgraphs with precise handling of indirect function calls and\n  virtual method calls\n* Precise inter-procedural control- and data-flow analysis\n* Answering may-alias and must-not-alias queries\n\ncclyzer++ is field- and array-sensitive, performs on-the-fly callgraph\nconstruction, and supports many different configurations of context-sensitivity\nincluding *k*-callsite sensitivity. It has subset-based (Andersen style) and\nunification-based (Steensgaard style) analyses. cclyzer++ is written in `Soufflé\nDatalog`_, and so is highly parallel. cclyzer++ was derived from `cclyzer`_.\n\nSee the `documentation \u003cdoc_\u003e`_ for more information about cczlyer++, including\nexamples of its output. Documentation is also available `online`_.\n\nIf you use cclyzer++ in your own work, please include the following citations:\n\n* Langston Barrett and Scott Moore. \"cclyzer++: Scalable and Precise Pointer Analysis for LLVM.\" https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.\n* George Balatsouras and Yannis Smaragdakis. \"Structure-sensitive points-to analysis for C and C++.\" In Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings 23, pp. 84-104. Springer Berlin Heidelberg, 2016.\n\nAcknowledgments\n---------------\n\nThis material is based upon work supported by the United States Air Force and\nDefense Advanced Research Project Agency (DARPA) under Contract No.\nFA8750-19-C-0004. Any opinions, findings and conclusions or recommendations\nexpressed in this material are those of the author(s) and do not necessarily\nreflect the views of the United States Air Force or DARPA. Approved for Public\nRelease, Distribution Unlimited.\n\n.. _cclyzer: https://yanniss.github.io/cclyzer-sas16.pdf\n.. _Soufflé Datalog: https://souffle-lang.github.io/\n.. _doc: doc/index.rst\n.. _online: https://galoisinc.github.io/cclyzerpp\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgaloisinc%2Fcclyzerpp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgaloisinc%2Fcclyzerpp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgaloisinc%2Fcclyzerpp/lists"}