ucr-riple / NullAwayAnnotator
A tool to help adapting code bases to NullAway type system.
☆13Updated this week
Alternatives and similar repositories for NullAwayAnnotator:
Users that are interested in NullAwayAnnotator are comparing it to the libraries listed below
- ☆26Updated 2 weeks ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆14Updated 2 weeks ago
- A platform for analysis of Java bytecode☆30Updated 6 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated 5 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated this week
- fast and effective way to access and analyze java bytecode☆27Updated last week
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆14Updated 2 months ago
- A framework for the large scale analysis of programming language usage.☆26Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated 11 months ago
- Pluggable type-checking for Java☆20Updated this week
- ☆22Updated 2 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- Static checker for Java☆86Updated 3 months ago
- junit tools contest infrastructure☆11Updated last year
- A dynamic symbolic analysis tool for Java☆118Updated 5 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 5 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆45Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆57Updated last week
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- A Tool for Mining Rich Abstract Syntax Trees from Code☆58Updated last year
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 6 months ago
- ☆20Updated 3 months ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 4 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆110Updated 2 weeks ago
- Official repository for PraPR source code☆14Updated 3 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆96Updated 5 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago