SMAT-Lab / Scalpel

Scalpel: The Python Static Analysis Framework
Apache License 2.0
278 stars 42 forks source link

SSA class: Handling of tupels #42

Closed mj-support closed 1 year ago

mj-support commented 2 years ago

Currently the SSA class is not able to detect assignment to variables in a tuple. For example, if we want to detect the value of the variable "a" in the following code example, the SSA-class does not provide any result.

a, b = 1, 2

Jarvx commented 2 years ago

Hi @mj-support , thanks for raising this. if the tuple has the same number of elements as its right, then we can handle. Do you see some concrete example code from GitHub or somewhere? I mean can you offer some real-world example code snippets?