A static analyzer for Java, C and Objective-C. It is a tool to detect bugs in Android and iOS apps. 

Infer - A static analyzer for Java, C and Objective-C 

Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. Pyright does not require a Python environment or imported third-party packages to be installed. Pyright includes both a command-line tool and an extension for Visual Studio Code that implements the Language Server Protocol.

Pyright - Static type checker for Python

 Detect ineffectual assignments in Go code. This tool misses some cases because does not consider any type information in its analysis. (For example, assignments to struct fields are never marked as ineffectual.) It should, however, never give any false positives.

ineffassign - Detect ineffectual assignments in Go code.

Discover open source projects across all platforms

Projects

Infer - A static analyzer for Java, C and Objective-C

Pyright - Static type checker for Python

ineffassign - Detect ineffectual assignments in Go code.

TechStack

Tagcloud

Suggested keywords:

Projects

Infer - A static analyzer for Java, C and Objective-C

Pyright - Static type checker for Python

ineffassign - Detect ineffectual assignments in Go code.

TechStack

Tagcloud