Interesting idea. But how do we catch logical errors in the code ? Static analysis tools have no idea how the application should work. For now making small changes and reviewing is my app to handle this problem.