Software tools for untangling safety-critical source code