Examples with StringMultipleComparison org.evosuite.symbolic.expr.bv.StringMultipleComparison used on opensource projects

Example 1 with StringMultipleComparison

use of org.evosuite.symbolic.expr.bv.StringMultipleComparison in project evosuite by EvoSuite.

the class RegionMatches5 method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_receiver = (ReferenceConstant) this.getSymbReceiver();
    String conc_receiver = (String) this.getConcReceiver();
    StringValue stringReceiverExpr = env.heap.getField(Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_receiver, symb_receiver, conc_receiver);
    IntegerValue ignoreCaseExpr = new IntegerConstant(0);
    IntegerValue toffsetExpr = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_other = (ReferenceConstant) this.getSymbArgument(1);
    String conc_other = (String) this.getConcArgument(1);
    StringValue otherExpr = env.heap.getField(Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_other, symb_other, conc_other);
    IntegerValue ooffsetExpr = this.getSymbIntegerArgument(2);
    IntegerValue lenExpr = this.getSymbIntegerArgument(3);
    boolean res = this.getConcBooleanRetVal();
    if (stringReceiverExpr.containsSymbolicVariable() || ignoreCaseExpr.containsSymbolicVariable() || toffsetExpr.containsSymbolicVariable() || otherExpr.containsSymbolicVariable() || ooffsetExpr.containsSymbolicVariable() || lenExpr.containsSymbolicVariable()) {
        ArrayList<Expression<?>> other = new ArrayList<Expression<?>>();
        other.add(toffsetExpr);
        other.add(ooffsetExpr);
        other.add(lenExpr);
        other.add(ignoreCaseExpr);
        int conV = res ? 1 : 0;
        StringMultipleComparison strComp = new StringMultipleComparison(stringReceiverExpr, Operator.REGIONMATCHES, otherExpr, other, (long) conV);
        return strComp;
    }
    return this.getSymbIntegerRetVal();
}

Example 2 with StringMultipleComparison

use of org.evosuite.symbolic.expr.bv.StringMultipleComparison in project evosuite by EvoSuite.

the class RegionMatches method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_receiver = (ReferenceConstant) this.getSymbReceiver();
    String conc_receiver = (String) this.getConcReceiver();
    StringValue stringReceiverExpr = env.heap.getField(Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_receiver, symb_receiver, conc_receiver);
    IntegerValue ignoreCaseExpr = this.getSymbIntegerArgument(0);
    IntegerValue toffsetExpr = this.getSymbIntegerArgument(1);
    ReferenceConstant symb_other = (ReferenceConstant) this.getSymbArgument(2);
    String conc_other = (String) this.getConcArgument(2);
    StringValue otherExpr = env.heap.getField(Types.JAVA_LANG_STRING, SymbolicHeap.$STRING_VALUE, conc_other, symb_other, conc_other);
    IntegerValue ooffsetExpr = this.getSymbIntegerArgument(3);
    IntegerValue lenExpr = this.getSymbIntegerArgument(4);
    boolean res = this.getConcBooleanRetVal();
    if (stringReceiverExpr.containsSymbolicVariable() || ignoreCaseExpr.containsSymbolicVariable() || toffsetExpr.containsSymbolicVariable() || otherExpr.containsSymbolicVariable() || ooffsetExpr.containsSymbolicVariable() || lenExpr.containsSymbolicVariable()) {
        ArrayList<Expression<?>> other = new ArrayList<Expression<?>>();
        other.add(toffsetExpr);
        other.add(ooffsetExpr);
        other.add(lenExpr);
        other.add(ignoreCaseExpr);
        int conV = res ? 1 : 0;
        StringMultipleComparison strComp = new StringMultipleComparison(stringReceiverExpr, Operator.REGIONMATCHES, otherExpr, other, (long) conV);
        return strComp;
    }
    return this.getSymbIntegerRetVal();
}

Example 3 with StringMultipleComparison

use of org.evosuite.symbolic.expr.bv.StringMultipleComparison in project evosuite by EvoSuite.

the class DistanceCalculator method visit.

