soot.jimple.infoflow.rifl

类 RIFLDocument

java.lang.Object

soot.jimple.infoflow.rifl.RIFLDocument

public class RIFLDocument
extends Object

Class representing a full RIFL specification document

作者:

Steven Arzt

嵌套类概要

嵌套类

限定符和类型	类和说明
class	RIFLDocument.Assignable
class	RIFLDocument.Category A category based on a named domain
class	RIFLDocument.DomainAssignment A link between an assignable element and a domain
class	RIFLDocument.DomainSpec Class representing a domain in the RIFL specification
class	RIFLDocument.FlowPair Class representing a pair of domains between which information flow is allowed
class	RIFLDocument.InterfaceSpec The interface specification in a RIFL document (the IO channels through which an attacker can communicate with an application)
class	RIFLDocument.JavaFieldSpec Class that models a static field in Java specified as a source or sink in RIFL
class	RIFLDocument.JavaMethodSourceSinkSpec Abstract base class for source/sink specifications on methods
class	RIFLDocument.JavaParameterSpec Class that models a method parameter in Java specified as a source or sink in RIFL
class	RIFLDocument.JavaReturnValueSpec Class that models the return value of a Java method specified as a source or a sink in a RIFL document
class	RIFLDocument.JavaSourceSinkSpec Instance of the RIFLDocument.SourceSinkSpec class for Java
class	RIFLDocument.SourceSinkSpec Abstract base class for all source and sink specifications in RIFL
static class	RIFLDocument.SourceSinkType An enumeration specifying whether an assignable is a source or a sink

构造器概要

构造器

构造器和说明
RIFLDocument()

方法概要

限定符和类型	方法和说明
boolean	equals(Object obj)
List<RIFLDocument.DomainAssignment>	getDomainAssignment() Gets the list of domain assignments
RIFLDocument.DomainSpec	getDomainByName(String domainName) Gets the flow domain with the given name
List<RIFLDocument.DomainSpec>	getDomains() Gets the list of domains
List<RIFLDocument.FlowPair>	getFlowPolicy() Gets the flow policy as a list of pair of domains between each data flows are allowed
RIFLDocument.InterfaceSpec	getInterfaceSpec() Gets the interface specification
static String	getRIFLSpecVersion() Gets the version number of the RIFL specification modeled by these data classes
int	hashCode()

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

RIFLDocument

public RIFLDocument()

方法详细资料

getInterfaceSpec

public RIFLDocument.InterfaceSpec getInterfaceSpec()

Gets the interface specification

返回:

The interface specification

getDomains

public List<RIFLDocument.DomainSpec> getDomains()

Gets the list of domains

返回:

The list of domains

getDomainByName

public RIFLDocument.DomainSpec getDomainByName(String domainName)

Gets the flow domain with the given name

参数:

domainName - The name of the flow domain to retrieve

返回:

The flow domain with the given name. If no domain with the given name can be found, null is returned.

getDomainAssignment

public List<RIFLDocument.DomainAssignment> getDomainAssignment()

Gets the list of domain assignments

返回:

The list of domain assignments

getFlowPolicy

public List<RIFLDocument.FlowPair> getFlowPolicy()

Gets the flow policy as a list of pair of domains between each data flows are allowed

返回:

The flow policy

getRIFLSpecVersion

public static String getRIFLSpecVersion()

Gets the version number of the RIFL specification modeled by these data classes

返回:

The version number of the RIFL specification

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object