Closed uxmal closed 1 year ago
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.
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
andscanf
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).