All Questions

I need to extract some structural information about input data in a larger c++ codebase, which is only defined by functions reading the data within the source code. I need to find all locations where (...

Consider this small function: def test(): x = 1 x = 2 x = 3 return x + 1 Apparently, the first two assignments to x have no effect here and can be removed. Yet surprisingly, pylint/...

We have SemGrep which we are allowed using as a static code analysis tool. I'm trying to write a Java rule which verifies if the variable name has exactly the same name as the field name within the ...

#include <stdio.h> #include <stdlib.h> typedef struct { int a; } tempStruct1; typedef struct { int b; } tempStruct2; typedef struct { tempStruct1 *temp1; tempStruct2 *...

In C/C++, it is possible to write something like: // version.h extern const char *branch; extern const char *hash; extern const char *status; extern const char *timestamp; // version.c (...

First a bit of context. Consider the code: void foo(double* b){ int a = 100; a = 101; b[1] += b[a]; } I have a visitor, that has VisitArraySubscriptExpr(ASE), where I perform ...

Suppose I am working on a library with a decent number of classes, most of them having a bunch of methods, in addition to the basic ctors and dtor. For reasons, the method implementations are spread ...

When I make a component that relies on something like the currently chosen language for example, or maybe a special query function to fetch data, and I provide either of these things via a ...

I want to create an analysis.Analyzer and define a run function on it that runs once per all the codebase, and not once per package. If I check the documentation of the Run field, I see: // Run ...

Is clang-tidy '-checks=clang-analyzer-*' a drop in replacement for scan-build and clang-check -analyze? If I'm using the former, is there any need for using latters again? Previously there are two ...

In the Checkstyle tool what's the difference between the ImportOrder and the CustomImportOrder rules? At the first glance they look similar.

I have a following embedded system optimization case (simplified). int main() { while (1) { // Do something if (unrecoverable_error) { __breakpoint(); while(1); } } } ...

Context: I'm using Clazy to analyze my C++ project, which includes the nlohmann/json.hpp header. Problem: Clazy fails to process files that include this header. What I've tried: Wrapping the include ...

Here's the code: <?php declare(strict_types=1); /** * @param array{key?: string} $options */ function hello($options) { var_dump($options); } hello([ 'WRONG_KEY' => '...', ]); I ...

I tried to find a way to verify deadlock with CPA checker. My goal is to check the "problem of philosofer". I found a lot of problem with CPA checker and threading. Someone can help me find ...