Mike Goodwin wrote:
I hear you, being in a similar situation myself. I believe I roughly
understand what is going on (though mostly I only care about up until
the parsing stage), but not well enough to explain.
....
One thing I think might be useful, and likely fun to create, is a C interpreter
on top of Sparse. As far as possible, it should use the Sparse data structures
directly (speed is of tertiary concern).
I believe having this would make it easier to understand some of the data
structures in Sparse.
Cheers,
Tommy
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
