Pierre
Pierre
I am also interested in that change. Sadly it seems ssmali fork is no longer maintained, and a lot of unrelated changes were made there (for instance, renaming the package,...
I fixed the formatting issue spotted by uncrustify