Date: Wed, 12 Sep 2012 23:56:06 +0400 Subject: 14 September 2012, 11:00, L120, PEM: Static Analysis of Lua using Interface Models (Riemer van Rozen) From: Vadim Zaytsev To: PEM, Riemer van Rozen Dear environmentalists, The presentation that we will have this week at the PEM Colloquium is based on a paper for the Game Development and Model-Driven Software Development (GD&MDSD) workshop called "Game Developers Need Lua AiR - Static Analysis of Lua Using Interface Models". The paper is a work of Riemer van Rozen with Paul Klint and Loren Roosendaal of IC3D Media, a Dutch game business in Breda. Date: 14 September 2012 Time: 11:00 Room: L120 (sic!) Speaker: Riemer van Rozen Title: Static Analysis of Lua using Interface Models Abstract: see below ---------------------------------------------------------------------- Static Analysis of Lua using Interface Models Game development businesses often choose Lua for separating scripted game logic from reusable engine code. Lua can easily be embedded, has simple interfaces, and offers a powerful and extensible scripting language. Using Lua, developers can create prototypes and scripts at early development stages. However, when larger quantities of engine code and script are available, developers encounter maintainability and quality problems. First, the available automated solutions for interoperability do not take domain-specific optimizations into account. Maintaining a coupling by hand between the Lua interpreter and the engine code, usually in C++, is labour intensive and error-prone. Second, assessing the quality of Lua scripts is hard due to a lack of tools that support static analysis. Lua scripts for dynamic analysis only report warnings and errors at run-time and are limited to code coverage. A common solution to the first problem is developing an Interface Definition Language (IDL) from which "glue code", interoperability code between interfaces, is generated automatically. We address quality problems by proposing a method to complement techniques for Lua analysis. In this talk we introduce Lua AiR (Lua Analysis in Rascal), a framework for static analysis of Lua script in its embedded context, using IDL models and Rascal. ---------------------------------------------------------------------- http://event.cwi.nl/pem/calendar.html ---------------------------------------------------------------------- Yours, Vadim.