(SL)Engineering a Static Analyser Matthew Roberts Macquarie University As good DSL authors, we use our SLE tools to build great languages. Languages where it is hard to write invalid code. We will have defined a type-checker and name analysis to catch all the possible errors at compile time, right? Of course, this is not possible, or at least not feasible. Thus it may be necessary at some point to add better static analysis to a language that is already defined and that is in wide use. We use the Kiama-based static analysis tool Skink as a case-study to show how Software Language Engineering tools can support the creation of these tools just as they support the creation of more familiar "static analysers” like name analysers and type analysers.