Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcclyzerpp

Stars: 111
Forks: 14
Open Issues: 26

License: bsd-3-clause
Language: C++
Repo Size: 3.97 MB
Dependencies: 11

Created: almost 2 years ago
Updated: 27 days ago
Last pushed: about 1 year ago
Last synced: 27 days ago

Topics: datalog, llvm, pointer-analysis, program-analysis, souffle, static-analysis

Files
    Loading...
    Readme
    Loading...
    Dependencies
    stats/requirements.txt pypi
    .github/workflows/ci.yml actions
    doc/requirements.txt pypi