> STCheck does interprocedural analysis, and has some features for path > sensitivity.
How do you think about to add any related information for such technology? > I haven't looked at these specific reports in detail > …, but in general, the kinds of bugs found by STCheck may be difficult Would you like to adjust remaining difficulties? > or inconvenient to find with Coccinelle. Can inconveniences be reduced any further for discussed software analysis approaches? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
