Package de.foellix.aql.converter.flowdroid

Class ConverterFD

java.lang.Object

de.foellix.aql.converter.flowdroid.ConverterFD

All Implemented Interfaces:

IConverter

public class ConverterFD
extends Object
implements IConverter

Constructor Summary

Constructors

Constructor	Description
ConverterFD()

Method Summary

Modifier and Type	Method	Description
Answer	parse(ConverterTask task)	Converts a tool's result.
File	recoverResultFromOutput(List<String> output, File expectedResultFile)	When a tool fails there is a a chance to recover its result from the tool's output and store it in a file.

Methods inherited from class java.lang.Object

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

Constructor Details

ConverterFD

public ConverterFD()

Method Details

parse

public Answer parse(ConverterTask task)

Description copied from interface: IConverter

Converts a tool's result.

Specified by:

parse in interface IConverter

Parameters:

task - the converter task. Example: For getting the result file use: "new File(task.getTaskInfo().getData(ConverterTaskInfo.RESULT_FILE))"

Returns:

answer the converted AQL-Answer

recoverResultFromOutput

public File recoverResultFromOutput(List<String> output,
 File expectedResultFile)

Description copied from interface: IConverter

When a tool fails there is a a chance to recover its result from the tool's output and store it in a file. Example: FlowDroid does not create an result if it simply does not find an analysis entry point. However, the tool ran successfully (intended behavior), thus, we create an emtpy result file (see ConverterFD).

Specified by:

recoverResultFromOutput in interface IConverter

Parameters:

output - the tool's output

expectedResultFile - The result file which was not created.

Returns:

the recovered result file