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
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- A constraint solver abstraction layer for Java☆20Updated last year
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Software testing optimization tool☆27Updated 9 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 8 months ago
- Static checker for Java☆84Updated 11 months ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆13Updated this week
- A regular expression to SMT-LIB constraint translator☆10Updated 5 years ago
- fast and effective way to access and analyze java bytecode☆20Updated this week
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated last week
- junit tools contest infrastructure☆11Updated 9 months ago
- Pluggable type-checking for Java☆19Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆55Updated last year
- A platform for analysis of Java bytecode☆28Updated 3 weeks ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated last week
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 2 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated this week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Efficient Mutation Testing for Java☆38Updated 2 years ago
- ☕️ Java library for working with SARIF files by Qodana team☆12Updated 2 months ago
- ☆19Updated 2 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 6 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆12Updated 2 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year