--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on May 2013 ---
Dear all, We are pleased to announce the "simple concurrency analysis" plugin for Frama-C. This has been the subject of research at Adelard sponsored by the UK nuclear industry, and is the first of several plugins that we hope to release under LGPL licenses. This plugin is aimed at helping to identify possible sources of variable corruption where variables are shared between main program code and interrupt service routines. It doesn't use the value analysis plugin, so it is simple and fast, but doesn't analyse pointers. Source code and instructions are available from https://bitbucket.org/adelard/simple-concurrency Dan and Damien. -- Adelard LLP, Exmouth House, 3-11 Pine Street, London, EC1R 0JH, UK Tel: +44 (0)20 7832 5850 Fax: +44 (0)20 7832 5870, Web: http://www.adelard.com