le kernels.
> kfree(mem);
> }
> -EXPORT_SYMBOL(kzfree);
> +EXPORT_SYMBOL(kfree_sensitive);
>
> /**
> * ksize - get the actual amount of memory allocated for a given object
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
er. Also I thought I
saw somewhere that Linus doesn't like the name and so that's why we have
the _sensitive() name?
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
nce
> > for optimizations.
>
> Not in general. The (potential) problem here is that the structure has
> padding and it is as a whole (i.e. including the padding) copied to
> userspace. While I'm not aware of a compiler that wouldn't actually
>
Greg already commented on this thread. No need to discuss it further.
regards,
dan carpenter
On Tue, Mar 26, 2019 at 10:38:43AM +0100, Julia Lawall wrote:
>
>
> On Tue, 26 Mar 2019, Dan Carpenter wrote:
>
> > On Sat, Mar 23, 2019 at 09:06:54PM +0100, Julia Lawall wrote:
> > >
> > >
> > > On Sat, 23 Mar 2019, Markus Elfring wrote:
>
their behavior, not the bug finding
> rules that they contain.
The Fixes tag is not just about stable... For example, we use them for
statistics to see how quickly bugs get fixed etc.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
tatic
checker warning which warns about using GFP_ATOMIC when it's supposed to
be GFP_KERNEL. #milestone
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
return start;
Thanks! It occurs to me that another way to detect this bug is that
one of the allocations in this function already uses GFP_ATOMIC. It
doesn't normally make sense to mix GFP_ATOMIC and GFP_KERNEL when there
isn't any locking in the function.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
On Sat, Feb 24, 2018 at 02:59:41AM +, Luis R. Rodriguez wrote:
> On Mon, Jan 22, 2018 at 01:27:54PM +0300, Dan Carpenter wrote:
> > The main problem is that the parentheses are in the wrong place and the
> > unlikely() call returns either 0 or 1 so it's never less than zero.
&
On Thu, Feb 08, 2018 at 02:58:56PM +0100, Julia Lawall wrote:
>
>
> On Thu, 8 Feb 2018, Dan Carpenter wrote:
>
> > On Thu, Feb 08, 2018 at 01:53:54PM +0100, Julia Lawall wrote:
> > > This checks for a comparison using < or > between two constants,
> > >
bugs.
On the other hand, two false positives are not a big deal.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
easier way to do cross
function analysis. I had wondered about that.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
>
That's surprising... Do you have an example false positive?
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
On Wed, Dec 03, 2014 at 01:31:19PM +0100, SF Markus Elfring wrote:
* To which source code place should the word location refer to?
- jump source
- jump target
jump target.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
should be based
on the label location to say what the goto does. Something like
err_put_fsinfo, err_put_fat, and err_unload or like that.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
similarly to the jump target.
That is a useless thing to do.
It seems that there are a few variations used for the affected identifiers.
There is a lot of crap code in the kernel, yes.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
to the label does.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
:
if (foo)
kfree(foo);
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
is not needed.
It doesn't though...
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
topic s390/net: Deletion of unnecessary checks before
two function calls?
What do you want me to clarify? Do you still not see the bug?
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
or free_fuse_tabel.
2) Don't use do-nothing labels. Just return directly.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
pointers.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
know it's fun to send automated patches but these make the code worse
and they waste reviewer time.
regards,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
,
dan carpenter
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
24 matches
Mail list logo