Cristi,
were there any statements in ptx you were having a hard time hitting that it
might make sense to ask Jim about?
>
>
> Hello Jim,
>
> Thanks for the prompt answer.
> Could you please acknowledge Daniel Dunbar ([EMAIL PROTECTED]) and
> Dawson Engler ([EMAIL PROTECTED]) as well?
>
Hello Jim,
Thanks for the prompt answer.
Could you please acknowledge Daniel Dunbar ([EMAIL PROTECTED]) and
Dawson Engler ([EMAIL PROTECTED]) as well?
Our tool works by generating test cases that achieve very high
statement and branch coverage. At this point, the tool is not mature
en
Cristian Cadar <[EMAIL PROTECTED]> wrote:
> Hello, I'm part of a research group at Stanford, working on automatic
> bug-finding tools. We are currently testing coreutils, and we found a
> crash bug in ptx due to an unbounded buffer overflow.
>
> Here is a trivial test case that triggers the bu
Hello, I'm part of a research group at Stanford, working on automatic
bug-finding tools. We are currently testing coreutils, and we found a
crash bug in ptx due to an unbounded buffer overflow.
Here is a trivial test case that triggers the bug in the current
version of coreutils (6.10):
$ p
