public class AbstractionAtSink extends Object
| 构造器和说明 |
|---|
AbstractionAtSink(ISourceSinkDefinition sinkDefinition,
Abstraction abstraction,
soot.jimple.Stmt sinkStmt)
Creates a new instance of the
AbstractionAtSink class |
| 限定符和类型 | 方法和说明 |
|---|---|
boolean |
equals(Object obj) |
Abstraction |
getAbstraction()
Gets the abstraction with which the sink has been reached
|
ISourceSinkDefinition |
getSinkDefinition()
Gets the original definition of the sink that has been reached
|
soot.jimple.Stmt |
getSinkStmt()
Gets the statement that triggered the sink
|
int |
hashCode() |
String |
toString() |
public AbstractionAtSink(ISourceSinkDefinition sinkDefinition, Abstraction abstraction, soot.jimple.Stmt sinkStmt)
AbstractionAtSink classsinkDefinition - The original definition of the sink that has been
reachedabstraction - The abstraction with which the sink has been reachedsinkStmt - The statement that triggered the sinkpublic ISourceSinkDefinition getSinkDefinition()
public Abstraction getAbstraction()
public soot.jimple.Stmt getSinkStmt()
Copyright © 2022 Fraunhofer SIT. All rights reserved.