Project Practice 1 Atomer: Atomicity Violations Analyser Author: Dominik Harmim xharmi00@stud.fit.vutbr.cz