JAX & W-JAX
Die Konferenzen für Java, Architektur- und Software-Innovation

Preventing Errors before they happen – using the Checker Framework

Session
Until August 12:
✓ Raspberry Pi or C64 Mini for free
✓ Group discount
✓ Save up to 756 €
Register now
Bis 12. August:
✓ Gratis Agile Day
✓ Kollegenrabatt
✓ Bis zu 756 € sparen
Jetzt anmelden
Thank you for attending
✓ See you in 2022
Danke für Ihre Teilnahme
✓ Wir sehen uns in 2022
Infos

Are you a developer who is tired of null pointer exceptions, SQL injections, concurrency errors, and other errors that appear during testing or in the field? You need a tool that can guarantee the absence of these errors and of many other important bugs. Are you a software architect who wants to implement custom checks that enforce correct usage and prevent errors? You need a framework that supports you in creating a code checker that works at the semantic level. This tutorial is aimed at both audiences. It will teach you about pluggable type-checking and the Checker Framework, an open-source tool that provides more than a dozen checkers that are ready to use, including ones for nullness, formatting, and concurrency. They have found hundreds of bugs in well-tested open source code, including from Oracle, Google, Apache, etc., and even when other tools like FindBugs gave the code a clean bill of health. The Checker Framework also enables you to create your own new pluggable type system. You will leave the tutorial ready to improve your code.

This Session originates from the archive of Diese Session stammt aus dem Archiv von JAXJAX and  und JAXJAX . Take me to the program of . Hier geht es zum aktuellen Programm von W-JAX W-JAX .

This Session originates from the archive of Diese Session stammt aus dem Archiv von JAXJAX and  und JAXJAX . Take me to the program of . Hier geht es zum aktuellen Programm von JAX JAX .

This Session Diese Session originates from the archive of stammt aus dem Archiv von JAXJAX and  und JAXJAX . Take me to the current program of . Hier geht es zum aktuellen Programm von W-JAX W-JAX or oder JAX JAX .
Alle News der Java-Welt:
Alle News der Java-Welt:

Behind the Tracks

Agile & Culture
Teamwork & Methoden

Data Access & Machine Learning
Speicherung, Processing & mehr

Clouds, Kubernets & Serverless
Alles rund um Cloud

Core Java & JVM Languages
Ausblicke & Best Practices

DevOps & Continuous Delivery
Deployment, Docker & mehr

Microservices
Strukturen & Frameworks

Web Development & JavaScript
JS & Webtechnologien

Performance & Security
Sichere Webanwendungen

Serverside Java
Spring, JDK & mehr

Digital Transformation & Innovation
Technologien & Vorgehensweisen

Software-Architektur
Best Practices

Domain-driven Design
Grundlagen und Ausblick

Spring Ecosystem
Wissen in Spring-Technologien

Web-APIs
API-Technologie, Design und Management