Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

Are there code metrics that will cover variable scoping

Clang Static Analyzer doesn't find the most basic problems

List of FindBugs 2.0 bugs by rank?

Is static code verification for potential null object references available?

c# .net-3.5 static-analysis

Flow: is not a polymorphic type

How to find unused attributes/methods in Visual C++ 2008

How good idea is it to use code contracts in Visual Studio 2010 Professional (ie. no static checking) for class libraries?

Detect pointer arithmetics because of LARGEADDRESSAWARE

C# Static Analysis, possible values for a variable/parameter

Is there tool for .Net/C# to capture *run-time* dependencies between classes?

Should static analysis warnings fail the CI build?

Removing useless lines from c++ file

Static code analysis for new language. Where to start? [closed]

Lua certified for use on an airframe or road vehicle?

MATLAB code analysis and visualization tools?

clang's scan-build doesn't work for simple cpp file

c++ clang static-analysis

Rigorous proof of the following C++ code's property?

Impact Analysis using Eclipse for Java application with framework code

Static-code analyzer: unmanaged C++ Visual Studio 2008

Why does this code generate a "Potential resource leak" warning?