[INFER24] State of the Infer Platform | ACM SIGPLAN | Podwise