文件名称：smg:Java中的符号内存图库
文件大小：132KB
文件格式：ZIP
更新时间：2024-05-19 15:52:16
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(
【文件预览】：
smg-master
----.gitignore(77B)
----README.md(2KB)
----build.gradle(4KB)
----examples()
--------Example02.java(3KB)
--------Example03.java(3KB)
--------Example01.java(2KB)
----src()
--------test()
--------main()
----config()
--------checkstyle()
----.travis.yml(15B)