go-callvis 是一个可视化调用调用链路图的静态源码分析工具

它的实现非常简洁

首先看下main.go文件

首先解析了一系列参数然后调用

最后起了一个http服务,可以支持在线可视化


定义在analysis.go文件里,重点是通过下面这个函数进行代码分析的

调用

里面的

加载包里面所有的文件,然后调用

里面的

对源码进行ssa转化

然后找到入口的main函数

就是判断包名和函数名

然后用

的指针分析,进行依赖分析

至此,完成了源码的依赖分析,然后应用dot语言,转化成图像。


SSA在Go1.7中被引入,这个特性对编译器的性能有很大的提高,但是也导致编译过程有些减速。下面来结合网上的资粮和书籍,简单说明一下SSA以及SSA的应用。

SSA 代表 static single-assignment,是一种IR(中间表示代码),要保证每个变量只被赋值一次。这个能帮助简化编译器的优化算法。

 y := 1
y := 2
x := y

比如上面这段代码,y = 1其实是不可用的,这个要通过定义的可达分析来确定y是要用1还是2,而SSA有一个标识符可以称之为版本或者“代“。

 y1 := 1
y2 := 2
x1 := y2

这样就没有任何间接值了。用SSA表示的好处是对于同一个变量的无关使用表示成不同“代”,可以方便很多编译器的优化算法的实现。

指向分析是一种用于分析指针和内存引用所指向的变量或内存地址的静态代码分析技术。指向分析技术是很多更为复杂的代码分析技术的基础,例如编译优化,代码缺陷检测以及指针修改影响分析。

指向分析,是指通过对源程序的分析近似地求出源程序中指针表达式所指向的目标。

go-callvis 源码分析-LMLPHP

go-callvis 源码分析-LMLPHP


本文分享自微信公众号 - golang算法架构leetcode技术php(golangLeetcode)。
如有侵权,请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”,欢迎正在阅读的你也加入,一起分享。

07-02 21:03