Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in 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

How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system