jGuard - Programming Misuse-Resilient APIs

Explore a 25-minute conference talk from ACM SIGPLAN that introduces jGuard, an innovative extension to Java designed to enhance API resilience against misuse. Delve into the challenges developers face when using APIs correctly and the costly consequences of misuse. Discover how jGuard allows API designers to encode specifications directly into their implementations, eliminating the need for additional tools in the development pipeline. Learn about jGuard's ability to compile to regular Java with checks encoded as exceptions, ensuring seamless integration for API users. Examine the evaluation results demonstrating jGuard's effectiveness in expressing common misuses, matching the accuracy of state-of-the-art API misuse detection tools, and its minimal performance impact. Gain insights into how jGuard addresses the limitations of existing approaches like CogniCrypt and CrySL, offering a practical solution to improve API usability and reduce errors in software development.