Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

go lint tools range closure detection

go static-analysis lint linter

Create a type hint that uses an inner class to be provided by derived classes

In Java what is meant by "calling context" (and some other terms)?

java static-analysis

Ignore certain files when using clang-tidy

Why do some static analysis tools not report potential buffer overflows?

Detect use after move during compilation?

Enforce no bald pointers in C++

C++: static analysis for const?

c++ static-analysis

Pylint and ruff don't complain about useless (unnecessary) return in functions with docstring

Create a demo of my static program analyzer as a web application? [without sending .jar files to clients]

API misuse error from static analyzer

How to traverse the AST generated by spidermonkey (Javascript file)

C# Code Contracts: Are postconditions on members accessible from other threads useless?

Detecting the use of HRESULTs as bools

How to detect or prevent uninitialized array elements at compile time?

c arrays static-analysis

What are resources for building a static analyzer for C in C?

c parsing static-analysis