Re: Which Coreutils Programs Use Non-Numeric Input/Data?

[William Bader]

I think that KLEE uses llvm to compile C programs to bytecode and then has a 
bytecode interpreter that checks the coverage of test cases and a solver that 
tries to generate test cases that completely cover the code.  The person who 
asked the question is probably looking for programs like 'tr' or 'sort' that 
can take unstructured random text for input. The KLEE paper is at 
http://llvm.org/pubs/2008-12-OSDI-KLEE.pdf and the start of the second page has 
examples from coreutils.
To the person who asked the question, a list of the coreutils with links to 
descriptions and man pages is at 
http://www.maizure.org/projects/decoded-gnu-coreutils/
Regard, William


________________________________
From: coreutils <coreutils-bounces+williambader=address@hidden> on behalf of 
Nani Hutagaol <address@hidden>
Sent: Monday, May 25, 2020 8:53 PM
To: Bernhard Voelker <address@hidden>
Cc: address@hidden <address@hidden>
Subject: Re: Which Coreutils Programs Use Non-Numeric Input/Data?

thank you for the answer,

On my research I want compare the performance of different solvers,
like STP and Z3 using with tools KLEE (http://klee.github.io/) on
generating test case with non numeric input.
My research need around 10 programs that use non-numeric input to compared.


Pada tanggal Sen, 25 Mei 2020 pukul 23.27 Bernhard Voelker <
address@hidden> menulis:

> On 2020-05-25 10:36, Nani Hutagaol wrote:
> > I am currently in research about programs with non-numeric input, and I
> > want to use the program Coreutils. But it has so many programs that I can
> > not check one by one to see which non-numeric programs and not.
> >
> > Through this email, I beg for your help, can you please tell me, Which
> > Coreutils programs use non-numeric input/data? I mean the program
> executing
> > text or file, and not integers.
>
> Without knowing your use case or what you want to investigate it's hard to
> answer.
>
> From the list of coreutils programs [1], most of them do not use numeric
> input (e.g. the *sum family: md5sum, sha1sum , sha256sum, ...) - and some
> do not even use input at all (sleep, rm, kill, touch, ...).
>
> [1] https://git.sv.gnu.org/cgit/coreutils.git/tree/README#n8
>
> Have a nice day,
> Berny
>


--
Warm Regards
*Nani Renova Hutagaol*