congrats Icon
New! Tabnine Pro 14-day free trial
Start a free trial
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

  • Finding current android device location
  • getSupportFragmentManager (FragmentActivity)
  • requestLocationUpdates (LocationManager)
  • addToBackStack (FragmentTransaction)
  • SocketException (java.net)
    This SocketException may be thrown during socket creation or setting options, and is the superclass
  • StringTokenizer (java.util)
    Breaks a string into tokens; new code should probably use String#split.> // Legacy code: StringTo
  • ZipFile (java.util.zip)
    This class provides random read access to a zip file. You pay more to read the zip file's central di
  • SSLHandshakeException (javax.net.ssl)
    The exception that is thrown when a handshake could not be completed successfully.
  • JFileChooser (javax.swing)
  • IOUtils (org.apache.commons.io)
    General IO stream manipulation utilities. This class provides static utility methods for input/outpu
  • Sublime Text for Python
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

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