Tai-e-assignments

Tai-e-assignments copied to clipboard

current implementation of Value's hashCode is: ` public int hashCode() { return value; } ` but this will result in `Value.makeConstant(0).hashCode() ` equals ` Value.getNAC().hashCode()` and `Value.getUndef().hashCode()` and thus a...

cydonialis

Question about A2 (ConstProp) - Shadowed by another constant or NAC ?

1

In the test case Assign, analyzing the following code in function Assign.assign(): ``` void assign() { int x = 1, y; x = 2; x = 3; x = 4;...

werifu

**What happened:** I actually found this out by accident, my **Solver.java**'s visitor pattern had a misplaced context in one place, but A6's OJ didn't check for it until I got...

TekkenSteve

各位老师好，有个入门的问题想请教一下 小弟发现一个问题，以A1为例，每回改写完Tai-e-assignments/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/LiveVariableAnalysis.java之后，如果调用JTest，我发现程序就没发生变化，除了isForward有变化外，其他的函数都没任何反应，准确的说，应该是除了isForward，其他函数没有被执行。比如执行gradlew test，即便java的源码改了，从测试工具上也看不到变化； 是因为“initializeBackward”没有正确写对吗？ 不知道，我说的情况有没有人见过，应该如何解决？

Shaquille-Wu

The check mechanism in testcase method `deadLoop()` inside "Loops.java" is inproper. I must add `cfg.exitNode()`, which is `nop`, to the visited nodes at first to get passed. However, according to...

NyxWh1sper

I spent almost 1 day to find the bug....finally, i found that i modified the test.java file which is the sample test file in resources , so that I got...

LinKiN-1111

Sepush

 红圈处 int 应为 in

Waryc