BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

Mobile Follow 51 Followers

Facebook’s New AL Language Aims to Simplify Static Program Analysis

by Sergio De Simone Follow 5 Followers on  May 27, 2017

AL is a simple, declarative language for reasoning about abstract syntax trees that allows to extend Facebook Infer static analyzer.

Culture & Methods Follow 175 Followers

Dead Code Must Be Removed

by Ben Linders Follow 9 Followers on  Feb 09, 2017 4

Dead code needs to be found and removed; leaving dead code in is an obstacle to programmer understanding and action, and there's the risk that the code is awakened which can cause significant problems. Deleting dead code is not a technical problem; it is a problem of mindset and culture.

Culture & Methods Follow 175 Followers

Measure and Improve Code Quality

by Ben Linders Follow 9 Followers on  Jan 11, 2016

InfoQ interviewed Boris Modylevsky about the importance of measuring code quality and how measurements can be used to improve quality, integrating static code analysis in continuous integration, testing coverage and test automation, and the benefits that continuous integration with integrated code analysis and test coverage can bring.

Development Follow 145 Followers

C++ Core Guidelines will Help Writing Good Modern C++

by Sergio De Simone Follow 5 Followers on  Sep 23, 2015 1

As announced at CppCon, Bjarne Stroustrup and Herb Sutter have started working on a set of guidelines for modern C++. The goal of this effort is improving how developers use the language and help ensuring they write code that is type safe, has no resource leaks, and is as much as possible free of programming logic errors.

Mobile Follow 51 Followers

LinkedIn Release QARK to Discover Security Holes in Android Apps

by Abel Avram Follow 4 Followers on  Aug 27, 2015

LinkedIn has recently open sourced QARK, a static analysis tool meant to discover potential security vulnerabilities existing in Android applications written in Java.

Followers

Facebook Open Sources Infer, a Static Analysis Tool

by Abel Avram Follow 4 Followers on  Jun 11, 2015

Facebook has open sourced Infer, a static analysis tool for C, Java and Objective-C.

Followers

CppDepend now Supports C and C++14

by Jonathan Allen Follow 131 Followers on  Oct 06, 2014

CppDepend is a primarily a source code analyzer, with features geared towards making it easier to understand large code bases with complex interdependencies. In addition, it can integrate with static analyzers. With the introduction of version 5, CppDepend now supports C and C++14.

Followers

Guido van Rossum Wants to Bring Type Annotations to Python

by Sergio De Simone Follow 5 Followers 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.

Followers

ThreadSafe Concurrency Static Analysis Tool Announces First Public Release

by Victor Grazi Follow 8 Followers 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.

Followers

Coverity 2012: How to Get a Low Defect Density

by Abel Avram Follow 4 Followers 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.

Followers

CAST: Adding Spring Lowers the Quality of JEE Applications

by Abel Avram Follow 4 Followers 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++.

Followers

An Errors List Underscores the Need for Static Code Analysis

by Abel Avram Follow 4 Followers 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.

Followers

Spring Migration Analyzer: An Assistant For JavaEE To Spring Conversion

by Kostis Kapelonis Follow 0 Followers 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.

Followers

CppDepend is Now Available for Linux

by Jonathan Allen Follow 131 Followers 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.

Followers

Coverity: Open Source Code Has Fewer Defects than Commercial One

by Abel Avram Follow 4 Followers on  Mar 06, 2012 2

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.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT