Registry / utility / dataflow-errorprone

dataflow-errorprone

library4.0.0javamavenunverified

A dataflow analysis framework for javac, repackaged for use with Error Prone.

<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>dataflow-errorprone</artifactId>
  <version>4.0.0</version>
</dependency>

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · DATAFLOW-ERRORPRON

dataflow-errorprone

utilityjavav4.0.0

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Analysis

✓ org.checkerframework.errorprone.dataflow.analysis.Analysis

Use the dataflow analysis framework for javac.

import org.checkerframework.errorprone.dataflow.analysis.Analysis; import org.checkerframework.errorprone.dataflow.cfg.node.AssignmentNode; Analysis analysis = new Analysis(); // perform analysis on a CFG

Debug

Known issues

gotchaThis artifact is repackaged for Error Prone; use the standard 'dataflow' artifact for Checker Framework.

fix

If not using Error Prone, depend on org.checkerframework:dataflow instead.

affects: all

Upgrade

Version history

4.0.0latest on Maven

Audit

Dependencies

No dependency data recorded yet.

Agent activity

8 hits · last 30 days

node

Resources

githubhttps://github.com/typetools/checker-framework ↗

homepagehttps://checkerframework.org/ ↗

docshttps://appdoc.app/artifact/org.checkerframework/dataflow-errorprone/ ↗