On Tue, Dec 07, 2021 at 01:33:56PM +0000, Richard Palethorpe wrote: > Hello Sparse contributors, Hi, Please accept my apologies for replying so lately. > After trying a number of static analysis tools we settled on Sparse to > roll our own C checks. Nice! > We use a mixture of the linearized form and AST. If you are interested > please see: > https://github.com/linux-test-project/ltp/blob/master/tools/sparse/ > Also I will attach the main code to the body of this e-mail it is only > 283 lines. > > I still don't have a firm grasp on how Sparse works, so any feedback > would be welcome. BTW we include Sparse as a git module and so far there > have been no complaints. I've taken a good look at it and everything look good. I also think that using Sparse as a git module is the good choice. If you have any question, do not hesitate to ask (I should be much more responsive now). Best regards, -- Luc
