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

[Erik Auerswald]

Hi all,

another way to quickly find this information about the GNU Coreutils
programs is to look at the "table of contents" of the online
documentation:

http://www.gnu.org/software/coreutils/manual/html_node/index.html

As can be gleaned from the short descriptions there, most GNU Coreutils
programs use non-numeric input.

HTH,
Erik

On Tue, May 26, 2020 at 01:43:41AM +0000, William Bader wrote:
> 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*