Popular repositories Loading

1. java-sca-ast-dsl java-sca-ast-dsl Public

   Kotlin 2

2. infer infer Public

   Forked from facebook/infer

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

   OCaml

3. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java

4. SPARTA SPARTA Public

   Forked from facebook/SPARTA

   SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.

   C++

5. detekt detekt Public

   Forked from detekt/detekt

   Static code analysis for Kotlin

   Kotlin

6. jsprime jsprime Public

   Forked from dpnishant/jsprime

   a javascript static security analysis tool

   JavaScript