I'm looking for a program analysis frameworks that can help me perform backward slicing on the value of a particular local variable. The function boundaries are clearly defined, and almost always the values are obtained from a global variable somewhere near the start of the function.Are there any Python-libraries/frameworks that I could try using? I'm aware of Angr ; are there any other options that you could suggest?
Python program analysis frameworks
python;program analysis