https://github.com/gaocegege/yet-another-insane

A [interprocedual control flow graph](icfg) generator for scala based on insane
https://github.com/gaocegege/yet-another-insane

Last synced: 14 days ago
JSON representation

A [interprocedual control flow graph](icfg) generator for scala based on insane

• Host: GitHub
• URL: https://github.com/gaocegege/yet-another-insane
• Owner: gaocegege
• Created: 2015-05-07T06:27:17.000Z (over 9 years ago)
• Default Branch: gaoce-5.7
• Last Pushed: 2015-05-22T14:33:50.000Z (over 9 years ago)
• Last Synced: 2024-10-04T20:23:02.329Z (about 1 month ago)
• Language: Scala
• Homepage:
• Size: 16.6 MB
• Stars: 5
• Watchers: 6
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Yet Another Insane

YAI是基于[INSANE](https://github.com/colder/insane)的，过程间Control Flow Graph生成器。给定一个scala文件，可以对其进行静态分析，产生相应的过程间控制流图。

## 示例

### 代码

	object Hello {

		def myPrint(i:String) = {

			print(i)

		}

		def hello() = {

			var myname = "gaocegege"

			if (myname == "gaocegege"){

				myPrint(myname)

			}

		}

	}

### ICFG

	

## Use

可以使用`./workscripts/`下的脚本进行生成。

### 生成icfg的dot文件

	./workscripts/auto.sh 

### 根据dot文件进行绘制

	./workscripts/draw2png.sh 

### clean

	./workscripts/clear.sh

## TODO and BUGLIST

1. [Solved] 如果有print函数，就会报错，不知道使用其他的内置函数会不会有同样的问题，待测试

2. 希望可以添加函数框来表明调用的是什么函数，这样图的可读性会好很多

## Author

* [Ce Gao](https://github.com/gaocegege)

* [Haonan Fu](https://github.com/fhnstephen)

* [Tianyu Xiang](https://github.com/xiangtianyu)