Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

Code Contracts: Why are some invariants not considered outside the class?

Can anything warn me against type.equals(incompatibleType)?

java equals static-analysis

Instrumenting C/C++ code using LLVM

Is there a separate FindBugs plug-in for Android Studio?

Detect accidental elided dimension in C++

c++ arrays static-analysis

statically analysing Lua code for potential errors

Function returns lock by value

go static-analysis

Tool to automatically rewrite a bash script with proper quoting?

Groovy/Grails plugin for Sonar

Have you ever compared the static analysis tools Klocwork and Findbugs? [closed]

Should useless type qualifiers on return types be used, for clarity?

How do I tell Resharper that my IEnumerable method removes nulls?

Scala tool to remove all unused code

Should annotations in jar305.jar be preferred over similar annotations in annotation.jar for FindBugs?

When to stop following the advice of static code analysis?

How to get Vera++ to ignore sections of code for some/all rules?

c++ static-analysis vera++

How to statically analyze reference types passed to each bytecode instruction?

How can I find copy/paste (duplicate, clone) code in Perl?

Tools for finding Shared Mutable data bugs in Java

How do I exclude library headers from my Visual Studio static code analysis?