ucr-riple / NullAwayAnnotator
A tool to help adapting code bases to NullAway type system.
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for NullAwayAnnotator
- ☆25Updated this week
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated 2 weeks ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆13Updated 2 weeks ago
- Software testing optimization tool☆27Updated 9 months ago
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- A constraint solver abstraction layer for Java☆20Updated last year
- test driver to run JUnit tests isolated in a new JVM☆16Updated 2 weeks ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- fast and effective way to access and analyze java bytecode☆21Updated this week
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- A platform for analysis of Java bytecode