BT

Guido van Rossum Wants to Bring Type Annotations to Python

by Sergio De Simone on  Aug 15, 2014

Guido van Rossum, best known as designer of the Python programming language, recently sent out a proposal on the python-ideas mailing list for adding type annotations to Python function declarations. The proposal aims at bringing to Python the benefits provided by static typing without changing Python's dynamic typing nature and interpreter behaviour.

ThreadSafe Concurrency Static Analysis Tool Announces First Public Release

by Victor Grazi on  Aug 28, 2013 1

UK based Contemplate Ltd. has announced the first public release of their flagship product ThreadSafe, a static analysis tool for locating concurrency bugs and inefficiencies in Java code. InfoQ applied ThreadSafe and FindBugs to a multithreaded project and reports the results.

Coverity 2012: How to Get a Low Defect Density

by Abel Avram on  May 07, 2013

This article contains the testimonies of several project leaders detailing the process used to achieve a low Coverity Scan defect density.

CAST: Adding Spring Lowers the Quality of JEE Applications

by Abel Avram on  Feb 14, 2013 25

A CAST report discloses that JEE enterprise software has lower quality when using Spring or Struts than using just Hibernate. Also, the quality degrades when Java is mixed with C or C++.

An Errors List Underscores the Need for Static Code Analysis

by Abel Avram on  Dec 14, 2012

Program Verification Systems, the creator of PVS-Studio, a static code analyzer for C and C++, has published a list of programming errors, some of them being found in popular open source projects such as Chromium, TortoiseSVN, Apache HTTP Server, MySQL, and others.

Spring Migration Analyzer: An Assistant For JavaEE To Spring Conversion

by Kostis Kapelonis on  Dec 12, 2012 21

Spring Migration Analyzer is a command line utility, that takes as input the binary archive of a JavaEE application (e.g. an EAR file) and creates a report, containing JavaEE technologies used, along with advice on effort required to migrate them to Spring/Tomcat. It attempts to create an easier migration path for those who wish to migrate an existing JavaEE application to the Spring framework.

CppDepend is Now Available for Linux

by Jonathan Allen on  Oct 01, 2012

CppDepend is a tool for analyzing complex C++ applications. Using the Clang parser and a custom query language based on LINQ, developers can write scripts that examine complex relationships between classes and methods. These can be used for general exploration or to build up static code analysis rules. CppDepend is licensed for both Windows and Linux.

Coverity: Open Source Code Has Fewer Defects than Commercial One

by Abel Avram on  Mar 06, 2012 7

A Coverity study concludes that open source code using static analysis has on average a lower number of defects than commercial code, but they are on par when it comes to code of similar sizes.

Ruby IDE Roundup: JetBrains Releases Rubymine 4.0, Ruby for NetBeans 7.1 in the Works

by Mirko Stocker on  Feb 22, 2012 7

JetBrains released version 4 of their Ruby IDE RubyMine. This release focuses on better performance, and contains incremental improvements and polishing in many areas. For NetBeans 7.1, a preview release of the community Ruby support is now available.

Microsoft Unveils its Compiler as a Service

by Jonathan Allen on  Oct 24, 2011

Early reports suggested that the Rosyln project would just be a better runtime-accessible compiler and REPL-style interpreter, but it turns out that it is much more ambitious. By opening up the entire compiler pipeline Microsoft hopes that developers will create a wide variety of tools at many levels.

JRuby Roundup: JRuby on EY AppCloud, JRuby-Lint, JRuby Delegates

by Werner Schuster on  May 30, 2011

JRuby is now available on EngineYard's AppCloud Beta program, set up to run with the Trinidad server. Nick Sieger has released jruby-lint, a static analysis tool that checks Ruby code bases for patterns that are either discouraged or perform badly on JRuby vs. MRI. Also: JRuby 1.6.2 is out.

Code Contracts are Making Slow Progress

by Jonathan Allen on  Dec 02, 2009 7

Code Contracts are making slow progress towards being ready for production use. While the technology still shows a lot of initial promise, it doesn’t take long to run into a road block or six that makes them unusable in their current form.

Metrics for Ruby With Caliper

by Mirko Stocker on  Nov 05, 2009

Caliper calculates various metrics – for example code duplication and complexity – for your Ruby code; all you need is a public Git repository.

Spec# and Boogie Released on CodePlex

by Jonathan Allen on  Aug 05, 2009

The source code for Spec# is now available on CodePlex under the Microsoft Research Shared Source License Agreement (non-commercial use only). It’s code verification tools, named Boogie, has been released under the Microsoft Public License, which conforms to Free/Open Source standards.

The Future of ParseTree

by Werner Schuster on  Apr 22, 2009 1

The current Ruby 1.9.1 doesn't have the required features to allow ParseTree's runtime features to work - which means some libraries that depend on those features won't work. Examples are Merb's action arguments or heckle. We take a look at the state of ParseTree - and how ruby_parser is a possible way out.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT