Frama-C Bug Tracking System - Frama-C
View Issue Details
0002433Frama-CPlug-in > obfuscatorpublic2019-03-26 11:062019-04-09 12:19
virgile 
virgile 
normalminoralways
resolvedfixed 
Frama-C 18-Argon 
Frama-C 19-PotassiumFrama-C 19-Potassium 
0002433: Obfuscator does not obfuscate argument name of function pointers
Using the code given in attachment, the output of `frama-c -obfuscate obf.c` does leak the name of my_arg, the formal parameter of the function pointer typedef'd as func.
No tags attached.
c obf.c (222) 2019-03-26 11:06
https://bts.frama-c.com/file_download.php?file_id=1308&type=bug
Issue History
2019-03-26 11:06virgileNew Issue
2019-03-26 11:06virgileStatusnew => assigned
2019-03-26 11:06virgileAssigned To => signoles
2019-03-26 11:06virgileFile Added: obf.c
2019-04-09 12:19virgileNote Added: 0006761
2019-04-09 12:19virgileStatusassigned => resolved
2019-04-09 12:19virgileFixed in Version => Frama-C 19-Potassium
2019-04-09 12:19virgileResolutionopen => fixed
2019-04-09 12:19virgileAssigned Tosignoles => virgile

Notes
(0006761)
virgile   
2019-04-09 12:19   
Patch incorporated into dev branch, will be part of next release.