boomerang.scene.jimple.IntAndStringBoomerangOptions Maven / Gradle / Ivy
/**
* ***************************************************************************** Copyright (c) 2018
* Fraunhofer IEM, Paderborn, Germany. This program and the accompanying materials are made
* available under the terms of the Eclipse Public License 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0.
*
* SPDX-License-Identifier: EPL-2.0
*
*
Contributors: Johannes Spaeth - initial API and implementation
* *****************************************************************************
*/
package boomerang.scene.jimple;
import boomerang.DefaultBoomerangOptions;
import boomerang.scene.AllocVal;
import boomerang.scene.DeclaredMethod;
import boomerang.scene.Method;
import boomerang.scene.Statement;
import boomerang.scene.Val;
import java.util.Optional;
public class IntAndStringBoomerangOptions extends DefaultBoomerangOptions {
public boolean isAllocationVal(Val val) {
if (val.isIntConstant()) {
return true;
}
return super.isAllocationVal(val);
}
protected boolean isArrayAllocationVal(Val val) {
return val.isArrayAllocationVal();
}
@Override
public Optional getAllocationVal(Method m, Statement stmt, Val fact) {
if (!(stmt.isAssign())) {
return Optional.empty();
}
if (!stmt.getLeftOp().equals(fact)) {
return Optional.empty();
}
if (stmt.getRightOp().isLengthExpr()) {
return Optional.of(new AllocVal(stmt.getLeftOp(), stmt, stmt.getRightOp()));
}
if (stmt.getRightOp().isIntConstant()) {
return Optional.of(new AllocVal(stmt.getLeftOp(), stmt, stmt.getRightOp()));
}
if (stmt.containsInvokeExpr()) {
// AtomicReference returnValue = new AtomicReference<>();
// icfg.addCalleeListener(new AllocationValCalleeListener(returnValue, as, icfg, m));
// if (returnValue.get() != null){
// return Optional.of(returnValue.get());
// }
DeclaredMethod method = stmt.getInvokeExpr().getMethod();
if (method.toString().equals("")) {
Val arg = stmt.getInvokeExpr().getArg(0);
return Optional.of(new AllocVal(stmt.getLeftOp(), stmt, arg));
}
}
return super.getAllocationVal(m, stmt, fact);
}
@Override
public boolean trackStrings() {
return true;
}
}