Class LocalVariables


  • public class LocalVariables
    extends Object
    Variables which are defined in the scope of a function and may be evaluated through symbolic execution.
    • Method Detail

      • trackableVariables

        public Set<Symbol> trackableVariables()
        Local variables which value may be tracked through symbolic execution of the function body.