Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

Which program analysis tools for Delphi support continuous integration systems? [closed]

Quality of Visual Studio Community code analysis with SAL annotations

Static analysis of virtual generic method calls

clang-tidy: How to suppress C++ warnings in C header file?

Side-effect free methods in the Java Standard Library

splint: parse error in for loop

c static-analysis splint

C# IL code modification - keep stack intact

Analyze Embarcadero RAD Studio project with clang analyzer

How to collect system calls from a binary with static analysis?

Are there any static analysis tools that can help detect shared_ptr<> circular references?

How to make sure a type parameter is used only covariantly?

How do I use a python static checker with Eclipse?

Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?

What are Entry Points in IntelliJ code inspection and do I need to "fix" them?

Soot: Reload class after source-file changed

How to find out what implicit(s) are used in my scala code

How can I tell kotlin that a function doesn't return null if the parameter is not null?

gcc: how to detect bad `bool` usage

c gcc clang static-analysis

FORWARD_NULL after derefencing null?

Any ideas on how to write a static analysis rule (FXCop) to ensure that event delegates are removed