Фаззер персик, почему не работает элемент "Выбор"?

Ниже мой персиковый файл. Как видите, в этом xml-файле есть элемент «Выбор». Я хочу, чтобы в файле результатов «poc.txt» была случайно сгенерирована строка «222» или «555», но после того, как персик проработал 2 часа, в файле poc.txt нет строки «222» или «555». Персик генерирует строку «111» только много раз. Кто-нибудь может сказать мне, в чем проблема с моим персиковым XML-файлом? почему персик всегда выбирает первый блок? Спасибо!

          <?xml version="1.0" encoding="utf-8"?>
    <Peach xmlns="http://peachfuzzer.com/2012/Peach"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://peachfuzzer.com/2012/Peach ../peach.xsd">

    <DataModel name="Customized">
        <Choice name="fjsiod">
          <Block name="Type1">
            <String value="111" mutable="false"/>
          </Block>
      
          <Block name="Type2">
            <String value="222" />
          </Block>
      
          <Block name="Type3">
            <String value="555"  />
          </Block>
          </Choice>
    </DataModel>   

    <StateModel name="State" initialState="State1">
        <State name="State1">
          <Action type="output">
            <DataModel ref="Customized"/>
          </Action>         
        </State>
    </StateModel>

    <Agent name = "LocalAgent">
        <Monitor class = "WindowsDebugger">
          <Param name = "CommandLine" value = "c:\tmp\tt1.exe h:\poc.txt"/>
          <Param name="WinDbgPath" value="C:\Program Files (x86)\Windows Kits\10\Debuggers\x64" />
        </Monitor>
        <Monitor class = "PageHeap">
          <Param name="Executable" value="tt1.exe"/>
          <Param name="WinDbgPath" value="C:\Program Files (x86)\Windows Kits\10\Debuggers\x64" />
        </Monitor>
    </Agent>
  
    <Test name = "Default" >
        <Agent ref = "LocalAgent" />
        <StateModel ref = "State" />
        <Publisher class="File">
            <Param name="FileName" value="h:\poc.txt" />
        </Publisher>
    <Logger class="Filesystem">
      <Param name="Path" value="Logs" />
    </Logger>
    </Test>
    </Peach>

Peach также должен сгенерировать строку «222» или «555».

0 ответов

Другие вопросы по тегам