Getting Constant Value from the parameter of a method

[baileynottingham]

I am analyzing the source code of this line using Wala:

writeFile("File.txt");

I have the IR corresponding to that line of source. I am calling the symbol table of that IR to get that constant value from the parameter of that method. I am getting an error claiming that the parameter isn't a constant but it clearly is. Does anything come up to anyone on why this might not be working?

[juliandolby]

If you give us more detail, we may be able to suggest what is going on. It would be helpful to see your code that uses WALA, so we can see precisely what you are doing.