Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / harmim / infer
A static analyzer for Java, C, C++, and Objective-C.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/harmim%2Finfer
Fork of facebook/infer
Stars: 3
Forks: 1
Open Issues: 0
License: mit
Language: OCaml
Repo Size: 149 MB
Dependencies: pending
Created: over 5 years ago
Updated: 5 months ago
Last pushed: 8 months ago
Last synced: 29 days ago
Topics: abstract-interpretation, atomer, atomicity, atomicity-violation, c, concurrency, concurrent-programs, cpp, facebook, facebook-infer, java, ocaml, program-analysis, static-analysis