cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2023-03-16 20:08:12 to 2023-04-18 17:45:22 UTC [more...]

[cocci] Checking pointer dereferences with SmPL
 2023-04-18 17:45 UTC  (65+ messages)
` [cocci] Reconsidering pointer dereferences before null pointer checks (with SmPL)
  ` [cocci] [PATCH 0/5] drm/amd: Adjustments for three function implementations
    ` [cocci] [PATCH 1/5] drm/amdgpu: Move a variable assignment behind a null pointer check in amdgpu_ras_interrupt_dispatch()
    ` [cocci] [PATCH 2/5] drm/amd/display: Move three variable assignments behind condition checks in trigger_hotplug()
    ` [cocci] [PATCH 3/5] drm/amd/display: Delete three unnecessary variable initialisations "
    ` [cocci] [PATCH 4/5] drm/amd/display: Delete a redundant statement "
    ` [cocci] [PATCH 5/5] drm/amd/display: Move an expression into a return statement in dcn201_link_encoder_create()
  ` [cocci] [PATCH] drm/msm/dpu: Delete a variable initialisation before a null pointer check in two functions
  ` [cocci] [PATCH] qed: Move a variable assignment behind "
  ` [cocci] [PATCH] ASoC: SOF: topology: Move a variable assignment behind condition checks in sof_dai_load()
  ` [cocci] [PATCH] perf map: Delete two variable initialisations before null pointer checks in sort__sym_from_cmp()
  ` [cocci] [PATCH] tipc: Reduce scope for the variable “fdefq” in tipc_link_tnl_prepare()
  ` [cocci] [PATCH] gfs2: Move a variable assignment behind a null pointer check in inode_go_dump()
  ` [cocci] [PATCH] video: au1100fb: Move a variable assignment behind a null pointer check in au1100fb_setmode()
  ` [cocci] [PATCH] media: atomisp: Move a variable assignment behind a null pointer check in atomisp_cp_general_isp_parameters()
  ` [cocci] [PATCH] scsi: hpsa: Move two variable assignments behind condition checks in hpsa_scsi_ioaccel_raid_map()
  ` [cocci] [PATCH] nvdimm: Replace the usage of a variable by a direct function call in nd_pfn_validate()
          ` [cocci] "
  ` [cocci] [PATCH] media: adv748x: Move a variable assignment behind condition checks in adv748x_hdmi_query_dv_timings()
    ` [cocci] [PATCH v2 0/3] media: adv748x: Adjustments for adv748x_hdmi_query_dv_timings()
      ` [cocci] [PATCH v2 1/3] media: adv748x: Delete a null pointer check in adv748x_hdmi_query_dv_timings()
      ` [cocci] [PATCH v2 2/3] media: adv748x: Move a variable assignment behind condition checks "
      ` [cocci] [PATCH v2 3/3] media: adv748x: Improve a size determination "
  ` [cocci] [PATCH] media: adv7604: Move a variable assignment behind condition checks in adv76xx_query_dv_timings()
    ` [cocci] [PATCH v2 0/4] media: adv7604: Adjustments for two function implementations
      ` [cocci] [PATCH v2 1/4] media: adv7604: Delete a null pointer check in adv76xx_query_dv_timings()
      ` [cocci] [PATCH v2 2/4] media: adv7604: Move a variable assignment behind condition checks "
  ` [cocci] [PATCH] media: mediatek: vcodec: Move a variable assignment behind condition checks in vdec_vp9_slice_single_decode()
      ` [cocci] [PATCH 0/2] media: mediatek: vcodec: Adjustments for vdec_vp9_slice_single_decode()
        ` [cocci] [PATCH 1/2] media: mediatek: vcodec: Delete null pointer checks in vdec_vp9_slice_single_decode()
        ` [cocci] [PATCH 2/2] media: mediatek: vcodec: Move variable assignments behind "
  ` [cocci] [PATCH] media: au0828: Move a variable assignment behind condition checks in au0828_isoc_copy()
      ` [cocci] [PATCH 0/5] media: au0828: Adjustments for four function implementations
        ` [cocci] [PATCH 1/5] media: au0828: Delete a null pointer check in au0828_isoc_copy()
        ` [cocci] [PATCH 2/5] media: au0828: Move variable assignments behind condition checks "
        ` [cocci] [PATCH 3/5] media: au0828: Return a status code only as a constant "
        ` [cocci] [PATCH 4/5] media: au0828: Delete an unnecessary return statement in two functions
        ` [cocci] [PATCH 5/5] media: au0828: Use common error handling code in au0828_init_isoc()
  ` [cocci] [PATCH 0/9] GPU-DRM-nouveau: Adjustments for seven function implementations
    ` [cocci] [PATCH 1/9] drm/nouveau/debugfs: Move an expression into a function call parameter in nouveau_debugfs_pstate_set()
    ` [cocci] [PATCH 2/9] drm/nouveau/debugfs: Move a variable assignment behind a null pointer check in nouveau_debugfs_pstate_get()
    ` [cocci] [PATCH 3/9] drm/nouveau/debugfs: Use seq_putc() "
    ` [cocci] [PATCH 4/9] drm/nouveau/debugfs: Replace five seq_printf() calls by seq_puts() "
    ` [cocci] [PATCH 5/9] drm/nouveau/bios/power_budget: Move an expression into a macro call parameter in nvbios_power_budget_header()
    ` [cocci] [PATCH 6/9] drm/nouveau/clk: Move a variable assignment behind a null pointer check in nvkm_pstate_new()
    ` [cocci] [PATCH 7/9] drm/nouveau/pci: Move a variable assignment behind condition checks in nvkm_pcie_set_link()
    ` [cocci] [PATCH 8/9] drm/nouveau/pci: Move an expression into a function call parameter "
    ` [cocci] [PATCH 9/9] drm/nouveau/therm: Move an assignment statement behind a null pointer check in two functions
  ` [cocci] [PATCH] drm/bridge: it6505: Move a variable assignment behind a null pointer check in receive_timing_debugfs_show()
  ` [cocci] [PATCH] drm/mm: Adjust input parameter validation in DECLARE_NEXT_HOLE_ADDR()

