Julia and I had discussed the possibility to instrument Linux code as an alternative to complex debugging strategies (lockdep is one) that often may be frowned upon due to how intrusive some changes may be or how much extra stuff would be needed upstream. It has been hard to explain the idea to folks who might make some use of it so I've gone ahead and created a demo tree for userspace code that shows some basic instrumentation ideas. You can fetch it here:
https://git.kernel.org/pub/scm/linux/kernel/git/mcgrof/cocci-tact.git Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
