Jamie Lokier wrote:
> Which is unfortunate, because I am trying to develop a model for machine
> reasoning about ia32 instruction sequences. To generate better code,
> and to check it. Even in user space, these SMP subtleties are
> important. And I want to analyse kernel code :-)
Binary or source code?
One of things of my todo list is to hack lint or a workalike tool, to
analyze C source code to catch common driver errors... Like a PCI
driver using old pcibios_xxx methods, not using pci_enable_device, etc.
Jeff
-- Jeff Garzik | Nothing cures insomnia like the Building 1024 | realization that it's time to get up. MandrakeSoft, Inc. | -- random fortune- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Sun Apr 23 2000 - 21:00:20 EST