congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
PointsToAnalysis.reachingObjectsOfArrayElement
Code IndexAdd Tabnine to your IDE (free)

How to use
reachingObjectsOfArrayElement
method
in
soot.PointsToAnalysis

Best Java code snippets using soot.PointsToAnalysis.reachingObjectsOfArrayElement (Showing top 2 results out of 315)

origin: Sable/soot

for (Type t : pa.reachingObjectsOfArrayElement(pts).possibleTypes()) {
 ofcgb.addInvokeArgType(argArray, momc.context(), t);
origin: edu.psu.cse.siis/coal

/**
 * Gets the points-to set for a given value. The value can be, for example, a variable or a field.
 * 
 * @param value A value.
 * @return The points-to set for the input value.
 */
public static PointsToSet getPointsToSetForValue(Value value) {
 if (pointsToAnalysis == null) {
  pointsToAnalysis = Scene.v().getPointsToAnalysis();
 }
 if (value instanceof Local) {
  return pointsToAnalysis.reachingObjects((Local) value);
 } else if (value instanceof InstanceFieldRef) {
  InstanceFieldRef sootFieldRef = (InstanceFieldRef) value;
  PointsToSet refPointsToSet = pointsToAnalysis.reachingObjects((Local) sootFieldRef.getBase());
  return pointsToAnalysis.reachingObjects(refPointsToSet, sootFieldRef.getField());
 } else if (value instanceof StaticFieldRef) {
  StaticFieldRef sootFieldRef = (StaticFieldRef) value;
  return pointsToAnalysis.reachingObjects(sootFieldRef.getField());
 } else if (value instanceof ArrayRef) {
  ArrayRef arrayRef = (ArrayRef) value;
  PointsToSet arrayPointsToSet = pointsToAnalysis.reachingObjects((Local) arrayRef.getBase());
  return pointsToAnalysis.reachingObjectsOfArrayElement(arrayPointsToSet);
 } else {
  return EmptyPointsToSet.v();
 }
}
sootPointsToAnalysisreachingObjectsOfArrayElement

Javadoc

Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.

Popular methods of PointsToAnalysis

  • reachingObjects
    Returns the set of objects pointed to by static field f.

Popular in Java

  • Running tasks concurrently on multiple threads
  • getSharedPreferences (Context)
  • setContentView (Activity)
  • onCreateOptionsMenu (Activity)
  • Table (com.google.common.collect)
    A collection that associates an ordered pair of keys, called a row key and a column key, with a sing
  • BufferedReader (java.io)
    Wraps an existing Reader and buffers the input. Expensive interaction with the underlying reader is
  • GregorianCalendar (java.util)
    GregorianCalendar is a concrete subclass of Calendarand provides the standard calendar used by most
  • Manifest (java.util.jar)
    The Manifest class is used to obtain attribute information for a JarFile and its entries.
  • Reference (javax.naming)
  • IOUtils (org.apache.commons.io)
    General IO stream manipulation utilities. This class provides static utility methods for input/outpu
  • Best IntelliJ plugins
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now