You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
currently I's using infer 1.1.0.
but i am curious the question : can infer find out all suspecious bugs epsecially mem leak bugs?
if not, is there an open source tool can do ?
thanks
The text was updated successfully, but these errors were encountered:
No, Infer is underapproximate by nature, which means that it tries to minimize false positives, while potentially having false negatives (missing bugs). Software model checkers aim to not have false negatives, however they often suffer from performance issues in practice.
currently I's using infer 1.1.0.
but i am curious the question : can infer find out all suspecious bugs epsecially mem leak bugs?
if not, is there an open source tool can do ?
thanks
The text was updated successfully, but these errors were encountered: