> This is a classic example of poor scientific journalism and I believe it became so popular due to widespread deficits in scientific literacy. You don’t have to be a neuroscientist to see that there are huge problems with his story. You simply have view this story objectively have a healthy dose of skepticism without quickly deferring to the authority figure. There are simple questions which are never addressed here. What experiment was being done during each PET scan? If the psychopaths and Dr. Fallon were both completing a morality task and they both had low activity in certain regions, THEN that would be something more tangible. This is simply showing a brain picture and not asking questions. We know that people are much more likely to believe something if there is a brain picture associated with it and this is further proof.
* It doesn't use uclibc. The way it works is the guest program is a snapshot of the target program process after it has been linked with its shared libraries. Usually this means it's linked with glibc (but not necessarily -- cyanogenmod programs are linked with bionic).
* Shared libraries: yes, and it doesn't need a header. Not supported yet in the interface. It does need access to the function symbols though.
Hmm are you thinking of open sourcing this at all? It seems much different than klee. Personally I would do a two tier model open source getting trickle down and the closed having extensions and target software companies that use things like coverity