"Static analysis refers to a method of examining software that allows developers to discover dangerous programming practices, poor use of language features, or potential errors in source code, without actually running the code. If you use Xcode with C or Objective-C, you can gain real quality improvements by understanding the basics of static analysis techniques and by integrating these techniques into your development process. In this article, we show you how to use GCC to help verify C and Objective-C programs."
Read more...Source:
OSNewsExploring the Future of Computing
