search for: noqnoqneo

Thanks for the detailed explanation. So is changing the analysis technique from path sensitive (symbolic execution) analysis to some other technique bring in the soundness property ? Thanks, Siddharth On Sat, Aug 18, 2018 at 1:27 AM, Artem Dergachev <noqnoqneo at gmail.com> wrote: > Nope, at least not with the "path-sensitive" (symbolic execution) engine. > Which is the whole point of using the Analyzer, as compared to writing an > arbitrary tool by exploring the AST yourself. Depends on what you want to > check, of course, some...

+Aaron because i think he uses scan-build on Windows more or less successfully. I won't have time for setting up a Windows machine for myself in the nearest future. Could you tell us exactly what you're doing and what exactly does it print to console, more in the spirit of http://www.catb.org/~esr/faqs/smart-questions.html ? > scan-build: Not supported for windows. Exiting...

Hello, Le 29/08/2019 à 01:02, Artem Dergachev a écrit : > Yay thx! > > Sylvestre, is there anything i can help you with in order to get the reports page back up? Sorry, it took me a while to get that back but here is the report of r371718: https://llvm.org/reports/scan-build/ > I'd also indeed love to spam people with warnings that they introduced, even if in the form of a

Hi all, 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. Thanks, Siddharth -------------- next part