Compilationerrors after injecting bugs using function args

[horlabs]

Hey,
when I tried to compile the file-program ("example"/default in the init-script) with bugs, I got many errors if the scripts using function args to inject the bugs. Because of the new args there are several errors in attribute(format(printf, x, y) (new argument for this function, but x and y weren't actualized) and function prototypes inside a c-file weren't changed either.

Using globals instead of function args works fine.

[moyix]

Yes, the implementation of data flow through arguments is somewhat flaky in this version. We have updates that make it more reliable that we are hoping to push to here pretty soon.

[AndrewFasano]

This is now fixed for the provided File target through pre-processing and removing the attributes. We've described the process for doing this in our documentation on adding new targets.

That said, this isn't a great solution. We could instead do something where we rewrite attributes for the functions we're adding data_flow to, but this might only work for a subset of possible attributes.