In 2022, AdaCore took the decision of switching the analyses launched by Infer-for-Ada from BufferOverrun to Pulse. This reflected the fact that Pulse is (very) actively developed by Meta, while BO is now in maintenance mode. We will survey the adaptations we had to do (handling of unknown calls, bug fixes, etc), what we gained, and also what we lost. We will also discuss ongoing topics, such as incrementality in presence of function specialization, adding additional checks, or what the new checkers have found on AdaCore’s code. Finally, I will do a quick demo of Infer’s integration in AdaCore’s IDE.