Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Primary LanguageCMIT LicenseMIT