![]() | |||||||||||||
Messages in this thread |
Am Dienstag, 5. Juni 2007 13:05 schrieb Yoann Padioleau: > Ok. Do you have a preference on the format ? a <file>:<line> format ? > > Is there a place that gathered all those implicit programming rules > (that copy_from_user must not be called inside a spinlock, etc) so that > I can translate them in a script for our tool. How much C does your tool understand? You might basically test for code paths that go to "might_sleep()" Regards Oliver - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/ | ||||||||||||
| Last update: 2007-06-05 11:35 [from the cache] ©2003-2008 | |||||||||||||