YakSSA和语法提示
2023-10-19 10:47:9 Author: mp.weixin.qq.com(查看原文) 阅读量:5 收藏


前言

距离上次和大家分享 SSA 相关的知识已经过去了许久,在这大概两个月的时间里,牛牛可是丝毫没有摸鱼!兢兢业业的完成几个大型 PR 后,在最近的更新的 v1.2.7-sp 2 中,SSA终于从科普文章中的屠龙刀变成了Yak中解析代码的利器。

Yak

有了 SSA 现在我们能做啥!

目前 YakSSA 模块可以完整解析 Yak代码并生成对应的 SSA 格式数据流和控制流分离的指令集,基于此可以方便的进行数据流分析,同时重建的类型系统更进一步提高了静态分析能力。 

简而言之!YakSSA 模块提供了非常不错的程序分析能力!如果经常使用 Yak Runner 的朋友们可能已经注意到,目前的 Yak Runner 错误提示功能已经不只有编译语法报错了,这就得益于 SSA 模块的加入。通过静态分析的错误提示,在大家编写代码的时候可以边写边进行修正,以后再也不用等运行时报错再修改代码了!

目前的 YakRunner 支持以下的程序错误检查:

1

变量未定义

SSA 在生成时就会计算变量的 use-def 链,因此对于各种未定义变量的使用的定位手到擒来!从最简单的单纯使用未定义变量:

到在 a.$b 形式的索引:

再到数据流交汇时可能出现的未定义变量:

甚至在模板字符串中的未定义变量使用:再进一步,如果在闭包函数中使用到了外部变量,但是其实外部根本没有定义该变量呢?或者定义闭包函数时定义了变量,但调用函数时外部变量不存在了呢?YakSSA 仍然可以帮到你!

2

函数参数和返回值检查

在之前,对于大家经常使用(并且真的非常好用)的标准库函数的检查一直不到位,很多时候不熟悉的函数需要查找文档甚至代码的定义才能确定参数以及返回值。现在有了 YakSSA 的检查,将会对这些统统进行静态检查!大家遇到报错也可以立刻修正!对于返回值个数的检查:对于参数的检查:

3

函数错误追踪

另一个经常出现在标准库函数调用的问题就是错误处理, 大家可能会在调用函数时将几个参数全部使用同一个变量接受,这当然是可行的,这个变量将会成为一个列表。但是很多时候大家直接忘记了该函数返回的错误,当这个错误存在的时候,可能该列表其他数据都是无意义甚至引起错误的。错误必须要得到处理,YakSSA 贯彻了这个思路,并且得益于数据流分析,无论这个错误被如何传递,YakSSA可以将这个错误追踪的相当准确。

当然处理错误仍然是非常简单的,在 Yak 内只需要 die(err) 或者使用 ~ 形式的函数调用即可,比 Golang 方便得多,又保证程序流程的正确性,何乐不为呢。

4

函数~ 调用

当使用 ~ 调用的时候,函数最后的错误将会被自动处理,此时的函数返回值将会少一个错误。这大家都知道,但是这意味着我们需要记住大部分函数的返回值数量么?当然不是,现在 YakSSA 将会自动检查函数返回值的数量,包括使用 ~ 调用的情况,同样会去除最后一个错误。但是如果一个函数并没有返回错误的话,是不应该对其使用 ~ 形式的调用的!

下一步!

目前的 YakSSA 静态分析能力已经在 YakRunner 中初步使用起来,但这只是一小步,接下来的一段时间内 Yak 将会继续加强对代码的静态检查,基于此我们还可以做很多有趣的事情!

END

Yak官方资源

Yak 语言官方教程:
https://yaklang.com/docs/intro/
Yakit 视频教程:
https://space.bilibili.com/437503777
Github下载地址:
https://github.com/yaklang/yakit
Yakit官网下载地址:
https://yaklang.com/
Yakit安装文档:
https://yaklang.com/products/download_and_install
Yakit使用文档:
https://yaklang.com/products/intro/
常见问题速查:
https://yaklang.com/products/FAQ

长按识别添加工作人员
开启Yakit进阶之旅


文章来源: https://mp.weixin.qq.com/s?__biz=Mzk0MTM4NzIxMQ==&mid=2247512676&idx=1&sn=7b357a6eac7d21ff91a3bc54dab4a5f2&chksm=c2d1cec0f5a647d6dbf4eef1f442e96b316a2f6f31cfed5d3cb1b6b6eb344b0b8073d2eb14f8&scene=58&subscene=0#rd
如有侵权请联系:admin#unsafe.sh