Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance. Project price only 1 $
You can buy this project and download/modify it how often you want.
/*
* Tai-e: A Static Analysis Framework for Java
*
* Copyright (C) 2022 Tian Tan
* Copyright (C) 2022 Yue Li
*
* This file is part of Tai-e.
*
* Tai-e is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License
* as published by the Free Software Foundation, either version 3
* of the License, or (at your option) any later version.
*
* Tai-e is distributed in the hope that it will be useful,but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General
* Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with Tai-e. If not, see .
*/
package pascal.taie.analysis.pta.plugin.taint;
import pascal.taie.util.collection.Lists;
import java.util.List;
/**
* Configuration for taint analysis.
*/
public record TaintConfig(List sources,
List sinks,
List transfers,
List paramSanitizers,
boolean callSiteMode) {
/**
* An empty taint config.
*/
public static final TaintConfig EMPTY = new TaintConfig(
List.of(), List.of(), List.of(), List.of(), false);
/**
* Merges this taint config with other taint config.
* @return a new merged taint config.
*/
public TaintConfig mergeWith(TaintConfig other) {
return new TaintConfig(
Lists.concatDistinct(sources, other.sources),
Lists.concatDistinct(sinks, other.sinks),
Lists.concatDistinct(transfers, other.transfers),
Lists.concatDistinct(paramSanitizers, other.paramSanitizers),
callSiteMode || other.callSiteMode);
}
@Override
public String toString() {
StringBuilder sb = new StringBuilder("TaintConfig:");
if (!sources.isEmpty()) {
sb.append("\nsources:\n");
sources.forEach(source ->
sb.append(" - ").append(source).append("\n"));
}
if (!sinks.isEmpty()) {
sb.append("\nsinks:\n");
sinks.forEach(sink ->
sb.append(" - ").append(sink).append("\n"));
}
if (!transfers.isEmpty()) {
sb.append("\ntransfers:\n");
transfers.forEach(transfer ->
sb.append(" - ").append(transfer).append("\n"));
}
if (!paramSanitizers.isEmpty()) {
sb.append("\nsanitizers:\n");
paramSanitizers.forEach(sanitizer ->
sb.append(" - ").append(sanitizer).append("\n"));
}
if (callSiteMode) {
sb.append("\ncallSiteMode: true\n");
}
return sb.toString();
}
}
