Hello everybody,
I noticed in the source code most test Makefiles use --no-pulse-force-continue for the Pulse checker.
I found comments in the source code noting that pulse-force-continue "may introduce false positives" (PulseCallOperations.ml:987-989).
For a large production codebase where reducing false positives is a priority (accepting that some true positives may be missed), should I set
pulse-force-continue and pulse-havoc-arguments to false?
What configuration do you recommend for production use of the Pulse checker?
Thank you again for your time and guidance.
Hello everybody,
I noticed in the source code most test Makefiles use --no-pulse-force-continue for the Pulse checker.
I found comments in the source code noting that pulse-force-continue "may introduce false positives" (PulseCallOperations.ml:987-989).
For a large production codebase where reducing false positives is a priority (accepting that some true positives may be missed), should I set
pulse-force-continue and pulse-havoc-arguments to false?
What configuration do you recommend for production use of the Pulse checker?
Thank you again for your time and guidance.