The goal of the work is to implement a new dynamic analysis framework allowing one to easily develop various checkers for concurrent programs in C/C++ looking for concurrency-related errors such as data races, atomicity violations, or deadlocks. The framework may get inspired by the AnaConDA framework, and if possible, even reuse parts of its code. However, unlike AnaConDA, which relies on the binary instrumentation framework Intel Pin, the new environment should be based on intermediate code instrumentation using the LLVM instructure. On top of the framework, at least two concrete analysers should be implemented (or ported from AnaConDA) and evaluated on suitable non-trivial benchmarks.