org.eclipse.steady.cg.soot.SootConfiguration Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of lang-java-reach-soot Show documentation
Soot call graph constructor service
The newest version!
/**
 * This file is part of Eclipse Steady.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
 * SPDX-License-Identifier: Apache-2.0
 * SPDX-FileCopyrightText: Copyright (c) 2018-2020 SAP SE or an SAP affiliate company and Eclipse Steady contributors
 */
package org.eclipse.steady.cg.soot;

/**
 * SootConfiguration class.
 */
public class SootConfiguration {
  /** Constant SOOT_CONFIGURATION_SETTINGS="vulas.reach.soot" */
  public static final String SOOT_CONFIGURATION_SETTINGS = "vulas.reach.soot";
  /** Constant SOOT_VERBOSE="vulas.reach.soot.verbose" */
  public static final String SOOT_VERBOSE = "vulas.reach.soot.verbose";
  /** Constant SOOT_EXCLUSIONS="vulas.reach.soot.exclusions" */
  public static final String SOOT_EXCLUSIONS = "vulas.reach.soot.exclusions";
  /** Constant SOOT_ALLOW_PHANTOM="vulas.reach.soot.allowPhantom" */
  public static final String SOOT_ALLOW_PHANTOM = "vulas.reach.soot.allowPhantom";
  /** Constant SOOT_APP_MODE="vulas.reach.soot.appMode" */
  public static final String SOOT_APP_MODE = "vulas.reach.soot.appMode";
  /** Constant SOOT_NOBODY_FOR_X="vulas.reach.soot.nobodyForX" */
  public static final String SOOT_NOBODY_FOR_X = "vulas.reach.soot.nobodyForX";
  /** Constant SOOT_SPARK="vulas.reach.soot.spark" */
  public static final String SOOT_SPARK = "vulas.reach.soot.spark";
  /** Constant SOOT_SPARK_OTF="vulas.reach.soot.spark.otf" */
  public static final String SOOT_SPARK_OTF = "vulas.reach.soot.spark.otf";
  /** Constant SOOT_SPARK_VTA="vulas.reach.soot.spark.vta" */
  public static final String SOOT_SPARK_VTA = "vulas.reach.soot.spark.vta";
  /** Constant SOOT_SPARK_RTA="vulas.reach.soot.spark.rta" */
  public static final String SOOT_SPARK_RTA = "vulas.reach.soot.spark.rta";
  /** Constant SOOT_ENTRYPOINT_GENERATOR="vulas.reach.soot.entrypointGenerator" */
  public static final String SOOT_ENTRYPOINT_GENERATOR = "vulas.reach.soot.entrypointGenerator";
}