Package de.foellix.aql.converter

Interface IConverter

All Known Implementing Classes:
ConverterAmandroid, ConverterAmandroid2, ConverterDIALDroid, ConverterDidFail, ConverterDroidSafe, ConverterFD, ConverterHD, ConverterIC3, ConverterIccTA, ConverterPAndA2, NoConverter
public interface IConverter
Interface for converter subclasses

  • Method Summary

    Modifier and Type
    Method
    Description
    Answer
    parse(ConverterTask task)
    Converts a tool's result.
    default 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.

  • Method Details

    • parse

      Answer parse(ConverterTask task) throws Exception
      Converts a tool's result.
      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
      Throws:
      Exception - in case something goes wrong exception message will be forwarded to AQL-System and be logged.

    • recoverResultFromOutput

      default 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. 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).
      Parameters:
      output - the tool's output
      expectedResultFile - The result file which was not created.
      Returns:
      the recovered result file