static-analysis tutorials

What's wrong with using System.err in Java?

Feb 11, 2017

java static-analysis stderr

Practical differences between control flow graph and call (flow?) graph?

Nov 21, 2022

static-analysis control-flow call-flow

Warnings for uninitialized members disappear on the C++11

Sep 11, 2021

c++ c++11 gcc static-analysis

Code Contracts - ForAll - What is supported by static verification

Jan 30, 2021

c# static-analysis code-contracts

Using scan-build command for clang code analysis

Jun 10, 2020

clang static-analysis

How to immediately see Swift errors in AppCode?

Apr 15, 2022

swift compiler-errors static-analysis jetbrains-ide appcode

Using Contract.ForAll in Code Contracts

Nov 08, 2021

c# static-analysis code-contracts forall

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

Nov 13, 2022

c# .net static-analysis code-contracts design-by-contract

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

Aug 29, 2014

java equals static-analysis

Instrumenting C/C++ code using LLVM

Apr 12, 2022

c++ c static-analysis instrumentation

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

Nov 20, 2019

java android-studio static-analysis findbugs intellij-plugin

Detect accidental elided dimension in C++

Dec 22, 2020

c++ arrays static-analysis

statically analysing Lua code for potential errors

Oct 29, 2022

lua code-analysis static-analysis

Function returns lock by value

Dec 22, 2021

go static-analysis

Tool to automatically rewrite a bash script with proper quoting?

Oct 25, 2022

bash static-analysis quoting

Groovy/Grails plugin for Sonar

May 10, 2019

grails groovy plugins static-analysis sonarqube

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

Nov 15, 2022

code-analysis static-analysis findbugs klocwork

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

Aug 16, 2022

c coding-style constants static-analysis

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

Jan 17, 2022

c# .net resharper static-analysis

Scala tool to remove all unused code

Nov 19, 2022

scala sbt static-analysis unused-variables scalameta

New posts in static-analysis