Concurrency warnings

The concurrency extension aims to make Dialyzer capable of detecting concurrency errors in Erlang programs. It has already been extensively tested with race condition detection and is currently being extended with deadlock detection and tracking of Erlang messages.

Click on an application name on the bar on the left to see the new warnings for it.

This extension is currently under testing. For more information contact Maria Christakis at mchrista[at]softlab[dot]ntua[dot]gr