msridhar
UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple
Riverside, CA
Pinned Repositories
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.
rewriting-proxy
Simple proxy for rewriting JavaScript on-the-fly
WALA-start
a basic Gradle configuration to get started with WALA
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
A tool to help adapting code bases to NullAway type system.
WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
msridhar's Repositories
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.
msridhar/checker-framework
Pluggable type-checking for Java
msridhar/ep-maven-test-warnings
msridhar/jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
msridhar/NullAway
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
msridhar/bazel
a fast, scalable, multi-language and extensible build system
msridhar/caffeine
A high performance caching library for Java
msridhar/cf-cfg-crash-example
msridhar/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
msridhar/daikon
Dynamic detection of likely invariants
msridhar/durian-swt
Reactive utilities and fluent builders for SWT
msridhar/error-prone
Catch common Java mistakes as compile-time errors
msridhar/error-prone-wiki
msridhar/jalangi2
Dynamic analysis framework for JavaScript
msridhar/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
msridhar/jdk-1
msridhar/log4j
msridhar/lombok
Very spicy additions to the Java programming language.
msridhar/nullaway-java-sample
msridhar/NullAway-wiki
"Fork" of NullAway wiki, to review contributions, etc.
msridhar/ocw
A really simple language for controlling microfluidic valves
msridhar/pcminer
PC-miner tool for program chairs
msridhar/pcollections
A Persistent Java Collections Library
msridhar/plse-deadlines
PL/SE conference deadline countdowns
msridhar/plume-bib
BibTeX bibliographies
msridhar/SIGPLAN.github.io
SIGPLAN website
msridhar/SootUp
Running the resource leak checker on ScootUp and fixing any resource leaks found.
msridhar/tainting-example
msridhar/WALA
T.J. Watson Libraries for Analysis
msridhar/zookeeper
Mirror of Apache Hadoop ZooKeeper