cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
[cocci] Reconsidering repeated pointer checks with SmPL
 2023-03-28 19:24 UTC  (79+ 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] [PATCH 0/3] scsi: message: fusion: Adjustments for four function implementations
  ` [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 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 kfree() calls for null pointers (with SmPL)
 2023-03-28 18:52 UTC  (8+ 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] 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  (18+ messages)
      ` [cocci] Another extension for the software documentation
      ` [cocci] Working with filled data structures

[Cocci] Checking the replacement of two specific function calls
 2023-01-06 13:04 UTC  (4+ messages)
` [Cocci] [PATCH] Coccinelle: api: Add SmPL script “use_devm_platform_get_and_ioremap_resource.cocci”
  ` [Cocci] [PATCH v2] "
      ` [cocci] [PATCH v3] "

[cocci] coccinelle: How to remove a return at the end of a void function?
 2022-12-27 11:54 UTC  (7+ messages)

[cocci] [PATCH v2] coccinelle: api/atomic_as_refcounter: include message type in output
 2022-12-26 20:51 UTC  (2+ messages)

[cocci] [PATCH] coccinelle: api/atomic_as_refcounter: include message type in output
 2022-12-26 11:41 UTC  (3+ messages)

[cocci] Another space oddity
 2022-12-19  8:44 UTC  (5+ messages)


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