Spinfer

Overview

Spinfer is a tool for transformation rule inference being developed as part of the ANR-NRF funded project "Automatic inference of software transformation rules for automatically back and forward porting legacy infrastructure software". This is a joint project between Sorbonne University, in the Whisper team at LIP6, and Singapore Management University.

Spinfer targets inferring transformation rules for use with the Coccinelle program matching and transformation tool for C code. The goal of Spinfer is to be able to infer transformation rules that rely on the interaction between separated fragments of context and transformed code that are connected by control-flow and data-flow relationships. The project mainly focus on porting of Linux kernel device drivers, but will also consider the applicability of the developed techniques to Java code.

Spinfer is currently work in progress. We hope to have an initial release in 2019.

Publications

Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers
Julia Lawall, Derek Palinski, Lukas Gnirke, and Gilles Muller.
USENIX ATC, July 2017, Santa Clara, California.

Team