Значения из аннотированного кода рассматриваются как «забывчивые», то есть их обнуляемость неизвестна. Анализ для таких значений ведет себя так же, как и до появления функции NRT.
Вам не нужно отключать обнуляемый контекст для кода, который использует эту библиотеку. Вы просто не поймете, где в ваш код могут попадать значения NULL и где значения NULL могут быть неправильно переданы этому внешнему коду.
В идеале вы должны получить аннотированную версию сборки. Если у него достаточно маленькая площадь поверхности, вы можете предоставить свою собственную аннотированную прокладку.