hadolint / hadolint

Haskell linter that checks Dockerfiles against best-practice rules and runs ShellCheck on the bash inside RUN instructions.

facebook / infer

Static analyzer that finds bugs such as null dereferences and resource leaks in Java, C, C++, and Objective-C code.