<div dir="ltr">Hi all,<div><br></div><div>Is it possible to develop a checker  or some feature in clang SA which will only have perfect soundness property ( if we don't care about completness property )  i.e if the analyzer says X is a genuine bug then X is really a genuine bug. Whatever  bug  it reports are all genuine but it doesn't report all genuine bugs. Please guide.</div><div><br></div><div>Thanks,</div><div>Siddharth</div></div>