Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

Lua certified for use on an airframe or road vehicle?

MATLAB code analysis and visualization tools?

clang's scan-build doesn't work for simple cpp file

c++ clang static-analysis

Rigorous proof of the following C++ code's property?

Impact Analysis using Eclipse for Java application with framework code

Static-code analyzer: unmanaged C++ Visual Studio 2008

Why does this code generate a "Potential resource leak" warning?

Empty method in an abstract class

Is there a visualization tool that can inspect a Java code base and report inter-package dependencies?

Type checker for JavaScript?

after defining case for all enum values, compiler still says: "control reaches end of non-void function"

How to mark a Java method as "must use result" for static analysis purposes?

Tool to analyze and compare logic of similar functions?

c# static-analysis

clang-tidy cmake exclude file from check

How I can find all unused import programmatically?

What static analyzers do you make a point of running on Java code, and why?

java static-analysis

Find out if one method could call another

java static-analysis

How to run Spotbugs via Maven?

PHPStan: Property with generic class does not specify its types: TKey, T

Intellij (or other) - Possible to see a graph/tree of all calls made in Java?