<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Multi-pass path-sensitive analysis is indeed not a thing. However,
you can do arbitrary AST-based analysis before path-sensitive
analysis or after it by subscribing to the respective callback, and
you can also explore the whole path-sensitive analysis graph at the
end of the analysis. But none of this is actually used actively;
there's usually no need for this.<br>
<br>
Also all path-sensitive checkers have a way to affect other checkers
and communicate to each other via mutating the common program state.
This is used much more actively and allows conducting multiple
interconnected analysis in a single path.<br>
<br>
There's most likely an easier solution to what you're trying to do;
i recommend discussing it.<br>
<br>
<div class="moz-cite-prefix">On 6/9/19 6:51 AM, Алексеев Кирилл via
cfe-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:2241831560088310@myt1-ea84d188029c.qloud-c.yandex.net">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div><br>
</div>
<div>Hello, I'm beginner in CSA programming. I have read clang SA
a checker developer manual</div>
<div>and have some questions.</div>
<div>How can I pass command line options to CSA checker? Does
-Xanalyzer option can help me?</div>
<div>May be I need to see AnalyzerOptions.cpp, but can't
understand how to catch options from my checker.</div>
<div><br>
</div>
<div>Also I want to know is it possible to realize multi-pass
analyzer with parallel or sequential running of one or multiply
checker with data transfer between passes.</div>
<div>I need to run first checker that taint some input, observes
taint values and find some AST expressions (or with path
sensible analysis).</div>
<div>After this checker ends up I need to start the second
checker, that uses search results of 1'st in analysis from
begining of ExplodedGraph.</div>
<div><br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
cfe-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>