Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

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

How to Suppress Gendarme Defects?

Strange Xcode Analyze results

How to specify methods to be skipped by Sonar when counting coverage?

Which static analysis tool to use for scanning data flow from one method to another?