Obfuscator does not obfuscate argument name of function pointers (#145) · Issues · pub / frama-c