search

CodeShield-Security / SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework
Eclipse Public License 2.0
66 stars 12 forks source link

Crashing about ClassCastException #30

Open canliture opened 3 years ago

canliture commented 3 years ago

According to README Examples, I have tried to run a IDEal example inference.example.Main, but it crashed, and the output was:

java.lang.ClassCastException: boomerang.scene.jimple.JimpleVal cannot be cast to boomerang.scene.AllocVal
    at boomerang.WeightedBoomerang.forwardSolve(WeightedBoomerang.java:1176)
        ...

here https://github.com/CodeShield-Security/SPDS/blob/1179227ac213e363ee6f5aa9bafc88ddff500062/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java#L1176

I changed it to 

var = query.var();

and there is no the crash.

struce2 commented 1 year ago

the same problem...

johspaeth commented 1 year ago

@struce2 can you please prepare a PR with the fix? I am happy to check it then.

struce2 commented 1 year ago

@struce2 can you please prepare a PR with the fix? I am happy to check it then.

i will try to fix it, but i dot known if it's correct