Quante, JochenNaragund, Sushmita SureshHerrmann, Andrea2024-02-222024-02-2220230720-8928https://dl.gi.de/handle/20.500.12116/43662API protocols specify sequence constraints on API calls. They are typically available in form of finite state machines. Traditionally, API protocols are checked during runtime only: With each API call, the state in the state machine is tracked. If this leads to an error state (or an unsupported operation in a given state), the protocol is violated. However, it would be much more desirable to check adherence to the protocol statically, i.e., prior to execution of the code. In this paper, we report on our endeavors and experiences on doing such checks statically.enAPI protocolstate machinestaticcheckText/Conference Paper