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

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

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

Project Practice 1 - Atomer: Atomicity Violations Analyser

Excel@FIT 2019

This is a repository for the coursework of CW2 and CW3 of COMP0103 - Validation and Verification module. The coursework is about investigating how well language models (LLMs) of different sizes can solve LeetCode problems in Java code.

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Eurocast 2022 - Static Deadlock Detection in Low-Level C Code

A simple compiler wrapper for capturing source files for Facebook Infer