Kamil Kisiel

I guess there would also be the problem of getting the initial corpus in to the format that gofuzz expects. Would it be useful to have a function that generates...

@dgryski iirc there's a fair bit of overhead in setting up a gob stream since it must also encode / decode the type information. If go-fuzz stays with the model...

Could you please post a link to a minimal package that reproduces this error when running errcheck?

Glad to hear it's working well for you :) I have definitely thought about this some more, but rewriting the whole program using SSA just for this is a lot...

Yes, I'm pretty sure the type analysis done by go.types needs to include all dependencies as well. I don't think using SSA would eliminate this since we would still need...

hm yes, that's true. I'll have to look in to it some more when I have time, I'm pretty sure when I originally wrote errcheck that wasn't possible to do.

but the APIs of all the type-related packages have evolved a lot since then.

I agree. Will have to learn about using the SSA package to figure out how to do this. If you have any ideas or examples any help would be welcome....

I think it still falls in the scope of this package, maybe it will get added at some point

Seems like it might be useful in theory, not sure what the UI would look like though