smg:Java中的符号内存图库

概要 SMG是一个Java库，实现了符号存储图的抽象域。 该库应该由静态分析器用于C程序，尤其是那些需要处理指针丰富程序的程序以及那些使用无界动态数据结构的程序。 程式码范例 // First, we use a SMGFactory method to create a new, writable, empty SMG WritableSMG smg = SMGFactory . createWritableSMG(); // We will add integer variables/heap objects CType integerType = CType . getIntType(); // Adds a global variable to SMG of integer type, called 'global_integer' smg . addGlobalVariable(