use-ghost-functions

[rshariffdeen]

Hi @ChrisTimperley
can we enable this option by default? we only use this for memory-overflow bugs, and having this by default would be better than enabling for each bug in config.

[ChrisTimperley]

I'm hesitant to enable this by default and then forget to disable it. As an alternative, I could automatically enable this option if we use -fsanitize=address?

[rshariffdeen]

that should also be fine, but there is no reason to disable it?