Apr 2011

Erlang Dialyzer

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.

Neue Erlang-Webseite und neuer Erlang Release

Falls es wer es verpasst hat. Erlang.org wurde neu gestaltet und sieht nun richtig schickt aus. Zudem wurde mit Erlang/OTP R1402 ein neuer Service-Release veröffentlicht. Zu den Highlights gehört vor allem die Halfword-Emulation, ein 64-Bit Emulator, der weniger Speicher verbraucht, als der volle 64-Bit Emulator. Alle Verbesserungen können wie immer den Release-Notes entnommen werden.