Static Analysis Tools for C/C++ and Ada - Polyspace - MathWorks 中国 Static analysis enables you to detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in source code. Polyspace® products use static code analysis and formal methods (with abstract interpretation) to verify C and C++ or Ada code. You can use Polyspace static analysis tools to verify both handwritten and generated code for embedded software. Polyspace Bug Finder™ identifies run-time errors, data flow problems, and other defects in C and C++ embedded software. Using static analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior. Polyspace Code Prover™ proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. Polyspace products for Ada programming language consist of the Polyspace Client™ for Ada and Polyspace Server™ for Ada. Polyspace Bug Finder and Polyspace Code Prover help you:
With Customers Like LinkedIn On Board, Bugsnag Launches To Bring Realtime Bug Tracking To Your Web & Mobile Apps Last year, James Smith and Simon Maynard left mobile gaming startup Heyzap, where Smith was the CTO, to build and launch a new venture that aimed to tackle one of the biggest problems they encountered in working with mobile developers: The need for better crash detection. In an attempt to bring some continuity to the fragmented set of point solutions developers use to monitor and capture errors in their applications, Smith and Maynard set out to create an affordable, full-stack monitoring service to allow businesses to easily track errors in both mobile and web apps, via a single dashboard. The result is Bugsnag, which, after three months in closed beta, has already begun to find traction. Launching officially today, Bugsnag’s crash detection platform allows businesses to collect diagnostic information on their web and mobile applications and quickly notify development teams over email, SMS or chat when there’s a problem.
StarUML StarUML是一个开源的UML工具列表软件，它遵守GNU GPL的一个修订版。 StarUML项目宣称的目标是代替大型的商业UML工具软件，如IBM的Rational Rose，Borland公司的Together。 StarUML支持UML2.0定义的大多数图，但缺少对象图（object diagram），包图（package diagram），时间图（UML timing diagram）和交互预览图（interaction overview diagram）等功能，虽然对象图和包图完全可以通过类图编辑器画出来。 导出[编辑] 支持导出光栅图片格式JPEG、BMP和矢量图片格式Windows Metafile、Enhanced Metafile. 参见[编辑] UML工具列表 外部链接[编辑] The simplest bug tracker and client feedback tool | BugHerd