[Cocci] Advanced processing for data streams?
Hello, Can any circumstances evolve under which you would like to perform data processing by the programming means of a software framework which would be similar to GStreamer? https://gstreamer.freedesktop.org/features/ https://opam.ocaml.org/packages/gstreamer/ Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Clarification for application of null pointer checks with SmPL
>>> pointer == NULL would have been sufficient (not related to the noted >>> problems). >> >> Should this detail be handled as an isomorphism? >> https://github.com/coccinelle/coccinelle/blob/19ee1697bf152d37a78a20cefe148775bf4b0e0d/standard.iso#L134 > > Yes. Unfortunately, I might stumble still on difficulties for the understanding of desired and actually observed software behaviour (because of remaining open issues). Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Clarification for application of null pointer checks with SmPL
On Wed, 11 Mar 2020, Markus Elfring wrote: > >> ... when any > >> when != pointer = \( action(...) \| x \) > >> *if ( > >> (!pointer > >> |pointer == NULL > >> ) > > > > pointer == NULL would have been sufficient (not related to the noted > > problems). > > Should this detail be handled as an isomorphism? > https://github.com/coccinelle/coccinelle/blob/19ee1697bf152d37a78a20cefe148775bf4b0e0d/standard.iso#L134 Yes. julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Clarification for application of null pointer checks with SmPL
>> ... when any >> when != pointer = \( action(...) \| x \) >> *if ( >> (!pointer >> |pointer == NULL >> ) > > pointer == NULL would have been sufficient (not related to the noted > problems). Should this detail be handled as an isomorphism? https://github.com/coccinelle/coccinelle/blob/19ee1697bf152d37a78a20cefe148775bf4b0e0d/standard.iso#L134 >> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >> ~/Projekte/Coccinelle/janitor/show_pointer_access_before_null_check3.cocci >> drivers/firmware/efi/runtime-wrappers.c >> … >> Fatal error: exception File "engine/ctlcocci_integration.ml", line 361, >> characters 4-10: Assertion failed >> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >> ~/Projekte/Coccinelle/janitor/show_pointer_access_before_null_check3.cocci >> net/core/dev.c >> … >> no position information > > Thanks for the reports. These are related to dead code and will be > addressed sooner (second case) or later (first case). I am curious on further collateral evolution. Would you like to discuss any extensions for the affected software areas (besides the mentioned error messages)? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
