static-analysis

202 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Function call in a "if" clause to ACSL
user_152829310
•
2
1
74
frama-c static-analysis
How to inspect java method references (double colon) operator usages in classes during build time
user_10179010
•
2
1
220
method-reference static-analysis bytecode java
Are there any free libraries that can generate a program dependence graph (PDG) for a Python program?
user_71919870
•
5
0
182
static-analysis python
Eclipse null analysis has @NonNull on generic parameter
user_2943170
•
1
1
174
external-annotations static-analysis null eclipse java
Is this IntelliJ inspection warning a false positive?
user_139630860
•
5
1
176
static-analysis intellij-idea java
Could variable zero-initialization reduce performances?
user_107344520
•
3
3
182
static-analysis initialization c arrays performance
How to find the declaration of an Ident using go/analysis?
user_120735160
•
5
1
351
go-toolchain go abstract-syntax-tree static-analysis
What tools can diagnose C++ portability issues due to plain char signedness?
user_14248770
•
4
2
75
tool-rec static-analysis char c c++
Frama-C - Get function input value through command line
user_143071260
•
4
1
73
frama-c static-analysis
Finding Python base classes with static analysis and Jedi
user_1942110
•
2
0
73
python-jedi static-analysis python
Hot Questions