[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] The answer to some overdue requests



Cyclomatic complexity and friends seem very 70s. Does anyone use or believe in that kind of thing now?

John


On 3/31/19 7:04 PM, Eitan Adler wrote:
On Sun, 31 Mar 2019 at 17:32, John Regehr <regehr@cs.utah.edu> wrote:

I think this sounds great!

John


On 3/31/19 5:50 PM, Xuejun Yang wrote:
Hi All,

It has been a while since any major changes to Csmith. I think it's time
to implement some of the long overdue requests that require some
architecture adaptions. The two on top of my head are:

1) generate random programs up to a certain size. The limit is likely to
be specified initially in terms of the number of the AST nodes.
Hopefully we could allow the limit to be LOC later.

It would be interesting to be able to request cyclomatic complexity or
other such measures. I say this not because it would be useful for
finding C compiler bugs itself - but might be interesting to validate
(or counter the usefulness) of such measures in the future.