SPA Knowledge Base issues
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues
2021-10-29T23:06:00+08:00
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/26
从2复制来的constantPropagation需要修改吗
2021-10-29T23:06:00+08:00
Ricolove
从2复制来的constantPropagation需要修改吗
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/25
想遍历m的callsite, 用什么函数可以访问方法M的STMT列表或者CFG
2021-10-29T23:05:24+08:00
Ricolove
想遍历m的callsite, 用什么函数可以访问方法M的STMT列表或者CFG
![image](/uploads/8849252c4bd5d4339b14842281a61ae2/image.png)
![image](/uploads/8849252c4bd5d4339b14842281a61ae2/image.png)
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/24
对一个interface去getSubClass不知道能get到啥
2021-10-29T23:02:42+08:00
Ricolove
对一个interface去getSubClass不知道能get到啥
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/23
resolve 里面 c^m 和 c 有什么区别
2021-10-29T23:01:43+08:00
Ricolove
resolve 里面 c^m 和 c 有什么区别
![image](/uploads/90b29f08c92ebe48ef2ca4a86b5c3712/image.png)
![image](/uploads/90b29f08c92ebe48ef2ca4a86b5c3712/image.png)
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/22
resolve 里面没有 cs 是 interface 的情况
2021-10-29T23:00:31+08:00
Ricolove
resolve 里面没有 cs 是 interface 的情况
![image](/uploads/da46e38fa6d3af9dda1ca53a174aa64b/image.png)
![image](/uploads/da46e38fa6d3af9dda1ca53a174aa64b/image.png)
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/21
Subsignature这个类里面的数据是不是没有包括class type
2021-10-29T22:59:38+08:00
Ricolove
Subsignature这个类里面的数据是不是没有包括class type
【路人】191830204 张侃(1550792743) 2021/10/28 16:45:03
Subsignature这个类里面的数据是不是没有包括class type
【路人】191830204 张侃(1550792743) 2021/10/28 16:45:46
源码里只有name,参数列表和返回类型
【路人】191830204 张侃(1550792743) 2021/10/28 16:45:03
Subsignature这个类里面的数据是不是没有包括class type
【路人】191830204 张侃(1550792743) 2021/10/28 16:45:46
源码里只有name,参数列表和返回类型
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/20
写好了之后连续test,每次结果都不一样
2021-10-28T16:49:33+08:00
Ricolove
写好了之后连续test,每次结果都不一样
![image](/uploads/96ad30f3085d52f0b77bff2d7a41060d/image.png)
![image](/uploads/96ad30f3085d52f0b77bff2d7a41060d/image.png)
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/19
DYNAMIC 的调用边是什么
2021-10-28T16:36:56+08:00
Ricolove
DYNAMIC 的调用边是什么
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/18
为啥不给用ClassHierachy.resolveMethod
2021-10-28T16:32:49+08:00
Ricolove
为啥不给用ClassHierachy.resolveMethod
【路人】MG21330037 刘斯宇<a824703398@qq.com> 2021/10/25 22:22:49
请问为啥不给用ClassHierachy.resolveMethod啊,是有什么特殊原因吗
【路人】MG21330037 刘斯宇<a824703398@qq.com> 2021/10/25 22:22:49
请问为啥不给用ClassHierachy.resolveMethod啊,是有什么特殊原因吗
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/17
Assignment 4 的工作量好大
2021-10-28T16:26:48+08:00
Ricolove
Assignment 4 的工作量好大
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/16
对于当前的stmt要怎么获得它的值呢
2021-10-23T15:43:00+08:00
Ricolove
对于当前的stmt要怎么获得它的值呢
【路人】MF21330041蒋雨宸<jyt1999615@qq.com> 2021/10/18 21:32:26
请问 对于当前的stmt要怎么获得它的值呢
【路人】MF21330041蒋雨宸<jyt1999615@qq.com> 2021/10/18 21:43:10
想做分支跳转但不知道怎么获得stmt的值
【路人】MF21330041蒋雨宸<jyt1999615@qq.com> 2021/10/18 22:29:36
我想的获得的是if判断的true o...
【路人】MF21330041蒋雨宸<jyt1999615@qq.com> 2021/10/18 21:32:26
请问 对于当前的stmt要怎么获得它的值呢
【路人】MF21330041蒋雨宸<jyt1999615@qq.com> 2021/10/18 21:43:10
想做分支跳转但不知道怎么获得stmt的值
【路人】MF21330041蒋雨宸<jyt1999615@qq.com> 2021/10/18 22:29:36
我想的获得的是if判断的true or false,以及Switch的值
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/15
该怎么遍历才能遍历完两个map呀(优雅)
2021-10-14T16:15:06+08:00
Ricolove
该怎么遍历才能遍历完两个map呀(优雅)
【路人】MF21330105杨嵘<troy564102478@qq.com> 2021/10/13 10:26:59
![image](/uploads/afe3a7004ef3fc7d06de6d8ea316567d/image.png)
这玩意该怎么遍历才能遍历完两个map呀(优雅)
【路人】MF21330105杨嵘<troy564102478@qq.com> 2021/10/13 10:26:59
![image](/uploads/afe3a7004ef3fc7d06de6d8ea316567d/image.png)
这玩意该怎么遍历才能遍历完两个map呀(优雅)
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/14
DefinitionStmt.getLValue 为啥可能会是null啊?
2021-10-14T21:29:02+08:00
Ricolove
DefinitionStmt.getLValue 为啥可能会是null啊?
【路人】MG21330018-丁翔(1092951986) 2021/10/13 15:36:38
DefinitionStmt.getLValue 为啥可能会是null啊?DefinitionStmt 的形式不是 exp1 = exp2 吗、
【路人】MG21330018-丁翔(1092951986) 2021/10/13 15:36:38
DefinitionStmt.getLValue 为啥可能会是null啊?DefinitionStmt 的形式不是 exp1 = exp2 吗、
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/13
单目取负操作是不是不需要考虑?
2021-10-14T15:57:48+08:00
Ricolove
单目取负操作是不是不需要考虑?
【路人】DZ21330014-李骁(924273413) 2021/10/12 17:08:27
求问单目取负操作是不是不需要考虑?比如 a=1, temp$1=-a 这样的IR,输出是 {a=1, temp$1=NAC}?
【路人】DZ21330014-李骁(924273413) 2021/10/12 17:08:27
求问单目取负操作是不是不需要考虑?比如 a=1, temp$1=-a 这样的IR,输出是 {a=1, temp$1=NAC}?
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/12
两个IR一样的代码,分析结果不一样
2021-10-14T15:54:25+08:00
Ricolove
两个IR一样的代码,分析结果不一样
【路人】DZ21330014-李骁(924273413) 2021/10/11 22:08:30
请教大家一个问题,constant1和constant2这两个方法:
![image](/uploads/8bcb7952038f4b5d2fd0961daf7c06a3/image.png)
他们的IR都长这样:
![image](/uploads/1983d9b95e0ee5a361e6136e17fc3d79/image.png)
在constant2这个...
【路人】DZ21330014-李骁(924273413) 2021/10/11 22:08:30
请教大家一个问题,constant1和constant2这两个方法:
![image](/uploads/8bcb7952038f4b5d2fd0961daf7c06a3/image.png)
他们的IR都长这样:
![image](/uploads/1983d9b95e0ee5a361e6136e17fc3d79/image.png)
在constant2这个方法里,在8:nop处meet的时候得到了{a=NAC}的结果,这个没什么问题。
而在constant1这个方法里,虽然两个分支里的a其实是不同的变量,但IR中还是把他们都处理为a了。然后我就遇到一个问题,在8: nop这个程序点meet的时候,框架里的MapFact似乎认为分支1里的a和分支2里的a不是同一个Var……于是合并出了{a=1, a=2}这样的结果,而不是{a=NAC}。
按理说,constant1和constant2的IR“长得一样”,结果应该也一样……这是为什么呢?
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/11
切分basic block的逻辑
2021-10-14T15:51:39+08:00
Ricolove
切分basic block的逻辑
【路人】MG21330037 刘斯宇<a824703398@qq.com> 2021/10/11 20:58:42
写完之后有个疑问,就是我似乎没看到切分basic block的逻辑?
【路人】MG21330037 刘斯宇<a824703398@qq.com> 2021/10/11 20:58:42
写完之后有个疑问,就是我似乎没看到切分basic block的逻辑?
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/10
对int之外类型的操作是什么
2021-10-13T22:28:18+08:00
Ricolove
对int之外类型的操作是什么
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 20:08:20
可是文档没有规定对int之外类型的操作是什么啊
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 20:08:29
NAC,UNDEF还是直接不管
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 20:12:16
那float a=2;
int b=...
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 20:08:20
可是文档没有规定对int之外类型的操作是什么啊
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 20:08:29
NAC,UNDEF还是直接不管
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 20:12:16
那float a=2;
int b=(int)a;怎么算
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/9
restrictTo 这里为什么是UNDEF
2021-10-13T22:26:28+08:00
Ricolove
restrictTo 这里为什么是UNDEF
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 16:19:00
![image](/uploads/57e47adc442d214e5392c682a3afeb3d/image.png)
请问这个为什么是UNDEF?
【路人】191830058-黄铭昊<sea@infstudio.net> 2021/10/11 16:19:00
![image](/uploads/57e47adc442d214e5392c682a3afeb3d/image.png)
请问这个为什么是UNDEF?
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/8
CPFact的equals方法为什么是抛出一个异常
2021-10-14T19:40:43+08:00
Ricolove
CPFact的equals方法为什么是抛出一个异常
【路人】MG21330075 赵文正(914635416) 2021/10/11 12:52:12
CPFact的equals方法为什么是抛出一个异常啊
【路人】MG21330075 赵文正(914635416) 2021/10/11 12:52:12
CPFact的equals方法为什么是抛出一个异常啊
https://git.nju.edu.cn/Ricolove/spa-knowledge-base/-/issues/7
WorklistSolver里面Node是泛型,但是泛型数组和集合貌似不能实例化,那我该怎么建立worklist
2021-10-13T22:21:36+08:00
Ricolove
WorklistSolver里面Node是泛型,但是泛型数组和集合貌似不能实例化,那我该怎么建立worklist
【路人】MF21330039 黄元顺(1282676941) 2021/10/11 12:42:33
请问一下,WorklistSolver里面Node是泛型,但是泛型数组和集合貌似不能实例化,那我该怎么建立worklist呀?
【路人】MF21330039 黄元顺(1282676941) 2021/10/11 12:42:33
请问一下,WorklistSolver里面Node是泛型,但是泛型数组和集合貌似不能实例化,那我该怎么建立worklist呀?