GitHub topics: atomicity-violation
bhuvansingla/aerodrome-roadrunner
Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework
Language: Java - Size: 101 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
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-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Language: C - Size: 33.8 MB - Last synced at: 24 days ago - Pushed at: almost 3 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 at: 24 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
Language: Java - Size: 10.4 MB - Last synced at: 24 days ago - Pushed at: almost 3 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 at: 24 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0