SAFE static analysis tools