尝试用Peach编写一个简单的模糊器来检测缓冲区溢出

Question

我正在尝试编写一个检测缓冲区溢出的简单模糊器。我想要模糊的代码如下：

#include <stdio.h>

int main(int argc, char *argv[])
{
char buf[256];
memcpy(buf, argv[1],strlen(argv[1]));
printf(buf);
}

我目前的Peach Pit如下：          

    <DataModel name="MyString">
                    <String value="">
                    <Analyzer class="StringToken" />
                    </String>
    </DataModel>

    <StateModel name="StateVfolder" initialState="Initial">
            <State name="Initial">
                    <Action type="output">
                            <DataModel ref="MyString"/>
                    </Action>
            </State>
    </StateModel>

    <Agent name="LocalAgent">
            <Monitor class="LinuxDebugger">
                    <Param name="Executable" value="./test"/>
            </Monitor>
    </Agent>

    <Test name="Default">
            <Agent ref="LocalAgent"/>
            <StateModel ref="StateVfolder"/>
            <Publisher class="Console" />

            <Logger class="File">
                    <!-- save crash information in the Logs directory -->
                    <Param name="Path" value="Logs"/>
            </Logger>

            <Strategy class="Sequential" />

    </Test>
</Peach>

我该如何使这项工作？任何帮助将不胜感激。谢谢。我发现了一些对这个问题的引用，但我无法让文件正常工作。