Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

How to train Coverity for "suspicious sizeof" or SIZEOF_MISMATCH finding?

iPhone - Why didn't the Static Analyzer pick this up?

Eclipse null analysis: The expression of type int needs unchecked conversion to conform to '@Nonnull Integer'

Find not disposed IDisposables

How to speed up sonarqube analysis job?

Can Klocwork (or other tools) be aware of types, typedefs and #define directives?

Are there any open source Java analysis libraries for data/control dependence? [closed]

java static-analysis

Why does CppCheck give an array access out of bounds error for this static const array?

VisitDecl vs. TraverseDecl (Clang RecursiveASTVisitor)

How to get the fully-qualified target of a MethodInvocation?

Can SonarQube be used as a Static Application Security Testing (SAST) tool?

How to find out if (the source code of) a function contains a call to a method from a specific module?

Allowing redundant null-pointer check at trust boundary

c clang static-analysis

what is the difference between __deref_out_opt and __deref_opt_out?

Complexity of IDE error detection and auto-completion dependent upon language syntax?

Is static analysis really formal verification?

Do you find source code analyzers useful?

Java test coverage: who covers what?

How static scan all C# code for string format argument errors

Is there an equivalent to __attribute__((ns_returns_retained)) for a malloc'd pointer?