Programm für das einunddreißigste Treffen am 5. Oktober 2017

Der angekündigte Vortrag marudor zu typisiertem JavaScript musste leider krankheitsbedingt entfallen.

Ingo setzte mit uns die beim letzten Treffen begonnene Reise durch wundersame Phänomene der Logik fort.

Richi sprach über Buffer Overflows, Arbitrary Code Execution und Format String Exploits.

Marc erklärte SSA: Die meisten modernen Compiler für konventionelle Programmiersprachen (GCC, Clang, SpiderMonkey, …) schreiben das Programm für ihr Middle-End in “Singe-Static-Assignment-Form” um, in der es dann optimiert wird, bevor die SSA-Form im Back-End dann in Maschinensprache umgeschrieben wird. Jeder Compiler-Bauer muß also wissen, was SSA bedeutet. Wir geben kurz an, um was es sich bei der SSA-Form handelt, und was das Ganze mit funktionaler Programmierung zu tun hat (woraus sich im Übrigen auch der Grund für den Vorteil der SSA-Form ergibt.)