Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

Why int a; a = std::max(a, x) doesn't emit "uninitialized" warnings

Why is determining if a function is pure difficult?

Java coding style

What are the gaps between symbolic execution and taint analysis?

How to prevent false positive null pointer warnings, when using CGLIB / Spring AOP?

How can I lint C++ code to find all unused return values?

c++ static-analysis

How can I statically detect missing @Override annotations?

Verify that Java classes implement toString()

How can I cast a back to a type a value was before?

How to determine maximum stack usage in embedded system?

Finding unused methods in IntelliJ (excluding tests)

Java Obfuscation with focus on added useless opcodes

How can I find all member field read/writes using Clang?

Looking for a parser for QML-format files [closed]

qt parsing static-analysis qml

Tools for analyzing C++ codebase [closed]

Python script should end with new line or not ? Pylint contradicting itself?

Are there any static analysis tools that will report how closely the SOLID principles are followed?

Static code analysis tool for Common Lisp?

elixir: defining type specification for maps/hashdicts

Is object clearing/array deallocation really necessary in VB6/VBA (Pros/Cons?)

vba vb6 static-analysis