> we recently have lots of patches for either adding missing NULL checks,
> removing unneeded ones, etc. Would you like to point any more concrete change examples out? > It seems that's an non-trivial terrain, This area can be also challenging. > so I'm thinking about potential compiler support. Can any more development tools help? > Does anybody know whether gcc has some way for not-null constraints ? Will you get corresponding answers better from other information systems than the mailing list here? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
