Codice CleanC: uno strumento ad hoc per sistemi MPSoCERT