| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <ddee447-be49-5cd0-d284-17289f917e8@inria.fr>
Date: Tue, 1 Oct 2024 12:40:52 +0200 (CEST)
From: Julia Lawall <julia.lawall@...ia.fr>
To: Hans Verkuil <hverkuil@...all.nl>
cc: Julia Lawall <julia.lawall@...ia.fr>,
Ricardo Ribalda <ribalda@...omium.org>,
Laurent Pinchart <laurent.pinchart@...asonboard.com>,
Sakari Ailus <sakari.ailus@...ux.intel.com>,
Bingbu Cao <bingbu.cao@...el.com>, Tianshu Qiu <tian.shu.qiu@...el.com>,
Mauro Carvalho Chehab <mchehab@...nel.org>,
Greg Kroah-Hartman <gregkh@...uxfoundation.org>,
Hans de Goede <hdegoede@...hat.com>, Andy Shevchenko <andy@...nel.org>,
Mike Isely <isely@...ox.com>, Olli Salonen <olli.salonen@....fi>,
Maxim Levitsky <maximlevitsky@...il.com>, Sean Young <sean@...s.org>,
Sergey Kozlov <serjk@...up.ru>, Abylay Ospan <aospan@...up.ru>,
Jemma Denson <jdenson@...il.com>,
Patrick Boettcher <patrick.boettcher@...teo.de>,
Ming Qian <ming.qian@....com>, Zhou Peng <eagle.zhou@....com>,
Andy Walls <awalls@...metrocast.net>, Michal Simek <michal.simek@....com>,
Jean-Christophe Trotin <jean-christophe.trotin@...s.st.com>,
Philipp Zabel <p.zabel@...gutronix.de>, Shawn Guo <shawnguo@...nel.org>,
Sascha Hauer <s.hauer@...gutronix.de>,
Pengutronix Kernel Team <kernel@...gutronix.de>,
Fabio Estevam <festevam@...il.com>, Eddie James <eajames@...ux.ibm.com>,
Joel Stanley <joel@....id.au>,
Andrew Jeffery <andrew@...econstruct.com.au>,
Hans Verkuil <hverkuil-cisco@...all.nl>, Tomasz Figa <tfiga@...omium.org>,
Marek Szyprowski <m.szyprowski@...sung.com>,
Tim Harvey <tharvey@...eworks.com>,
Benjamin Mugnier <benjamin.mugnier@...s.st.com>,
Sylvain Petinot <sylvain.petinot@...s.st.com>,
Jacopo Mondi <jacopo+renesas@...ndi.org>,
Kieran Bingham <kieran.bingham+renesas@...asonboard.com>,
Niklas Söderlund <niklas.soderlund+renesas@...natech.se>,
linux-media@...r.kernel.org, linux-staging@...ts.linux.dev,
linux-kernel@...r.kernel.org, linux-arm-kernel@...ts.infradead.org,
imx@...ts.linux.dev, openbmc@...ts.ozlabs.org,
linux-aspeed@...ts.ozlabs.org
Subject: Re: [PATCH 00/45] media: Use string_choice helpers
> >> Julia, correct me if I am wrong, but I believe that cocci does not
> >> have the ability to check only new code. It runs against files not
> >> diffs.
> >
> > Coccinelle runs on files normally. There is an option --use-patch-diff
> > where you can give a commit id, and it should only work on the files
> > mentioned in that commit, but it doesn't seem to focus on only the new
> > code in that commit.
>
> Is it possible to add support for that?
It should be possible. The tricky part is that Coccinelle can match eg
foo();
...
-bar()
+xxx()
So should the code be patched only if bar() is new? Or also if foo() is new.
> And a related question: is it possible to skip certain tests?
You can specify the test you want to have run, but I don't think there is a
way to do the opposite:
make coccicheck COCCI=<my_SP.cocci> MODE=patch
Maybe if there is a way to focus on specific lines, the problem would go away?
julia
>
> Basically, I don't want to see reports of code improvements, unless it is
> for a new source file. Reports of dangerous/wrong constructs are always
> welcome, but code improvements like these string_choice helpers really only
> make sense for patches adding new source files.
>
> Regards,
>
> Hans
>
> >
> > julia
> >
> >>
> >> I agree with you, a "improvement cocci" shall not force us to drop the
> >> pen and work full time to fix it :)
> >> When a new "improvement" cocci check is landed, we should update our
> >> "allowlist" immediately to ignore those warnings until we slowly
> >> improve our codebase to meet the standard.
> >> That way the CI is not affected.
> >>
> >> Regarding this patchset.... It is pretty big, but also pretty simple.
> >> I added my "extra changes" on the cover letter to ease the review.
> >>
> >> If you or someone else have time to review it... then it will be great
> >> if we land it. But if none has time for it, then it can be ignored.
> >>
> >>
> >> Regards!
> >>
> >>>
> >>> Hans
> >>>
> >>>>
> >>>>> diff --git a/drivers/media/dvb-frontends/ascot2e.c b/drivers/media/dvb-frontends/ascot2e.c
> >>>>> index 8c3eb5d69dda..ec7a718428fc 100644
> >>>>> --- a/drivers/media/dvb-frontends/ascot2e.c
> >>>>> +++ b/drivers/media/dvb-frontends/ascot2e.c
> >>>>> @@ -104,7 +104,7 @@ static void ascot2e_i2c_debug(struct ascot2e_priv *priv,
> >>>>> u8 reg, u8 write, const u8 *data, u32 len)
> >>>>> {
> >>>>> dev_dbg(&priv->i2c->dev, "ascot2e: I2C %s reg 0x%02x size %d\n",
> >>>>> - str_read_write(write == 0), reg, len);
> >>>>> + str_write_read(write), reg, len);
> >>>>> print_hex_dump_bytes("ascot2e: I2C data: ",
> >>>>> DUMP_PREFIX_OFFSET, data, len);
> >>>>> }
> >>>>> diff --git a/drivers/media/dvb-frontends/cxd2841er.c b/drivers/media/dvb-frontends/cxd2841er.c
> >>>>> index db684f314b47..d1b84cd9c510 100644
> >>>>> --- a/drivers/media/dvb-frontends/cxd2841er.c
> >>>>> +++ b/drivers/media/dvb-frontends/cxd2841er.c
> >>>>> @@ -206,7 +206,7 @@ static void cxd2841er_i2c_debug(struct cxd2841er_priv *priv,
> >>>>> {
> >>>>> dev_dbg(&priv->i2c->dev,
> >>>>> "cxd2841er: I2C %s addr %02x reg 0x%02x size %d data %*ph\n",
> >>>>> - str_read_write(write == 0), addr, reg, len, len, data);
> >>>>> + str_write_read(write), addr, reg, len, len, data);
> >>>>> }
> >>>>>
> >>>>> static int cxd2841er_write_regs(struct cxd2841er_priv *priv,
> >>>>> diff --git a/drivers/media/dvb-frontends/helene.c b/drivers/media/dvb-frontends/helene.c
> >>>>> index 52198cb49dba..b4527c141d9c 100644
> >>>>> --- a/drivers/media/dvb-frontends/helene.c
> >>>>> +++ b/drivers/media/dvb-frontends/helene.c
> >>>>> @@ -279,7 +279,7 @@ static void helene_i2c_debug(struct helene_priv *priv,
> >>>>> u8 reg, u8 write, const u8 *data, u32 len)
> >>>>> {
> >>>>> dev_dbg(&priv->i2c->dev, "helene: I2C %s reg 0x%02x size %d\n",
> >>>>> - str_read_write(write == 0), reg, len);
> >>>>> + str_write_read(write), reg, len);
> >>>>> print_hex_dump_bytes("helene: I2C data: ",
> >>>>> DUMP_PREFIX_OFFSET, data, len);
> >>>>> }
> >>>>> diff --git a/drivers/media/dvb-frontends/horus3a.c b/drivers/media/dvb-frontends/horus3a.c
> >>>>> index 84385079918c..10300ebf3ca0 100644
> >>>>> --- a/drivers/media/dvb-frontends/horus3a.c
> >>>>> +++ b/drivers/media/dvb-frontends/horus3a.c
> >>>>> @@ -38,7 +38,7 @@ static void horus3a_i2c_debug(struct horus3a_priv *priv,
> >>>>> u8 reg, u8 write, const u8 *data, u32 len)
> >>>>> {
> >>>>> dev_dbg(&priv->i2c->dev, "horus3a: I2C %s reg 0x%02x size %d\n",
> >>>>> - str_read_write(write == 0), reg, len);
> >>>>> + str_write_read(write), reg, len);
> >>>>> print_hex_dump_bytes("horus3a: I2C data: ",
> >>>>> DUMP_PREFIX_OFFSET, data, len);
> >>>>> }
> >>>>> diff --git a/drivers/media/i2c/adv7842.c b/drivers/media/i2c/adv7842.c
> >>>>> index ba174aa45afa..a43479c3ff03 100644
> >>>>> --- a/drivers/media/i2c/adv7842.c
> >>>>> +++ b/drivers/media/i2c/adv7842.c
> >>>>> @@ -2763,7 +2763,7 @@ static int adv7842_cp_log_status(struct v4l2_subdev *sd)
> >>>>> str_true_false(io_read(sd, 0x6a) & 0x10));
> >>>>> }
> >>>>> v4l2_info(sd, "CP free run: %s\n",
> >>>>> - str_on_off(!!(cp_read(sd, 0xff) & 0x10)));
> >>>>> + str_on_off(cp_read(sd, 0xff) & 0x10));
> >>>>> v4l2_info(sd, "Prim-mode = 0x%x, video std = 0x%x, v_freq = 0x%x\n",
> >>>>> io_read(sd, 0x01) & 0x0f, io_read(sd, 0x00) & 0x3f,
> >>>>> (io_read(sd, 0x01) & 0x70) >> 4);
> >>>>> diff --git a/drivers/media/pci/saa7134/saa7134-cards.c b/drivers/media/pci/saa7134/saa7134-cards.c
> >>>>> index 301b89e799d8..79cd61fb0205 100644
> >>>>> --- a/drivers/media/pci/saa7134/saa7134-cards.c
> >>>>> +++ b/drivers/media/pci/saa7134/saa7134-cards.c
> >>>>> @@ -7981,7 +7981,7 @@ int saa7134_board_init2(struct saa7134_dev *dev)
> >>>>> rc = i2c_transfer(&dev->i2c_adap, &msg, 1);
> >>>>> pr_info("%s: probe IR chip @ i2c 0x%02x: %s\n",
> >>>>> dev->name, msg.addr,
> >>>>> - str_yes_no(1 == rc));
> >>>>> + str_yes_no(rc == 1));
> >>>>> if (rc == 1)
> >>>>> dev->has_remote = SAA7134_REMOTE_I2C;
> >>>>> }
> >>>>> diff --git a/drivers/media/pci/saa7134/saa7134-input.c b/drivers/media/pci/saa7134/saa7134-input.c
> >>>>> index 90837ec6e70f..239f0b9d080a 100644
> >>>>> --- a/drivers/media/pci/saa7134/saa7134-input.c
> >>>>> +++ b/drivers/media/pci/saa7134/saa7134-input.c
> >>>>> @@ -895,7 +895,7 @@ void saa7134_probe_i2c_ir(struct saa7134_dev *dev)
> >>>>> rc = i2c_transfer(&dev->i2c_adap, &msg_msi, 1);
> >>>>> input_dbg("probe 0x%02x @ %s: %s\n",
> >>>>> msg_msi.addr, dev->i2c_adap.name,
> >>>>> - str_yes_no(1 == rc));
> >>>>> + str_yes_no(rc == 1));
> >>>>> break;
> >>>>> case SAA7134_BOARD_SNAZIO_TVPVR_PRO:
> >>>>> dev->init_data.name = "SnaZio* TVPVR PRO";
> >>>>> @@ -931,7 +931,7 @@ void saa7134_probe_i2c_ir(struct saa7134_dev *dev)
> >>>>> rc = i2c_transfer(&dev->i2c_adap, &msg_msi, 1);
> >>>>> input_dbg("probe 0x%02x @ %s: %s\n",
> >>>>> msg_msi.addr, dev->i2c_adap.name,
> >>>>> - str_yes_no(1 == rc));
> >>>>> + str_yes_no(rc == 1));
> >>>>> break;
> >>>>> case SAA7134_BOARD_HAUPPAUGE_HVR1110:
> >>>>> dev->init_data.name = saa7134_boards[dev->board].name;
> >>>>> diff --git a/drivers/media/usb/pvrusb2/pvrusb2-ctrl.c b/drivers/media/usb/pvrusb2/pvrusb2-ctrl.c
> >>>>> index 448c40caf363..b6c9bda214c8 100644
> >>>>> --- a/drivers/media/usb/pvrusb2/pvrusb2-ctrl.c
> >>>>> +++ b/drivers/media/usb/pvrusb2/pvrusb2-ctrl.c
> >>>>> @@ -521,7 +521,7 @@ int pvr2_ctrl_value_to_sym_internal(struct pvr2_ctrl *cptr,
> >>>>> *len = scnprintf(buf,maxlen,"%d",val);
> >>>>> ret = 0;
> >>>>> } else if (cptr->info->type == pvr2_ctl_bool) {
> >>>>> - *len = scnprintf(buf,maxlen,"%s",str_true_false(val));
> >>>>> + *len = scnprintf(buf, maxlen, "%s", str_true_false(val));
> >>>>> ret = 0;
> >>>>> } else if (cptr->info->type == pvr2_ctl_enum) {
> >>>>> const char * const *names;
> >>>>> diff --git a/drivers/media/usb/pvrusb2/pvrusb2-hdw.c b/drivers/media/usb/pvrusb2/pvrusb2-hdw.c
> >>>>> index 96d3a0045fac..761d718478ca 100644
> >>>>> --- a/drivers/media/usb/pvrusb2/pvrusb2-hdw.c
> >>>>> +++ b/drivers/media/usb/pvrusb2/pvrusb2-hdw.c
> >>>>> @@ -338,7 +338,7 @@ static void trace_stbit(const char *name,int val)
> >>>>> {
> >>>>> pvr2_trace(PVR2_TRACE_STBITS,
> >>>>> "State bit %s <-- %s",
> >>>>> - name,str_true_false(val));
> >>>>> + name, str_true_false(val));
> >>>>> }
> >>>>>
> >>>>> Signed-off-by: Ricardo Ribalda <ribalda@...omium.org>
> >>>>> ---
> >>>>> Ricardo Ribalda (45):
> >>>>> media: staging: ipu3: Use string_choices helpers
> >>>>> media: staging: atomisp: Use string_choices helpers
> >>>>> media: core: Use string_choices helpers
> >>>>> media: pwc-ctl: Use string_choices helpers
> >>>>> media: pvrusb2:Use string_choices helpers
> >>>>> media: em28xx: Use string_choices helpers
> >>>>> media: dvb-usb: Use string_choices helpers
> >>>>> media: dvb-usb-v2: Use string_choices helpers
> >>>>> media: cx231xx: Use string_choices helpers
> >>>>> media: tuners: Use string_choices helpers
> >>>>> media: rc: Use string_choices helpers
> >>>>> media: dvb-frontends: Use string_choices helpers
> >>>>> media: pci: cx23885: Use string_choices helpers
> >>>>> media: saa7134: Use string_choices helpers
> >>>>> media: amphion: Use string_choices helpers
> >>>>> media: pci: ivtv: Use string_choices helpers
> >>>>> media: bttv: Use string_choices helpers
> >>>>> media: xilinx: Use string_choices helpers
> >>>>> media: platform: ti: Use string_choices helpers
> >>>>> media: st: Use string_choices helpers
> >>>>> media: coda: Use string_choices helpers
> >>>>> media: aspeed: Use string_choices helpers
> >>>>> media: ipu6: Use string_choices helpers
> >>>>> media: cx18: Use string_choices helpers
> >>>>> media: cobalt: Use string_choices helpers
> >>>>> media: videobuf2: Use string_choices helpers
> >>>>> media: cec: Use string_choices helpers
> >>>>> media: b2c2: Use string_choices helpers
> >>>>> media: siano: Use string_choices helpers
> >>>>> media: i2c: cx25840: Use string_choices helpers
> >>>>> media: i2c: vpx3220: Use string_choices helpers
> >>>>> media: i2c: tvp7002: Use string_choices helpers
> >>>>> media: i2c: ths8200: Use string_choices helpers
> >>>>> media: i2c: tda1997x: Use string_choices helpers
> >>>>> media: i2c: tc358743: Use string_choices helpers
> >>>>> media: i2c: st-mipid02: Use string_choices helpers
> >>>>> media: i2c: msp3400: Use string_choices helpers
> >>>>> media: i2c: max9286: Use string_choices helpers
> >>>>> media: i2c: saa717x: Use string_choices helpers
> >>>>> media: i2c: saa7127: Use string_choices helpers
> >>>>> media: i2c: saa7115: Use string_choices helpers
> >>>>> media: i2c: saa7110: Use string_choices helpers
> >>>>> media: i2c: adv7842: Use string_choices helpers
> >>>>> media: i2c: adv76xx: Use string_choices helpers
> >>>>> media: i2c: adv7511: Use string_choices helpers
> >>>>>
> >>>>> drivers/media/cec/platform/cec-gpio/cec-gpio.c | 4 +-
> >>>>> drivers/media/cec/usb/pulse8/pulse8-cec.c | 4 +-
> >>>>> drivers/media/common/b2c2/flexcop-hw-filter.c | 4 +-
> >>>>> drivers/media/common/siano/sms-cards.c | 3 +-
> >>>>> drivers/media/common/videobuf2/videobuf2-core.c | 5 ++-
> >>>>> drivers/media/dvb-frontends/ascot2e.c | 2 +-
> >>>>> drivers/media/dvb-frontends/cx24120.c | 4 +-
> >>>>> drivers/media/dvb-frontends/cxd2841er.c | 2 +-
> >>>>> drivers/media/dvb-frontends/drxk_hard.c | 4 +-
> >>>>> drivers/media/dvb-frontends/helene.c | 2 +-
> >>>>> drivers/media/dvb-frontends/horus3a.c | 2 +-
> >>>>> drivers/media/dvb-frontends/sp2.c | 2 +-
> >>>>> drivers/media/i2c/adv7511-v4l2.c | 11 +++---
> >>>>> drivers/media/i2c/adv7604.c | 25 ++++++------
> >>>>> drivers/media/i2c/adv7842.c | 40 ++++++++++----------
> >>>>> drivers/media/i2c/cx25840/cx25840-core.c | 4 +-
> >>>>> drivers/media/i2c/cx25840/cx25840-ir.c | 34 ++++++++---------
> >>>>> drivers/media/i2c/max9286.c | 2 +-
> >>>>> drivers/media/i2c/msp3400-driver.c | 4 +-
> >>>>> drivers/media/i2c/saa7110.c | 2 +-
> >>>>> drivers/media/i2c/saa7115.c | 2 +-
> >>>>> drivers/media/i2c/saa7127.c | 15 +++++---
> >>>>> drivers/media/i2c/saa717x.c | 2 +-
> >>>>> drivers/media/i2c/st-mipid02.c | 2 +-
> >>>>> drivers/media/i2c/tc358743.c | 44 ++++++++++------------
> >>>>> drivers/media/i2c/tda1997x.c | 6 +--
> >>>>> drivers/media/i2c/ths8200.c | 4 +-
> >>>>> drivers/media/i2c/tvp7002.c | 2 +-
> >>>>> drivers/media/i2c/vpx3220.c | 2 +-
> >>>>> drivers/media/pci/bt8xx/bttv-cards.c | 16 ++++----
> >>>>> drivers/media/pci/bt8xx/bttv-driver.c | 6 +--
> >>>>> drivers/media/pci/cobalt/cobalt-driver.c | 2 +-
> >>>>> drivers/media/pci/cx18/cx18-av-core.c | 4 +-
> >>>>> drivers/media/pci/cx23885/altera-ci.c | 2 +-
> >>>>> drivers/media/pci/cx23885/cimax2.c | 2 +-
> >>>>> drivers/media/pci/cx23885/cx23888-ir.c | 36 +++++++++---------
> >>>>> drivers/media/pci/intel/ipu6/ipu6-isys-csi2.c | 2 +-
> >>>>> drivers/media/pci/ivtv/ivtvfb.c | 4 +-
> >>>>> drivers/media/pci/saa7134/saa7134-cards.c | 2 +-
> >>>>> drivers/media/pci/saa7134/saa7134-dvb.c | 2 +-
> >>>>> drivers/media/pci/saa7134/saa7134-input.c | 6 +--
> >>>>> drivers/media/pci/saa7134/saa7134-video.c | 2 +-
> >>>>> drivers/media/platform/amphion/venc.c | 2 +-
> >>>>> drivers/media/platform/amphion/vpu_dbg.c | 2 +-
> >>>>> drivers/media/platform/aspeed/aspeed-video.c | 4 +-
> >>>>> drivers/media/platform/chips-media/coda/imx-vdoa.c | 3 +-
> >>>>> drivers/media/platform/st/sti/hva/hva-debugfs.c | 6 +--
> >>>>> drivers/media/platform/ti/omap3isp/ispstat.c | 2 +-
> >>>>> drivers/media/platform/xilinx/xilinx-csi2rxss.c | 18 ++++-----
> >>>>> drivers/media/rc/ene_ir.c | 3 +-
> >>>>> drivers/media/rc/mceusb.c | 3 +-
> >>>>> drivers/media/rc/serial_ir.c | 5 ++-
> >>>>> drivers/media/tuners/tda18250.c | 2 +-
> >>>>> drivers/media/tuners/tda9887.c | 10 ++---
> >>>>> drivers/media/usb/cx231xx/cx231xx-i2c.c | 4 +-
> >>>>> drivers/media/usb/cx231xx/cx231xx-video.c | 2 +-
> >>>>> drivers/media/usb/dvb-usb-v2/az6007.c | 4 +-
> >>>>> drivers/media/usb/dvb-usb-v2/dvb_usb_core.c | 4 +-
> >>>>> drivers/media/usb/dvb-usb/af9005-fe.c | 4 +-
> >>>>> drivers/media/usb/dvb-usb/dvb-usb-dvb.c | 6 +--
> >>>>> drivers/media/usb/dvb-usb/opera1.c | 8 ++--
> >>>>> drivers/media/usb/em28xx/em28xx-i2c.c | 4 +-
> >>>>> drivers/media/usb/em28xx/em28xx-video.c | 2 +-
> >>>>> drivers/media/usb/pvrusb2/pvrusb2-ctrl.c | 2 +-
> >>>>> drivers/media/usb/pvrusb2/pvrusb2-debugifc.c | 3 +-
> >>>>> drivers/media/usb/pvrusb2/pvrusb2-encoder.c | 5 +--
> >>>>> drivers/media/usb/pvrusb2/pvrusb2-hdw.c | 6 +--
> >>>>> drivers/media/usb/pvrusb2/pvrusb2-i2c-core.c | 3 +-
> >>>>> drivers/media/usb/pwc/pwc-ctrl.c | 2 +-
> >>>>> drivers/media/v4l2-core/v4l2-ctrls-core.c | 3 +-
> >>>>> drivers/media/v4l2-core/v4l2-fwnode.c | 12 +++---
> >>>>> .../media/atomisp/pci/atomisp_compat_css20.c | 2 +-
> >>>>> .../media/atomisp/pci/atomisp_csi2_bridge.c | 2 +-
> >>>>> .../media/atomisp/pci/atomisp_gmin_platform.c | 4 +-
> >>>>> drivers/staging/media/atomisp/pci/atomisp_v4l2.c | 4 +-
> >>>>> .../media/atomisp/pci/runtime/binary/src/binary.c | 2 +-
> >>>>> drivers/staging/media/atomisp/pci/sh_css.c | 2 +-
> >>>>> drivers/staging/media/ipu3/ipu3-v4l2.c | 4 +-
> >>>>> 78 files changed, 240 insertions(+), 239 deletions(-)
> >>>>> ---
> >>>>> base-commit: 9852d85ec9d492ebef56dc5f229416c925758edc
> >>>>> change-id: 20240930-cocci-opportunity-40bca6a17c42
> >>>>
> >>>
> >>
> >>
> >> --
> >> Ricardo Ribalda
> >>
> >
>
>
Powered by blists - more mailing lists