Skip to content

Commit

Permalink
changes before eval
Browse files Browse the repository at this point in the history
  • Loading branch information
kadirayk committed Mar 27, 2023
1 parent 2b3fe90 commit d18ddf3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/main/java/eval/SetUp.java
Original file line number Diff line number Diff line change
Expand Up @@ -156,7 +156,7 @@ protected List<SootMethod> getEntryPointMethods() {
if(isPublicAPI(m)){
m.retrieveActiveBody();
if (m.hasActiveBody()) {
if(m.getSignature().contains("normalizeDocument")){
//if(m.getSignature().contains("normalizeDocument")){
//if(m.getReturnType() instanceof IntegerType && m.getParameterTypes().stream().anyMatch(t->t instanceof IntegerType && !t.equals(BooleanType.v()))){
UnitPatchingChain units = m.getActiveBody().getUnits();
for (Unit unit : units) {
Expand All @@ -171,7 +171,7 @@ protected List<SootMethod> getEntryPointMethods() {
}
}
}
}
//}
}
}
}
Expand Down

0 comments on commit d18ddf3

Please sign in to comment.