On Sat, Nov 14, 2015 at 09:53:44PM +, Peter Maydell wrote:
> So I tried out Facebook's Infer static analysis tool (http://fbinfer.com/)
> on QEMU this evening, just to see whether it would be able to handle our
> codebase and if it would report anything interesting.
>
> The good news is it was
On 14/11/2015 22:53, Peter Maydell wrote:
> That's a shame, because it would have been nice to include another
> kind of static analysis in what we run on QEMU (especially since
> the coverity tests are "only runs every so often when we do a build"),
> and the ability to do incremental analysis w
So I tried out Facebook's Infer static analysis tool (http://fbinfer.com/)
on QEMU this evening, just to see whether it would be able to handle our
codebase and if it would report anything interesting.
The good news is it was easy enough to install and didn't fall over;
all you have to do to run i
