Search code examples
Can I Prove Monotonicity of Allocations to the Rust Borrow Checker...

rustmemory-managementstatic-analysisborrow-checkermutable

Read More
WP Plugin: Why does the following simplified code fail to verify...

static-analysisverificationproofframa-cformal-verification

Read More
Intellij structural replace unwanted behavior based on target...

javaintellij-ideaannotationsstatic-analysisstructural-search

Read More
Set multiple styles for pylint naming-styles...

pythonstatic-analysispylintpylintrc

Read More
Is there a way to find "hidden" unused variables in Rust?...

rustoptimizationclonebenchmarkingstatic-analysis

Read More
using cppcheck with an explicit set of macro combinations...

static-analysiscppcheck

Read More
Any tools to check for duplicate VB.NET code?...

vb.netcode-analysisstatic-analysiscode-duplication

Read More
How I can find all unused import programmatically?...

javareverse-engineeringstatic-analysis

Read More
Disable Sonar duplications on Entity, DTO packages...

javastatic-analysissonarqube

Read More
Sargability of RIGHT/LEFT in SQL...

sqlt-sqlquery-optimizationstatic-analysis

Read More
Getting overly concrete parameter error (OCP_OVERLY_CONCRETE_PARAMETER) even when List type object i...

javastatic-analysisspotbugs

Read More
gcc static analyzer (Weffc++): exclude directories...

c++gccg++static-analysissoftware-quality

Read More
How to detect code duplication among multiple python source files?...

pythoncode-analysisstatic-analysispylintcode-duplication

Read More
Implicit memory aliasing in for loop...

gostatic-analysisgolangci-lint

Read More
Security scan flagged local variable for heap inspection in C Function...

cheap-memorystatic-analysischeckmarx

Read More
Can I reproduce eslint's "prefer-object-spread" rule using ast-grep?...

eslintabstract-syntax-treestatic-analysisautomated-refactoringast-grep

Read More
Can SonarQube analysis be configured for projects in the Git codebase of the project?...

sonarqubestatic-analysis

Read More
In C macros, should one prefer do { ... } while(0,0) over do { ... } while(0)?...

cstatic-analysisc-preprocessor

Read More
SonarLint plugin for IntelliJ IDEA suddenly stopped working - shows "No issues to display"...

intellij-ideastatic-analysisintellij-pluginsonarlintsonarlint-intellij

Read More
Automated docstring and comments spell check...

pythonstatic-analysiscode-analysispylint

Read More
Instrumenting C/C++ codes using LLVM...

c++llvmstatic-analysisclanginstrumentation

Read More
Python: Making a function signature *without* inspect...

pythonstatic-analysismethod-signature

Read More
Rationale for explicit conversion operator on functor...

c++stlstatic-analysis

Read More
Ignore certain files when using clang-tidy...

cmakestatic-analysisclang-tidyclang-static-analyzer

Read More
Static analysis of unused assignments...

abstract-syntax-treestatic-analysiscontrol-flow-graph

Read More
A warning with cppcheck, "hides typedef with same name"...

c++static-analysiscppcheck

Read More
Can I configure clang-tidy to accept certain dead-store values other than NULL?...

cwinapistatic-analysisclang-tidyresource-disposal

Read More
Are there any way to export Sonarlint report from Intellij?...

javaspring-bootstatic-analysiscode-analysissonarlint-intellij

Read More
How to extend Array to enforce specific arguments in TypeScript?...

javascripttypescripttypescript-genericsstatic-analysises6-class

Read More
Import order coding standard...

pythonpython-importstatic-analysispep8

Read More
BackNext