{"id":72912,"library":"checker","title":"Checker Framework","description":"Enhances Java's type system to detect and prevent errors via compiler plug-ins.","status":"active","version":"4.0.0","language":"java","source_language":null,"source_url":"https://github.com/typetools/checker-framework","tags":["type-system","null-safety","compiler","static-analysis"],"install":[{"cmd":"<dependency>\n  <groupId>org.checkerframework</groupId>\n  <artifactId>checker</artifactId>\n  <version>4.0.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.checkerframework:checker:4.0.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"Nullable","correct":"org.checkerframework.checker.nullness.qual.Nullable"}],"quickstart":{"code":"import org.checkerframework.checker.nullness.qual.Nullable;\n\npublic class Example {\n    public static void main(@Nullable String[] args) {\n        System.out.println(\"Hello\");\n    }\n}","lang":"java","description":"Use @Nullable annotation to prevent null pointer errors"},"warnings":[{"fix":"Add the Checker Framework as a Maven annotation processor or use the provided Maven plugin.","message":"Checker Framework requires specific compiler setup (e.g., javac with -processor).","severity":"gotcha","affected_versions":">=4.0.0"}],"env_vars":null,"search_vec":"'analysi':27 'checker':1 'compil':14,24 'detect':9 'enhanc':3 'error':12 'framework':2 'in':17 'java':4 'null':22 'null-safeti':21 'plug':16 'plug-in':15 'prevent':11 'safeti':23 'static':26 'static-analysi':25 'system':7,20 'type':6,19 'type-system':18 'via':13","created_at":"2026-06-17T18:44:45.579759+00:00","updated_at":"2026-06-17T18:44:45.579759+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/checker/","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}}