[Wala-wala] Range Value Analysis

10 views

Skip to first unread message

Soha H

unread,

Mar 23, 2020, 2:58:16 PM3/23/20

to WALA discussion and Q&A

Hi,

Does WALA provide a range variable analysis, that is for a given variable the analysis provide for each variable the possible range of assigned values? For example, the variable “int i” can in theory have any possible int value assigned, but from analyzing the source that assigned either 1 to 10 as values to i, one can decide that only 1-10 are the only possible values for that variable. From first glance at WALA classes, I couldn’t find this analysis, but I want to make sure that this is true. Does WALA have Variable range analysis for primitive types?

Thanks!

Soha

_______________________________________________
Wala-wala mailing list
Wala...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/wala-wala

Manu Sridharan

unread,

Mar 23, 2020, 3:51:15 PM3/23/20

to WALA discussion and Q&A

Hi there,

WALA does not have a range value analysis at this time. We would be happy to take a contribution if you build one!