static-analysis

202 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why is asigning a dynamic to a non-nullable not an error with sound null safety
user_18104470
•
3
1
647
dart static-analysis nullable
How to find a import module dependency for a given variable in a source code in python
user_80028640
•
3
2
135
abstract-syntax-tree static-analysis python
linter setting to ensure numeric arguments have explicit names?
user_3142900
•
2
1
28
clang-tidy static-analysis c++
G110: Potential DoS vulnerability via decompression bomb (gosec)
user_3046900
•
6
3
1364
golint go static-analysis
C# Nullable Static Analysis—Can you use conditional post-conditions with multiple return values?
user_131709080
•
3
1
159
nullable-reference-types static-analysis c#
Use JavaParser to refactor a java file
user_133759360
•
2
1
171
javaparser static-analysis refactoring java
Is there a way to get a report of suppressed lint messages?
user_65396310
•
2
1
114
pc-lint static-analysis lint c suppress-warnings
Frama-c WP and preconditions
user_152829310
•
3
1
183
frama-c static-analysis
VSCode: how to disable the validation of launch.json file?
neves_103350
•
2
0
197
vscode-settings visual-studio-code static-analysis
PyCharm multiple file watchers output
user_30864700
•
4
0
333
pycharm static-analysis python
Hot Questions