Home > Archive > Software Engineering > May 2006 > Examples of PolySpace samples
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Examples of PolySpace samples
|
|
| seaside 2006-05-22, 7:07 pm |
| Hi,
I searched the web for examples of 'real-world' errors, which Polyspace
[http://www.polyspace.com/] catches.
While Polyspace's web explains the general solution concept -
static/sematic analysis - I failed to find any 'bigger' defects,
Polyspace found. Examples mentioned at Polyspace's website or
whitepapers are quite simple.
Does anybody know of any source, which provides details?
Kind regards,
s
| |
| Peter Amey 2006-05-23, 7:04 pm |
|
seaside wrote:
> Hi,
>
> I searched the web for examples of 'real-world' errors, which Polyspace
> [http://www.polyspace.com/] catches.
>
Not an answer to your question, but you might be interested in
http://www.praxis-his.com/pdfs/Spark_abstract.pdf which includes some
examples of errors that Polyspace /can't/ be trusted to catch because
the errors are masked by things like evaluation order dependency or by
aliasing.
These kinds of issue are rather important in source code analysis tools
and many vendors are rather vague on the subject!
Peter
| |
| seaside 2006-05-25, 7:03 pm |
| Thanks, Peter. Just reviewed the article and visited praxi-his.
Interesting!
|
|
|
|
|