{"id":76800,"library":"dataflow-errorprone","title":"Checker Framework Dataflow (Error Prone)","description":"A dataflow analysis framework for javac, repackaged for use with Error Prone.","status":"active","version":"4.0.0","language":"java","source_language":null,"source_url":"https://github.com/typetools/checker-framework","tags":["dataflow","analysis","javac","error-prone","checker-framework"],"install":[{"cmd":"<dependency>\n  <groupId>org.checkerframework</groupId>\n  <artifactId>dataflow-errorprone</artifactId>\n  <version>4.0.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.checkerframework:dataflow-errorprone:4.0.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"Analysis","correct":"org.checkerframework.errorprone.dataflow.analysis.Analysis"}],"quickstart":{"code":"import org.checkerframework.errorprone.dataflow.analysis.Analysis;\nimport org.checkerframework.errorprone.dataflow.cfg.node.AssignmentNode;\n\nAnalysis analysis = new Analysis();\n// perform analysis on a CFG","lang":"java","description":"Use the dataflow analysis framework for javac."},"warnings":[{"fix":"If not using Error Prone, depend on org.checkerframework:dataflow instead.","message":"This artifact is repackaged for Error Prone; use the standard 'dataflow' artifact for Checker Framework.","severity":"gotcha","affected_versions":"all"}],"env_vars":null,"search_vec":"'analysi':8,19 'checker':1,25 'checker-framework':24 'dataflow':3,7,18 'error':4,16,22 'error-pron':21 'framework':2,9,26 'javac':11,20 'prone':5,17,23 'repackag':12 'use':14","created_at":"2026-06-17T19:38:28.858296+00:00","updated_at":"2026-06-17T19:38:28.858296+00:00","problems":[],"ecosystem":"maven","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://checkerframework.org/","github":"https://github.com/typetools/checker-framework","docs":"https://appdoc.app/artifact/org.checkerframework/dataflow-errorprone/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["utility"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}