Popular repositories Loading

1. java-capture java-capture Public

   C 2 1

2. java-sca-ast-dsl java-sca-ast-dsl Public

   Kotlin 2

3. maven-project-inspect maven-project-inspect Public

   used to get compile message from a maven project with run the compilation

   Java

4. infer infer Public

   Forked from facebook/infer

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

   OCaml

5. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java

6. 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++