Hello Luc, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> writes: > 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 That's good to see and thanks for merging my patch! -- Thank you, Richard.
