Examples with StringValue org.evosuite.symbolic.expr.str.StringValue used on opensource projects

Example 21 with StringValue

use of org.evosuite.symbolic.expr.str.StringValue in project evosuite by EvoSuite.

the class StringBuilder_Init method executeFunction.

@Override
public Object executeFunction() {
    // symbolic receiver (new object)
    ReferenceConstant symb_str_builder = (ReferenceConstant) this.getSymbReceiver();
    // string argument
    String conc_str = (String) this.getConcArgument(0);
    ReferenceExpression symb_str = this.getSymbArgument(0);
    if (symb_str instanceof ReferenceConstant) {
        ReferenceConstant non_null_symb_string = (ReferenceConstant) symb_str;
        assert conc_str != null;
        StringValue strExpr = env.heap.getField(Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_str, non_null_symb_string, conc_str);
        // update symbolic heap
        env.heap.putField(Types.JAVA_LANG_STRING_BUILDER, SymbolicHeap.$STRING_BUILDER_CONTENTS, null, symb_str_builder, strExpr);
    }
    // return void
    return null;
}

Example 22 with StringValue

use of org.evosuite.symbolic.expr.str.StringValue in project evosuite by EvoSuite.

the class Reader_Read method executeFunction.

@Override
public Object executeFunction() {
    Reader conc_reader = (Reader) this.getConcReceiver();
    if (conc_reader instanceof StringReader) {
        ReferenceConstant symb_str_reader = this.getSymbReceiver();
        StringReader conc_str_reader = (StringReader) conc_reader;
        StringReaderExpr stringReaderExpr = (StringReaderExpr) env.heap.getField(Types.JAVA_IO_STRING_READER, SymbolicHeap.$STRING_READER_VALUE, conc_str_reader, symb_str_reader);
        if (stringReaderExpr != null && stringReaderExpr.containsSymbolicVariable()) {
            StringValue symb_string = stringReaderExpr.getString();
            String conc_string = symb_string.getConcreteValue();
            int currPosition = stringReaderExpr.getReaderPosition();
            if (currPosition < conc_string.length()) {
                // update symbolic string reader
                currPosition++;
                int conc_string_reader_value;
                if (currPosition >= conc_string.length()) {
                    conc_string_reader_value = -1;
                } else {
                    conc_string_reader_value = conc_string.charAt(currPosition);
                }
                StringReaderExpr newStringReaderExpr = new StringReaderExpr((long) conc_string_reader_value, symb_string, currPosition);
                env.heap.putField(Types.JAVA_IO_STRING_READER, SymbolicHeap.$STRING_READER_VALUE, conc_str_reader, symb_str_reader, newStringReaderExpr);
            }
            // returns STRING_READER(string,currPosition)
            return stringReaderExpr;
        }
    }
    return this.getSymbIntegerRetVal();
}

Example 23 with StringValue

use of org.evosuite.symbolic.expr.str.StringValue in project evosuite by EvoSuite.

the class I_ParseInt method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_string_ref = (ReferenceConstant) this.getSymbArgument(0);
    String conc_string = (String) this.getConcArgument(0);
    int conc_integer = this.getConcIntRetVal();
    StringValue symb_string_value = env.heap.getField(org.evosuite.symbolic.vm.regex.Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_string, symb_string_ref, conc_string);
    long longValue = (long) conc_integer;
    StringToIntegerCast parse_int_value = new StringToIntegerCast(symb_string_value, longValue);
    return parse_int_value;
}

Example 24 with StringValue

use of org.evosuite.symbolic.expr.str.StringValue in project evosuite by EvoSuite.

the class StringReader_Read method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_str_reader = this.getSymbReceiver();
    StringReader conc_str_reader = (StringReader) this.getConcReceiver();
    StringReaderExpr stringReaderExpr = (StringReaderExpr) env.heap.getField(Types.JAVA_IO_STRING_READER, SymbolicHeap.$STRING_READER_VALUE, conc_str_reader, symb_str_reader);
    if (stringReaderExpr != null && stringReaderExpr.containsSymbolicVariable()) {
        StringValue symb_string = stringReaderExpr.getString();
        String conc_string = symb_string.getConcreteValue();
        int currPosition = stringReaderExpr.getReaderPosition();
        if (currPosition < conc_string.length()) {
            // update symbolic string reader
            currPosition++;
            int conc_string_reader_value;
            if (currPosition >= conc_string.length()) {
                conc_string_reader_value = -1;
            } else {
                conc_string_reader_value = conc_string.charAt(currPosition);
            }
            StringReaderExpr newStringReaderExpr = new StringReaderExpr((long) conc_string_reader_value, symb_string, currPosition);
            env.heap.putField(Types.JAVA_IO_STRING_READER, SymbolicHeap.$STRING_READER_VALUE, conc_str_reader, symb_str_reader, newStringReaderExpr);
        }
        // returns STRING_READER(string,currPosition)
        return stringReaderExpr;
    }
    return this.getSymbIntegerRetVal();
}

Example 25 with StringValue

use of org.evosuite.symbolic.expr.str.StringValue in project evosuite by EvoSuite.

the class StringReader_Init method executeFunction.

@Override
public Object executeFunction() {
    // symbolic receiver (new object)
    ReferenceConstant symb_str_reader = (ReferenceConstant) this.getSymbReceiver();
    // string argument
    String conc_str = (String) this.getConcArgument(0);
    ReferenceExpression symb_str = this.getSymbArgument(0);
    if (symb_str instanceof ReferenceConstant) {
        ReferenceConstant non_null_symb_string = (ReferenceConstant) symb_str;
        assert conc_str != null;
        StringValue strExpr = env.heap.getField(Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_str, non_null_symb_string, conc_str);
        if (strExpr.containsSymbolicVariable()) {
            int conc_string_reader_value;
            if (conc_str.length() == 0) {
                conc_string_reader_value = -1;
            } else {
                conc_string_reader_value = conc_str.charAt(0);
            }
            StringReaderExpr newStringReaderExpr = new StringReaderExpr((long) conc_string_reader_value, strExpr);
            // update symbolic heap
            env.heap.putField(Types.JAVA_IO_STRING_READER, SymbolicHeap.$STRING_READER_VALUE, null, symb_str_reader, newStringReaderExpr);
        }
    }
    // constructor returns void
    return null;
}