@Override
public Object visit(StringConstraint n, Void arg) {
    Expression<?> exprLeft = n.getLeftOperand();
    Comparator cmpr = n.getComparator();
    double distance = 0.0;
    if (exprLeft instanceof StringBinaryComparison) {
        StringBinaryComparison scTarget = (StringBinaryComparison) exprLeft;
        distance = getStringDistance(scTarget);
        log.debug("Calculating distance of constraint " + n);
    } else if (exprLeft instanceof StringMultipleComparison) {
        StringMultipleComparison scTarget = (StringMultipleComparison) exprLeft;
        distance = getStringDistance(scTarget);
        log.debug("Calculating distance of constraint " + n);
    } else if (exprLeft instanceof HasMoreTokensExpr) {
        HasMoreTokensExpr hasMoreTokensExpr = (HasMoreTokensExpr) exprLeft;
        distance = getStringDistance(hasMoreTokensExpr);
        log.debug("Calculating distance of constraint " + n);
    } else {
        assert (false) : "Invalid string comparison";
    }
    assert (((Long) n.getRightOperand().getConcreteValue()).intValue() == 0);
    if (cmpr == Comparator.NE) {
        return distance;
    } else {
        // if not satisfied Long.MAX_VALUE else
        return distance > 0 ? 0.0 : Double.MAX_VALUE;
    }
}

Example 4 with StringMultipleComparison

use of org.evosuite.symbolic.expr.bv.StringMultipleComparison in project evosuite by EvoSuite.

the class TestStringSearch method testStartsWithFalseConstant.

@Test
public void testStartsWithFalseConstant() {
    List<Constraint<?>> constraints = new ArrayList<Constraint<?>>();
    String var1 = "footest";
    String const2 = "test";
    StringVariable strVar = new StringVariable("test1", var1);
    StringConstant strConst = new StringConstant(const2);
    IntegerConstant offs_expr = new IntegerConstant(3);
    ArrayList<Expression<?>> other = new ArrayList<Expression<?>>();
    other.add(offs_expr);
    StringMultipleComparison strComp = new StringMultipleComparison(strVar, Operator.STARTSWITH, strConst, other, 0L);
    constraints.add(new StringConstraint(strComp, Comparator.EQ, new IntegerConstant(0)));
    EvoSuiteSolver skr = new EvoSuiteSolver();
    Map<String, Object> result;
    try {
        result = solve(skr, constraints);
        assertNotNull(result);
        assertNotNull(result.get("test1"));
        assertFalse((result.get("test1").toString()).startsWith(const2, 3));
    } catch (SolverTimeoutException e) {
        fail();
    }
}

Example 5 with StringMultipleComparison

use of org.evosuite.symbolic.expr.bv.StringMultipleComparison in project evosuite by EvoSuite.

the class TestStringSearch method testRegionMatchesICTrueConstant.

@Test
public void testRegionMatchesICTrueConstant() {
    List<Constraint<?>> constraints = new ArrayList<Constraint<?>>();
    String var1 = "teXto";
    String const2 = "rtestooo";
    boolean ignore_case = true;
    int offset1 = 0;
    int offset2 = 1;
    int len = 4;
    StringVariable strVar = new StringVariable("test1", var1);
    StringConstant strConst = new StringConstant(const2);
    IntegerConstant len_expr = new IntegerConstant(len);
    IntegerConstant offs_one = new IntegerConstant(offset1);
    IntegerConstant offs_two = new IntegerConstant(offset2);
    IntegerConstant ign_case = new IntegerConstant(ignore_case ? 1 : 0);
    ArrayList<Expression<?>> other = new ArrayList<Expression<?>>();
    other.add(offs_one);
    other.add(offs_two);
    other.add(len_expr);
    other.add(ign_case);
    StringMultipleComparison strComp = new StringMultipleComparison(strVar, Operator.REGIONMATCHES, strConst, other, 0L);
    constraints.add(new StringConstraint(strComp, Comparator.NE, new IntegerConstant(0)));
    EvoSuiteSolver skr = new EvoSuiteSolver();
    Map<String, Object> result;
    try {
        result = solve(skr, constraints);
        assertNotNull(result);
        assertNotNull(result.get("test1"));
        assertTrue((result.get("test1").toString()).regionMatches(ignore_case, offset1, const2, offset2, len));
    } catch (SolverTimeoutException e) {
        fail();
    }
}