Popular repositories Loading

1. securityChecker securityChecker Public

   Java 1

2. checker-framework checker-framework Public

   Forked from eisop/checker-framework

   Pluggable type-checking for Java

   Java

3. jspecify jspecify Public

   Forked from jspecify/jspecify

   An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

   Java

4. infer infer Public

   Forked from facebook/infer

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

   OCaml

5. plume-scripts plume-scripts Public

   Forked from eisop-plume-lib/plume-scripts

   Scripts for programming and system administration

   Perl

6. checker-framework-inference checker-framework-inference Public

   Forked from opprop/checker-framework-inference

   Inference of pluggable types for Java

   Java