Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

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?

How can I find Python methods without return statements?

python static-analysis

Suppress warnings for external headers in VS2017 Code Analysis

Prevent this.state to be used with setState

How to prove the functionality of a C stringCompare function with Frama-C?

c static-analysis frama-c

Making Development Better with Static Analysis

vba static-analysis

An old flaw in X Window System. How does it work?