This repository accompanies the paper Scalable Thread-Safety Analysis of Java Classes with CodeQL. It contains the CodeQL queries and experiments presented in the paper.
Furthermore, the queries have been merged into the main CodeQL repository (see this PR). So, the queries are available via the standard CodeQL libraries as well.