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
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,
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
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
