msridhar

BenchmarkJava

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.

checker-framework

Pluggable type-checking for Java

NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

NullAwayAnnotator

NullAwayAnnotator is a tool that automatically fixes source code to pass NullAway checks.

bazel

a fast, scalable, multi-language and extensible build system

cf-cfg-crash-example

coveralls-jacoco-gradle-plugin

Coveralls JaCoCo Gradle plugin

crypto

Lecture notes for a course on cryptography

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

daikon

Dynamic detection of likely invariants

durian-swt

Reactive utilities and fluent builders for SWT

ep-maven-test-warnings

error-prone

Catch common Java mistakes as compile-time errors

jalangi2

Dynamic analysis framework for JavaScript

javaparser

Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13

jdk

Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

jdk-1

jspecify

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

lombok

Very spicy additions to the Java programming language.

nullaway-java-sample

ocw

A really simple language for controlling microfluidic valves

pcollections

A Persistent Java Collections Library

plse-deadlines

PL/SE conference deadline countdowns

plume-bib

BibTeX bibliographies

plume-scripts

Scripts for programming and system administration

rhino

Rhino is an open-source implementation of JavaScript written entirely in Java

SIGPLAN.github.io

SIGPLAN website

tainting-example

WALA

T.J. Watson Libraries for Analysis

zookeeper

Mirror of Apache Hadoop ZooKeeper