Me too. I fixed a load last time but many were not true as a little mathematics proved. Would like to see them ==John ff Quoting Michael Gogins : > Thanks! > > I have used other static analysis tools on Csound code myself, and have > consistently recommended their use for some time. Please email me the scan, > and I will try to fix some of these. > > Regards, > Mike > > > ----------------------------------------------------- > Michael Gogins > Irreducible Productions > http://michaelgogins.tumblr.com > Michael dot Gogins at gmail dot com > > > On Thu, Jan 23, 2014 at 9:45 AM, Felipe Sateler wrote: > >> Coverity is a static analysis tool (supposedly one of the best). It >> offers free scans for open source projects, so I scanned the latest >> 6.02 release of csound (default options) to see what can be found. >> >> Csound has 424 outstanding issues, of which coverity rates 94 as >> high-impact. >> >> Problems types include: uninitialized variables, unbounded copies into >> fixed-length buffers, dereference before null checks, printf >> mismatches, and others. >> >> The full report is at https://scan.coverity.com/projects/1211, but you >> need to request access to be able to see it (I don't think it is >> possible to make the report public). If you are interested in looking >> at the report, send a request and I'll approve it ASAP. >> >> -- >> >> Saludos, >> Felipe Sateler >> >> >> ------------------------------------------------------------------------------ >> CenturyLink Cloud: The Leader in Enterprise Cloud Services. >> Learn Why More Businesses Are Choosing CenturyLink Cloud For >> Critical Workloads, Development Environments & Everything In Between. >> Get a Quote or Start a Free Trial Today. >> >> http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk >> _______________________________________________ >> Csound-devel mailing list >> Csound-devel@lists.sourceforge.net >> https://lists.sourceforge.net/lists/listinfo/csound-devel >> ------------------------------------------------------------------------------ CenturyLink Cloud: The Leader in Enterprise Cloud Services. Learn Why More Businesses Are Choosing CenturyLink Cloud For Critical Workloads, Development Environments & Everything In Between. Get a Quote or Start a Free Trial Today. http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk _______________________________________________ Csound-devel mailing list Csound-devel@lists.sourceforge.net