cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2023-01-07 13:56:31 to 2023-04-07 07:50:34 UTC [more...]

[cocci] Reconsidering repeated pointer checks with SmPL
 2023-04-07  7:50 UTC  (91+ 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 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 

[cocci] HELP: multiple inserts at one position
 2023-03-13 21:09 UTC  (10+ messages)

[cocci] [PATCH] Fix find -name flag when combining --c++ and --include-headers
 2023-03-08 16:24 UTC  (5+ messages)
  ` [cocci] Checking the software build dependency “bundles/pcre/pcre-ocaml/src/pcre.ml.in”

[cocci] [RFC PATCH] cocci: cpi: add complete api check script
 2023-02-27 16:36 UTC  (8+ messages)
` [cocci] [RFC PATCH] coccinelle: Add SmPL script for completion API check

[cocci] [PATCH] coccinelle: put_device: Include of_node_put to avoid false positives
 2023-02-26 20:33 UTC  (4+ messages)

[cocci] [PATCH] scripts: coccicheck: Avoid warning about spurious escape
 2023-02-25 19:27 UTC  (3+ messages)

[cocci] [PATCH] Documentation: coccinelle: Escape --options to fix Sphinx output
 2023-01-31 20:38 UTC  (4+ messages)

[cocci] Nested macros
 2023-01-31 16:20 UTC  (38+ messages)
` [cocci] Checking selected macro calls with SmPL
    ` [cocci] Searching for special function implementations "
              ` [cocci] Adding a parameter for special macro calls "

[cocci] [PATCH] scripts: coccicheck: Use /usr/bin/env
 2023-01-26 21:56 UTC 

[cocci] Update an AC_INIT() call
 2023-01-21 14:42 UTC 

[cocci] Adding function attributes with SmPL?
 2023-01-17 12:24 UTC  (3+ messages)

[cocci] Transforming source code according to the usage of a predicate
 2023-01-07 13:56 UTC  (11+ messages)
      ` [cocci] Working with filled data structures


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).