On Thu, Apr 23, 2020 at 01:10:14PM +0200, Markus Elfring wrote:
> > if do_take_over_console() return an error in the newport_probe(),
> > due to the io virtual address is not released, it will cause a leak.
> How do you think about a wording variant like the following?
>[PATCH v2] console: Complete exception handling in newport_probe()
>A call of the function “do_take_over_console” can fail here.
>The corresponding system resources were not released then.
>Thus add a call of the function “iounmap” together with the check
>of a failure predicate.
> I would like to point out that there is a script for the semantic
> patch language which would detect other questionable source code.
> How do you think about to extend presented software analysis approaches?
Sorry, I am not familiar with it, I don't know.
Cocci mailing list