harmim/infer Fork of facebook/infer

A static analyzer for Java, C, C++, and Objective-C.

Language: OCaml - Size: 149 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 3 - 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 at: 22 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

emilstahl97/Concurrent-Programming-ID1217 📦

The course covers the core concepts, models, paradigms and techniques for concurrent programming. This forms the basis for operating systems, distributed systems and multiprocessor systems, including multicore systems. The course studies foundations and principles of concurrent programming.

Language: TeX - Size: 21 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

canhminhdo/spec-based

Specification-based Testing Concurrent Java Programs with JPF and Maude

Language: Java - Size: 5.54 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

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 at: 22 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

seer-lab/concurrency_benchmark

Language: Java - Size: 4.15 MB - Last synced at: 7 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0