Provide users with capability to add format string characteristics
uxmal opened this issue · comments
Right now, Reko lacks the GUI to add characteristics to procedures. This includes specifying the parser for varargs functions that take format strings (like the printf and scanf families). Consider adding a GUI mechanism or at least document how to do this by editing the Xml of the dcproject or adding a separate .inc file with such annotation).
Commit 7b39b14 implements this. Give it a try, either by editing the procedure in question in the GUI and giving it a varargs formatter of Reko.Libraries.Libc.PrintfFormatParser,Reko.Libraries.Libc or Reko.Libraries.Libc.ScanfFormatParser,Reko.Libraries.Libc as appropriate.