Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in static-analysis

Should the Code Contracts static checker be able to check arithmetic bound?

Can Resharper be set to warn if IDisposable not handled correctly?

Are there any static code analysis tools for Delphi/Pascal? [closed]

False positive: precondition is redundant

Tentative definitions in C and linking

Where can I find an actively developed lint tool for Ruby?

C#/.NET analysis tool to find race conditions/deadlocks

@GuardedBy annotation with java.util.concurrent.locks.ReadWriteLock

Are there any tools for performing static analysis of Scala code? [closed]

Is there a static analysis tool like Lint or Perl::Critic for shell scripts?

Why do code quality discussions evoke strong reactions? [closed]

How to determine maximum stack usage in embedded system with gcc?

javax.annotation: @Nullable vs @CheckForNull

Dead code identification (C++)

Static Analysis tool recommendation for Java? [closed]

java static-analysis

How to raise warning if return value is disregarded?

c++ c gcc static-analysis

Should I use the final modifier when declaring case classes?

What's the current state of static analysis tools for Scala?

Dead code detection in legacy C/C++ project [closed]

Is there a tool to validate an Azure DevOps Pipeline locally?