[cocci] Match and print size of allocation
 2023-04-17 23:26 UTC  (6+ messages)

[cocci] Match and print size of allocation
 2023-04-15  5:42 UTC  (3+ messages)

[cocci] Reconsidering repeated pointer checks with SmPL
 2023-04-11 14:20 UTC  (96+ messages)
` [cocci] [PATCH 0/4] powerpc/4xx: Adjustments for four function implementations
  ` [cocci] [PATCH v2 "
    ` [cocci] [PATCH v2 1/4] powerpc/4xx: Fix exception handling in ppc4xx_pciex_port_setup_hose()
    ` [cocci] [PATCH v2 2/4] powerpc/4xx: Fix exception handling in ppc4xx_probe_pcix_bridge()
    ` [cocci] [PATCH v2 3/4] powerpc/4xx: Fix exception handling in ppc4xx_probe_pci_bridge()
    ` [cocci] [PATCH v2 4/4] powerpc/4xx: Delete unnecessary variable initialisations in four functions
  ` [cocci] [PATCH] powerpc/pseries: Fix exception handling in pSeries_reconfig_add_node()
    ` [cocci] "
              ` [cocci] [PATCH v2 0/2] powerpc/pseries: Fixes for "
                ` [cocci] [PATCH resent "
                  ` [cocci] [PATCH resent v2 1/2] powerpc/pseries: Do not pass an error pointer to of_node_put() "
                  ` [cocci] [PATCH resent v2 2/2] powerpc/pseries: Fix exception handling "
  ` [cocci] [PATCH] RDMA/siw: Fix exception handling in siw_accept_newconn()
            ` [cocci] "
  ` [cocci] [PATCH] RDMA/erdma: Fix exception handling in erdma_accept_newconn()
` [cocci] [PATCH 0/2] irqchip/gic-v4: Adjustments for two function implementations
  ` [cocci] [PATCH resent "
    ` [cocci] [PATCH resent 1/2] irqchip/gic-v4: Fix exception handling in its_alloc_vcpu_irqs()
    ` [cocci] [PATCH resent 2/2] irqchip/gic-v4: Fix exception handling in its_alloc_vcpu_sgis()
    ` [cocci] [PATCH] Input: iforce - Fix exception handling in iforce_usb_probe()
        ` [cocci] [PATCH resent] "
` [cocci] [PATCH 0/2] md/raid: Adjustments for two function implementations
  ` [cocci] [PATCH resent "
    ` [cocci] [PATCH resent 1/2] md/raid1: Fix exception handling in setup_conf()
    ` [cocci] [PATCH resent 2/2] md/raid10: "
      ` [cocci] [0/2] md/raid: Adjustments for two function implementations
` [cocci] [PATCH 0/3] scsi: message: fusion: Adjustments for four "
  ` [cocci] [PATCH resent "
    ` [cocci] [PATCH resent 1/3] scsi: message: fusion: Return directly after input data validation failed in four functions
    ` [cocci] [PATCH resent 2/3] scsi: message: fusion: Delete a redundant pointer check "
    ` [cocci] [PATCH resent 3/3] scsi: message: fusion: Delete an unnecessary variable initialisation "
  ` [cocci] [PATCH] media: hantro: HEVC: Fix exception handling in tile_buffer_reallocate()
` [cocci] [PATCH] btrfs: Fix exception handling in relocating_repair_kthread()
  ` [cocci] [PATCH resent] "
` [cocci] [PATCH] ufs: Fix exception handling in ufs_fill_super()
  ` [cocci] [PATCH resent] "
` [cocci] [PATCH] mm/mempolicy: Fix exception handling in shared_policy_replace()
` [cocci] [PATCH] perf cputopo: Improve exception handling in build_cpu_topology()
  ` [cocci] [PATCH resent] "
` [cocci] [PATCH] perf pmu: Improve exception handling in pmu_lookup()
` [cocci] [PATCH] selftests/bpf: Improve exception handling in rbtree_add_and_remove()
  ` [cocci] [PATCH resent] drm/amd/display: Fix exception handling in dm_validate_stream_and_context()
  ` [cocci] [PATCH resent] ext4: Fix exception handling in parse_apply_sb_mount_options()
  ` [cocci] [PATCH resent] bcache: Fix exception handling in mca_alloc()
      ` [cocci] [PATCH v2] "
          ` [cocci] "
  ` [cocci] [PATCH resent] mei: Fix exception handling in mei_cl_irq_read_msg()
  ` [cocci] [PATCH resent] mtd: cfi_cmdset_0001: Fix exception handling in cfi_intelext_setup()
  ` [cocci] [PATCH resent] bbc_i2c: Fix exception handling in attach_one_i2c()
  ` [cocci] [PATCH resent] irqchip/partitions: Fix exception handling in partition_create_desc()
  ` [cocci] [PATCH resent] dmaengine: bestcomm: Fix exception handling in bcom_task_alloc()
  ` [cocci] [PATCH resent] cpufreq: sparc: Fix exception handling in two functions
      ` [cocci] [PATCH] "
          ` [cocci] [PATCH v2] "
              ` [cocci] [v2] "
  ` [cocci] [PATCH resent] clk: at91: sama7g5: Add two jump labels in sama7g5_pmc_setup()
  ` [cocci] [PATCH resent] drbd: Fix exception handling in nla_put_drbd_cfg_context()
      ` [cocci] "
  ` [cocci] [PATCH resent] blk-mq: Add two labels in blk_rq_prep_clone()
  ` [cocci] [PATCH resent] perf/x86/amd/uncore: Fix exception handling in amd_uncore_cpu_up_prepare()
      ` [cocci] "
` [cocci] [PATCH] selftests: cgroup: Fix exception handling in test_memcg_oom_group_score_events()
` [cocci] [PATCH] selinux: Improve exception handling in security_get_bools()
    ` [cocci] "
  ` [cocci] [PATCH v2] selinux: Adjust implementation of security_get_bools()
        ` [cocci] "
` [cocci] Reconsidering repeated checks for error pointers (with SmPL)
  ` [cocci] [PATCH] drm/nouveau: Add a jump label in nouveau_gem_ioctl_pushbuf()
  ` [cocci] [PATCH] firmware: ti_sci: Fix exception handling in ti_sci_probe()
  ` [cocci] [PATCH 0/2] IB/uverbs: Adjustments for create_qp()
    ` [cocci] [PATCH 1/2] IB/uverbs: Improve exception handling in create_qp()
    ` [cocci] [PATCH 2/2] IB/uverbs: Delete a duplicate check "
  ` [cocci] [PATCH] remoteproc: imx_dsp_rproc: Improve exception handling in imx_dsp_rproc_mbox_alloc()
  ` [cocci] [PATCH] spi: atmel: Improve exception handling in atmel_spi_configure_dma()
  ` [cocci] [PATCH] ipvs: Fix exception handling in two functions

[cocci] Completing support for fork-join work flows
 2023-04-04  8:33 UTC  (5+ messages)

[cocci] Source code review around jump label usage (snapshot 2023-03-31)
 2023-04-03  6:51 UTC 

[cocci] [PATCH] Silence Emacs warning on loading cocci.el
 2023-04-02  8:03 UTC  (2+ messages)

[cocci] Reconsidering kfree() calls for null pointers (with SmPL)
 2023-03-30 16:18 UTC  (22+ messages)
` [cocci] [PATCH 0/2] ARM: Adjustments for init_atags_procfs()
  ` [cocci] [PATCH 1/2] ARM: Delete an error message for a failed memory allocation in init_atags_procfs()
  ` [cocci] [PATCH 2/2] ARM: Return directly after a failed kmalloc() "
` [cocci] [PATCH 0/2] perf/x86/intel/pt: Adjustments for pt_pmu_hw_init()
  ` [cocci] [PATCH 1/2] perf/x86/intel/pt: Use -ENOMEM directly for a return statement in pt_pmu_hw_init()
  ` [cocci] [PATCH 2/2] perf/x86/intel/pt: Return directly after a failed kzalloc() "
` [cocci] [PATCH] apparmor: Return directly after a failed kzalloc() in two functions
` [cocci] [PATCH 0/3] lru_cache: Adjustments for lc_create()
  ` [cocci] [PATCH 1/3] lru_cache: Return directly after a failed kzalloc() in lc_create()
  ` [cocci] [PATCH 2/3] lru_cache: Improve two size determinations "
  ` [cocci] [PATCH 3/3] lru_cache: Improve exception handling "
` [cocci] [PATCH] io_uring: Fix exception handling in io_ring_ctx_alloc()
` [cocci] [PATCH 0/4] overlayfs: Adjustments for ovl_fill_super()
  ` [cocci] [PATCH 1/4] overlayfs: Return directly for two checks in ovl_fill_super()
  ` [cocci] [PATCH 2/4] overlayfs: Improve two size determinations "
  ` [cocci] [PATCH 3/4] overlayfs: Improve exception handling "
  ` [cocci] [PATCH 4/4] overlayfs: Move some assignments for the variable “err” "
` [cocci] [PATCH] squashfs: Improve exception handling in squashfs_decompressor_create()

[cocci] Improving documentation for application of error pointers
 2023-03-28 12:20 UTC 


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).