Analyze multiple modules at a time about kedr

[GoogleCodeExporter]

I agree. The wireless networking stack is another common example where support 
for multiple modules is highly desirable.

This feature has been on my TODO list for quite some time. I have already 
implemented support for multi-module analysis in our data race detector, 
KernelStrider, and will port that code to KEDR when I have time. It is 
manageable but not that easy.

Currently, support for networking drivers in KernelStrider has the highest 
priority for me. When I am done with that (no later than the end of June, I 
hope), I plan to finally add support for analyzing multiple modules to KEDR.

Original comment by [email protected] on 20 May 2013 at 8:54

• Changed state: Accepted
• Added labels: Component-Logic, Type-Enhancement
• Removed labels: Type-Defect