DSAC static analysis

From: Randy Dunlap
Date: Thu Dec 14 2017 - 15:55:39 EST

Next message: Greg KH: "Re: [PATCH] media: v4l: xilinx: Use SPDX-License-Identifier"
Previous message: Peter Zijlstra: "Re: [PATCH v2 01/17] mm/gup: Fixup p*_access_permitted()"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

You have written several times:

> This possible bug is found by my static analysis tool (DSAC) and my code
> review.

Is the DSAC static analysis tool available for download?
If so, where?

Thanks,
--
~Randy

Next message: Greg KH: "Re: [PATCH] media: v4l: xilinx: Use SPDX-License-Identifier"
Previous message: Peter Zijlstra: "Re: [PATCH v2 01/17] mm/gup: Fixup p*_access_permitted()"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]