Erlang Dialyzer

10 04 2011 Gespeichert in:Allgemein
Der Dialyzer - DIscrepancy AnaLYZer for ERlang applikations - ist ein statisches Analyse Werkzeug, das Schwachstellen in Erlang Programmen aufdeckt. Dazu gehören z.B. Definite Typ Fehler, Toter Code oder unnötige Tests. Ein hilfreiches Mittel zur Fehlervermeidung und Code-Pflege also. Der Dialyzer wird laufend weiterentwickelt und seine Analysefähigkeit weiter verbessert. So stehen etwa Verbesserung im Bereich der Erkennung von "Race Conditions", "Deadlocks" und Anomalien bei "Argument-Ergebnis Abhängigkeiten" an. Als "Testbench" für bestehende und neue Analysen werden derzeit nicht weniger als 150 Erlang Projekte analysiert und die Ergebnisse auf folgender Webseite veröffentlicht. Schaut doch mal dort vorbei.

Im Laufe des Jahres, werden wir hier ´nen kleines Tutorial zum Dialyzer veröffentlichen.