i read that article here in german heise.de and was very impressive about its capabilities. at least it should be able to recognise bad code and replace it - but it was not mentioned how that new code is verified..