soot.jimple.infoflow.results.xml

类 InfoflowResultsSerializer

java.lang.Object

soot.jimple.infoflow.results.xml.InfoflowResultsSerializer

public class InfoflowResultsSerializer
extends Object

Class for serializing FlowDroid results to XML

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected InfoflowConfiguration	config
static int	FILE_FORMAT_VERSION
protected IInfoflowCFG	icfg
protected boolean	serializeTaintPath
protected long	startTime

构造器概要

构造器

构造器和说明
InfoflowResultsSerializer(IInfoflowCFG cfg, InfoflowConfiguration config) Creates a new instance of the InfoflowResultsSerializer class
InfoflowResultsSerializer(InfoflowConfiguration config) Creates a new instance of the InfoflowResultsSerializer class

方法概要

限定符和类型	方法和说明
void	serialize(InfoflowResults results, String fileName) Serializes the given FlowDroid result object into the given file
void	setSerializeTaintPath(boolean serialize) Sets whether the taint propagation path shall be serialized along with the respective data flow result
protected void	writeAccessPath(AccessPath accessPath, XMLStreamWriter writer) Writes the given access path into the given XML stream writer
protected void	writeAdditionalSinkInfo(ResultSinkInfo sink, XMLStreamWriter writer) Derived classes can override this method to write out additional information about a data flow sink
protected void	writeAdditionalSourceInfo(ResultSourceInfo source, XMLStreamWriter writer) Derived classes can override this method to write out additional information about a data flow source
protected void	writeDataFlows(InfoflowResults results, XMLStreamWriter writer) Writes the given data flow results into the given XML stream writer

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

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

字段详细资料

FILE_FORMAT_VERSION

public static final int FILE_FORMAT_VERSION

另请参阅:

常量字段值

serializeTaintPath

protected boolean serializeTaintPath

icfg

protected IInfoflowCFG icfg

config

protected InfoflowConfiguration config

startTime

protected long startTime

构造器详细资料

InfoflowResultsSerializer

public InfoflowResultsSerializer(InfoflowConfiguration config)

Creates a new instance of the InfoflowResultsSerializer class

参数:

config - The configuration of the data flow

InfoflowResultsSerializer

public InfoflowResultsSerializer(IInfoflowCFG cfg,
                                 InfoflowConfiguration config)

Creates a new instance of the InfoflowResultsSerializer class

参数:

cfg - The control flow graph to be used for obtaining additional information such as the methods containing source or sink statements

config - The configuration of the data flow

方法详细资料

serialize

public void serialize(InfoflowResults results,
                      String fileName)
               throws XMLStreamException,
                      IOException

Serializes the given FlowDroid result object into the given file

参数:

results - The result object to serialize

fileName - The target file name

抛出:

XMLStreamException - Thrown if the XML data cannot be written

IOException - Thrown if the target file could not be written

writeDataFlows

protected void writeDataFlows(InfoflowResults results,
                              XMLStreamWriter writer)
                       throws XMLStreamException

Writes the given data flow results into the given XML stream writer

参数:

results - The results to write out

writer - The stream writer into which to write the results

抛出:

XMLStreamException - Thrown if the XML data cannot be written

writeAdditionalSourceInfo

protected void writeAdditionalSourceInfo(ResultSourceInfo source,
                                         XMLStreamWriter writer)
                                  throws XMLStreamException

Derived classes can override this method to write out additional information about a data flow source

参数:

source - The source information to write out

writer - The stream writer into which to write the results

抛出:

XMLStreamException - Thrown if the XML data cannot be written

writeAdditionalSinkInfo

protected void writeAdditionalSinkInfo(ResultSinkInfo sink,
                                       XMLStreamWriter writer)
                                throws XMLStreamException

Derived classes can override this method to write out additional information about a data flow sink

参数:

sink - The sink information to write out

writer - The stream writer into which to write the results

抛出:

XMLStreamException - Thrown if the XML data cannot be written

writeAccessPath

protected void writeAccessPath(AccessPath accessPath,
                               XMLStreamWriter writer)
                        throws XMLStreamException

Writes the given access path into the given XML stream writer

参数:

accessPath - The access path to write out

writer - The stream writer into which to write the data

抛出:

XMLStreamException - Thrown if the XML data cannot be written

setSerializeTaintPath

public void setSerializeTaintPath(boolean serialize)

Sets whether the taint propagation path shall be serialized along with the respective data flow result

参数:

serialize - True if taint propagation paths shall be serialized, otherwise false