mains,
this leads to the observed non-terminating behavior.
This behavior was found using Symbolic Execution techniques developed in
the course of the SYMBIOSYS research project at COMSYS, RWTH Aachen
University.
Regards,
Julian Büning
iteration of the loop (without making any attempt to read from
stdin), any_live_files() is called, which returns true for stdin:
> if (0 <= f[i].fd)
>return true;
This behavior was found using Symbolic Execution techniques developed in
the course of the SYMBIOSYS research project at COMSYS, RWTH Aachen
University.
Regards,
Julian Büning
On 11/08/2016 06:47 PM, Pádraig Brady wrote:
p.s. These Symbolic Execution techniques are intriguing.
Have you any more details.
Thanks for your interest in our techniques. Symbolic Execution is a
dynamic analysis method to automatically find bugs by executing a
program with symbolic inputs,
observed behavior:
$ echo | ptx -S $ &
[1] 1000
$ jobs
[1]+ Running echo | ptx -S $ &
expected behavior:
$ echo | ptx -S $ &
[1] 1000
[1]+ Doneecho | ptx -S $
ptx does not terminate in case the specified sentence regex can be
matched but has a match of