I think it would be good to have a tool that deals entirely with reporting results in a canonical format. The idea here is that, for example, it's pretty common that a tool wants to report things on a per-basic block basis. I've start making a slow shift toward a "standardized" text format, but this isn't far enough, and it remains too ad-hoc.
Eventually, here's what would be nice:
All tools to attach block meta-data reporter closures. There'd be ways of attaching them for: process/granary exit, thread exit, etc.
All this data would be stored in some convenient / easily parsed data structure. Ideally, it would be compact too.
It would be nice if we could then do things like annotate control-flow graphs with abitrarily reported data.
Beyond these things, this tool should also do things like buffering / streaming results. That is, if you're recording a big trace of stuff, then it would be nice if this tool managed the trace buffer for you.
I think it would be good to have a tool that deals entirely with reporting results in a canonical format. The idea here is that, for example, it's pretty common that a tool wants to report things on a per-basic block basis. I've start making a slow shift toward a "standardized" text format, but this isn't far enough, and it remains too ad-hoc.
Eventually, here's what would be nice:
Beyond these things, this tool should also do things like buffering / streaming results. That is, if you're recording a big trace of stuff, then it would be nice if this tool managed the trace buffer for you.