crossain

摘要：1.背景 中间代码是指一种应用于抽象机器的编程语言，它设计的目的，是用来帮助我们分析计算机程序。在编译的过程中，编译器会在将源代码转换成目标机器上机器码的过程中，先把源代码转换成一种中间的表述形式。 Go语言中提供了SSA包以将源代码转换成静态单赋值形式的中间代码，本文就是对于SSA包源码的解读。本 阅读全文

摘要：1.程序修复现状 1.1程序修复的问题 对于Bug的处理是每一位开发者都必须面对的问题，该处理主要分为四个步骤：知晓故障——定位故障——分析故障——修复故障（打补丁）。人工修复bug基本上就是人工编写代码补丁并检验补丁正确性的过程。在实际应用程序中bug往往是比较难以发现的，因此对于程序的修复也遇到 阅读全文