Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in static-analysis
How to train Coverity for "suspicious sizeof" or SIZEOF_MISMATCH finding?
Feb 26, 2021
c++
static-analysis
modeling
coverity
iPhone - Why didn't the Static Analyzer pick this up?
Sep 27, 2022
iphone
objective-c
ios
memory-management
static-analysis
Eclipse null analysis: The expression of type int needs unchecked conversion to conform to '@Nonnull Integer'
Sep 28, 2021
java
eclipse
null
static-analysis
non-nullable
Find not disposed IDisposables
Nov 02, 2022
c#
static-analysis
idisposable
ndepend
How to speed up sonarqube analysis job?
Sep 30, 2022
jenkins
sonarqube
code-analysis
static-analysis
sonarqube-scan
Can Klocwork (or other tools) be aware of types, typedefs and #define directives?
May 04, 2022
c++
static-analysis
klocwork
Are there any open source Java analysis libraries for data/control dependence? [closed]
Jun 16, 2022
java
static-analysis
Why does CppCheck give an array access out of bounds error for this static const array?
May 12, 2019
c++
namespaces
indexoutofboundsexception
static-analysis
cppcheck
VisitDecl vs. TraverseDecl (Clang RecursiveASTVisitor)
Jun 30, 2021
c++
clang
abstract-syntax-tree
static-analysis
llvm-clang
How to get the fully-qualified target of a MethodInvocation?
Aug 12, 2020
dart
abstract-syntax-tree
static-analysis
Can SonarQube be used as a Static Application Security Testing (SAST) tool?
Nov 13, 2022
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?
Oct 28, 2022
python
abstract-syntax-tree
static-analysis
inspect
Allowing redundant null-pointer check at trust boundary
Jun 16, 2022
c
clang
static-analysis
what is the difference between __deref_out_opt and __deref_opt_out?
Jan 12, 2022
windows
annotations
static-analysis
microsoft-sal
Complexity of IDE error detection and auto-completion dependent upon language syntax?
Feb 08, 2014
static-analysis
pre-compilation
Is static analysis really formal verification?
Oct 31, 2022
static-analysis
formal-verification
formal-semantics
Do you find source code analyzers useful?
Oct 21, 2022
debugging
code-analysis
static-analysis
Java test coverage: who covers what?
Jun 20, 2022
java
unit-testing
static-analysis
emma
How static scan all C# code for string format argument errors
Nov 20, 2022
c#
static-analysis
string.format
Is there an equivalent to __attribute__((ns_returns_retained)) for a malloc'd pointer?
Sep 16, 2020
objective-c
c
clang
static-analysis
« Newer Entries
Older Entries »