Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

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?

Empty method in an abstract class