switch-case语句的result.json只有第一个case的label部分

[kxdkxd]

在实际测试当中，发现switch-case语句，我在MethodSSAVistor.kt中将SSA后的Jimple IR保存到了文件，在ssa后的jimple语句当中查看，只走了第一个case的goto label，然后这个label刚好又是最后一个label，case当中其他对应的分支对应的label当中出现的同样的函数污点，但是就没有在result.json里面出现，但是在html当中出现了高亮。

[nkbai]

可以把具体的结果发出来看看么?
appshark的分析是上下文不敏感，流不敏感的分析，所以与多少个case是没什么关系的。