static-analysis

202 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Scala tool to remove all unused code
user_4711360
•
13
3
1813
scalameta unused-variables sbt static-analysis scala
Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?
user_3563070
•
7
4
537
halting-problem static-analysis pointers c c++
Detect accidental elided dimension in C++
user_2754550
•
12
3
205
static-analysis arrays c++
Applicative functors analysis
user_30158140
•
15
2
606
applicative static-analysis functor haskell
What is the difference between static analysis and semantic analysis?
user_871300
•
7
3
5477
static-analysis semantics
how to generate reports for C code with clang
user_9276040
•
6
1
1308
static-analysis clang llvm
Is there tool for .Net/C# to capture *run-time* dependencies between classes?
user_2268950
•
8
4
1408
dynamic-analysis static-analysis code-analysis c#
Why doesn't Dialyzer find this code wrong?
user_1651860
•
6
2
1454
dialyzer static-analysis erlang
Why does this code generate a "Potential resource leak" warning?
user_5358710
•
8
3
6062
resource-leak static-analysis warnings eclipse java
Parsing Objective-C code for static analysis
user_1268550
•
19
4
4790
javacc static-analysis antlr objective-c parsing
Hot Questions