Taint analysis results are separate from pointer analysis results
struce2 opened this issue · 4 comments
Clear and concise description of the problem
The result of pointer analysis is quite big, sometimes you need to open a big file just to view the result of taint analysis, which is not reasonable, and if output to console, it may cause IDE to crash or stuck(I encountered this situation)
Suggested solution
We can consider adding an option to output to the specified file, such as taint-file or taint-result, if the option is not specified, the behavior is the same as if the option is not specified
Alternative
No response
Additional context
No response
How about we output taint analysis results to console as long as it is enabled? So even if points-to results are not dumped, you can view taint analysis results on the console.
I think it's a good idea.
Done. Please update to commit 3f1f27d.
Nice, is worked, thank you.