Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [static-code-analysis]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
13 views

A static analyzer that can prove that some source code will never run under given circumstances

I am looking for a program or script or software library that can take some software sources: // Module: ./myUtils function hello(): void { console.log("Hello!"); } // Module: ./userInput ...
damix911's user avatar
  • 101
1 vote
0 answers
8 views

Tool for resolving variables/constants values without being executing the java code

I am looking for tool/library to help me parse the actual values of objects/variables/constants of non-compiled Java code. String sql = excludeNotReadyForMatching ? SELECT_RELATED_INVOICE_IDS_BY_POID ...
Arsalan Siddiq's user avatar
1 vote
0 answers
44 views

source code analyzer for pthread_mutex types (and lock/unlock balancing)

For the RefPerSys project (Linux/x86-64, GPLv3+ licensed), its refpersys-in-c variant, commit 1441e0fa148d, I am seeking a source code analyzer which checks that calls to pthread_mutex_lock and ...
Basile Starynkevitch's user avatar
1 vote
0 answers
157 views

C++ static code analysis which recommends Const Correctness

I am looking for a static code analysis tool for C++ which will examine the code & inform me of parameters or variables which are not written to, and so can be declared const. Hopefully it will ...
Mawg's user avatar
  • 9,023