--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on November 2008 ---
Pariente Dillon wrote : >> Please, let me known how is it possible to get rid of unuseful globals. I have added a filter to remove unused global types and variables. It is automatically called by the slicing and the sparecode analysis, but it can also be called alone (option -rm-unused-globals). So it should be available in the next release of Frama-C. Hope this will answer to your request. -- Anne.