Search code examples
Closed type classes...

haskelltypesstatic-analysistypeclass

Read More
Pseudocode algorithm for variables' signs static analysis - Check the sign of each operation...

algorithmhaskellocamlstatic-analysis

Read More
Prevent null forgiving operator usage...

c#nullablestatic-analysiseditorconfig

Read More
How to avoid 'Method is never used' message?...

c#visual-studio-2013resharperstatic-analysisresharper-9.1

Read More
What does "C6011 dereferencing null pointer" mean in my program?...

cpointerscompiler-warningsstatic-analysisnull-pointer

Read More
Using scan-build command for clang code analysis...

clangstatic-analysis

Read More
Can I generate warnings when we try to compare Java boxed primitives with "==" instead of ...

javastatic-analysisprimitiveautoboxing

Read More
Function returns lock by value...

gostatic-analysis

Read More
How to run Spotbugs via Maven?...

javamavencontinuous-integrationstatic-analysisspotbugs

Read More
Is there a way to determine code coverage without running the code?...

code-coveragecode-analysisstatic-analysisncover

Read More
How do I exclude java standard libraries from call graphs generated by Soot?...

javastatic-analysiscall-graphsoot

Read More
Clang++ SCOPED_CAPABILITY produces "warning: releasing mutex 'locker' that was not held...

c++multithreadingclangmutexstatic-analysis

Read More
How can I get all modulo(%) operation in my C source code...

cstatic-analysislexical-analysis

Read More
SAST of Raw code is better or compile code...

securitystatic-analysisstatic-code-analysis

Read More
VSC highlighted lint errors...

pythonvisual-studio-codehighlightstatic-analysis

Read More
Dart: Don't rename parameters of overridden methods (avoid_renaming_method_parameters)...

flutterdartstatic-analysis

Read More
"No implementation for org.sonatype.ossindex.maven.common.ComponentReportAssistant was bound&qu...

mavensonarqubemaven-pluginstatic-analysis

Read More
Why error messages shouldn't end with a punctuation mark in Go?...

goerror-handlingstatic-analysis

Read More
Search for place where variable is given value...

javascriptvisual-studio-codestatic-analysis

Read More
Why does PC-Lint complain about redeclaration (Error 18)?...

cstatic-analysislintpc-lint

Read More
Break down C++ code size...

c++static-analysis

Read More
How to calculate the total basic block number in a Linux ELF binary...

linuxelfstatic-analysis

Read More
Is there a code analyzing tool for finding large methods?...

refactoringstatic-analysiscode-analysis

Read More
How to make cppcheck 2.5 show error on calls to a virtual function in constructor. Older version sho...

c++c++11static-analysiscppcheck

Read More
Checkov error: AttributeError: type object 'Lark' has no attribute '_load_from_dict...

pythonamazon-web-servicesaws-cloudformationstatic-analysisaws-cdk

Read More
PMD : Avoid using Literals in Conditional Statements...

javastatic-analysisliteralspmd

Read More
Why does GCC 11.1 warn about "use of possibly-NULL 'operator new(32)' where non-null ex...

c++gccnew-operatorstatic-analysisnull-pointer

Read More
How can I find all functions that have no access level specified?...

iosswiftstatic-analysis

Read More
How to find out if a binary uses certain system call on Linux through static analysis?...

linuxsystem-callsstatic-analysis

Read More
Why is asigning a dynamic to a non-nullable not an error with sound null safety...

dartnullablestatic-analysis

Read More
BackNext