[POCL'24] CHERI static analysis | ACM SIGPLAN | Podwise