| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.rifl |
| 限定符和类型 | 方法和说明 |
|---|---|
RIFLDocument.DomainSpec |
RIFLDocument.DomainAssignment.getDomain()
Gets the domain the source or sink is associated with
|
RIFLDocument.DomainSpec |
RIFLDocument.getDomainByName(String domainName)
Gets the flow domain with the given name
|
RIFLDocument.DomainSpec |
RIFLDocument.FlowPair.getFirstDomain()
Gets the first domain in the pair, i.e. the start domain of the
information flow
|
RIFLDocument.DomainSpec |
RIFLDocument.FlowPair.getSecondDomain()
Gets the second domain in the pair, i.e. the target domain of the
information flow
|
| 限定符和类型 | 方法和说明 |
|---|---|
List<RIFLDocument.DomainSpec> |
RIFLDocument.getDomains()
Gets the list of domains
|
| 构造器和说明 |
|---|
DomainAssignment(RIFLDocument.Assignable sourceOrSink,
RIFLDocument.DomainSpec domain)
Creates a new instance of the
RIFLDocument.DomainAssignment class |
FlowPair(RIFLDocument.DomainSpec firstDomain,
RIFLDocument.DomainSpec secondDomain)
Creates a new instance of the
RIFLDocument.FlowPair class |
Copyright © 2022 Fraunhofer SIT. All rights reserved.