Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in static-analysis

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

sonarqube code-analysis static-analysis sonarqube-scan security-testing

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

python abstract-syntax-tree static-analysis inspect

Allowing redundant null-pointer check at trust boundary

c clang static-analysis

what is the difference between __deref_out_opt and __deref_opt_out?

windows annotations static-analysis microsoft-sal

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

static-analysis pre-compilation

Is static analysis really formal verification?

static-analysis formal-verification formal-semantics

Do you find source code analyzers useful?

debugging code-analysis static-analysis

Java test coverage: who covers what?

java unit-testing static-analysis emma

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

c# static-analysis string.format

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

objective-c c clang static-analysis

How can I find Python methods without return statements?

python static-analysis

Suppress warnings for external headers in VS2017 Code Analysis

c++ qt visual-studio-2017 static-analysis

Prevent this.state to be used with setState

javascript reactjs eslint static-analysis

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?

c security unix static-analysis

Is there a CIL Static Analysis Library like ASM for Java Bytecode? [closed]

static-analysis cil java-bytecode-asm cci

Make static analysis failure cause build failure on Travis

xcode continuous-integration travis-ci static-analysis

Why doesn't Dialyzer find this code wrong?

erlang static-analysis dialyzer

Is there a static invariant discovery tool for C programs?

c static-analysis invariants
« Newer Entries Older Entries »