Tai-e-assignments

Tai-e-assignments copied to clipboard

About the A7

4

Hi, everyone, I just meet a strange problem: to maintain corresponding StoreField(`a.f = x`), LoadField(`x = a.f`), StoreArray(`a[*] = x`), LoadArray(`x = a[*]`) statements for variable a, if I use...

SunflowerAries

About the A1

7

How could I get the value from statement? The `Lvalue`class and the `Rvalue`class is not a `Var`class 

Shmily8421

Roderland

About A8 StringAppend

2

I think the mode cs: ci can not pass test, it will show 9 taintflows in output.Anyone have a good idea about optimization?

Peteling

output文件夹中没有生成相应的.dot文件

2

output文件夹中没有生成相应的.dot文件只有options.yml tai-e-plan.yml两个文件

littlejlf

When doing graph traversal, I first chose a LinkedList to maintain all visited nodes. But I can't figure out why there would be a false negative test case. ``` List...

RacerZ-fighting

Question about assignment 4

2

My submission failed on 2 statements of interprocedural constant propagation. Could anyone provide some tips on it? ``` Your submission correctly analyzes 85 out of 85 call sites in test...

IzaiahSun

A4的test case出现NoSuchMethodError

1

### 问题 没有对不相关代码做任何修改，拷贝的是本仓库的最新代码 跑A4的InterCPTest.java的testExample方法出现下面的错误 ``` java.lang.NoSuchMethodError at jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) at jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:77) at jdk.internal.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) at java.lang.reflect.Constructor.newInstanceWithCaller(Constructor.java:499) at java.lang.reflect.Constructor.newInstance(Constructor.java:480) at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:564) at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:591) at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:689) at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:159) at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:173) at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) at...

lssssj

improvement of assignment2

1

I think when `some value*0`, the result should be 0, same for `0/some value` and `0 % some value`, but OJ judged me wrong in testcase `Switch.java` ```java class Switch{...

Z3ratu1

请问Tai-e如何分析单个.java文件？

1

nhjclxc