**** 500 words ****
Identify a static analysis tool for C and/or C++, commercial or open source. Try to ascertain the underlying theoretical basis of the tool (is it lint-like? Does it use ASTs? Does it invoke advanced features?).

Give your view as to how effective or otherwise the tool might be e.g. in your opinion will it suffer from high levels of false positives/false negatives perhaps?

A list of tools is available at http://spinroot.com/static/.

Briefly summarize your findings

****************************************************
Please do NOT supply me with a generic piece of work.
the work you have previously provided has recieved comments like
“Information is rather generic” & “A heavily generic pice of work”