search

wala / ML

Eclipse Public License 2.0
24 stars 17 forks source link

Incorrect result value #204

Open khatchad opened 2 weeks ago

khatchad commented 2 weeks ago

https://github.com/wala/ML/blob/b813bde5f9f9a5df87426192aecb8f0b64b1dcc5/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ir/PythonCAstToIRTranslator.java#L992-L993

Why would the object ref and result be the same value (resultVal)?

https://github.com/wala/WALA/blob/1f29f627e1e4415279734bbe16331ee77aa62bb1/cast/src/main/java/com/ibm/wala/cast/ir/ssa/AstInstructionFactory.java#L60

It seems to later get fixed by something.