Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: facebook-infer
harmim/infer Fork of facebook/infer
A static analyzer for Java, C, C++, and Objective-C.
Language: OCaml - Size: 149 MB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 3 - Forks: 1
harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Language: C - Size: 33.8 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 2 - Forks: 1
harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Language: C - Size: 63 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0
TomasBeranek/infer-compiler-wrapper
A simple compiler wrapper for capturing source files for Facebook Infer
Language: Shell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
harmim/eurocast2022-deadlock-infer
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
Language: HTML - Size: 8.77 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
Language: Java - Size: 10.4 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 1 - Forks: 1
harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Language: TeX - Size: 8.2 MB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
harmim/vut-excel-at-fit-2019
Excel@FIT 2019
Language: TeX - Size: 4.32 MB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0