A functionality addition to dialyzer that should be included in the upcoming release: git fetch git://github.com/mariachris/otp.git plts Kostis