Skip to content

Commit

Permalink
update Coccinelle URL
Browse files Browse the repository at this point in the history
Signed-off-by: Julia Lawall <[email protected]>
  • Loading branch information
JuliaLawall committed Aug 7, 2022
1 parent 18c06cf commit f01701c
Show file tree
Hide file tree
Showing 43 changed files with 43 additions and 43 deletions.
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/alloc/zalloc-simple.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
// Copyright: (C) 2009-2010 Julia Lawall, Nicolas Palix, DIKU.
// Copyright: (C) 2009-2010 Gilles Muller, INRIA/LiP6.
// Copyright: (C) 2017 Himanshu Jha
// URL: http://coccinelle.lip6.fr/rules/kzalloc.html
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --no-includes --include-headers
//
// Keywords: kmalloc, kzalloc
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/atomic_as_refcounter.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Copyright (c) 2016-2017, Elena Reshetova, Intel Corporation
//
// Confidence: Moderate
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --include-headers --very-quiet

virtual report
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/check_bq27xxx_data.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
///
// Confidence: High
// Copyright: (C) 2017 Julia Lawall, Inria/LIP6,
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Requires: 1.0.7
// Keywords: BQ27XXX_DATA

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/d_find_alias.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
// Keywords: d_find_alias, dput
//
// Confidence: Moderate
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --include-headers

virtual context
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/err_cast.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
// Copyright: (C) 2009, 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2009, 2010 Julia Lawall, DIKU.
// Copyright: (C) 2009, 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options:
//
// Keywords: ERR_PTR, PTR_ERR, ERR_CAST
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/kstrdup.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/memdup.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/memdup_user.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/pm_runtime.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
// Keywords: pm_runtime
// Confidence: Medium
// Copyright (C) 2013 Texas Instruments Incorporated -
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --include-headers

virtual patch
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/api/resource_size.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
// Copyright: (C) 2009, 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2009, 2010 Julia Lawall, DIKU.
// Copyright: (C) 2009, 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options:
//
// Keywords: resource_size
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/free/clk_put.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
// Confidence: Moderate
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options:

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/free/devm_free.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@
// Confidence: Moderate
// Copyright: (C) 2011 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2011 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/free/iounmap.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
// Confidence: Moderate
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options:

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/free/kfree.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/free/kfreeaddr.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
///
// Confidence: High
// Copyright: (C) 2013 Julia Lawall, INRIA/LIP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/free/pci_free_consistent.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
///
// Confidence: Moderate
// Copyright: (C) 2013 Petr Strnad.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Keywords: pci_free_consistent, pci_alloc_consistent
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/iterators/device_node_continue.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
///
// Confidence: High
// Copyright: (C) 2015 Julia Lawall, Inria.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --no-includes --include-headers
// Requires: 1.0.4
// Keywords: for_each_child_of_node, etc.
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/iterators/for_each_child.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
///
// Confidence: High
// Copyright: (C) 2020 Sumera Priyadarsini
// URL: http://coccinelle.lip6.fr
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --no-includes --include-headers

virtual patch
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/iterators/itnull.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/iterators/list_entry_update.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/iterators/use_after_iter.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
// Confidence: Moderate
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LIP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/locks/call_kern.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
// Copyright: (C) 2012 Nicolas Palix.
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/locks/double_lock.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/locks/flags.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/locks/mini_lock.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/cstptr.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Confidence: High
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/doubleinit.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments: requires at least Coccinelle 0.2.4, lex or parse error otherwise
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/ifcol.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/newline_in_nl_msg.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
///
// Confidence: Very High
// Copyright: (C) 2020 Intel Corporation
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --no-includes --include-headers

virtual context
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/noderef.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Confidence: High
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/orplus.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
// Confidence: Moderate
// Copyright: (C) 2013 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2013 Gilles Muller, INRIA/LIP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/returnvar.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
///
// Confidence: Moderate
// Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments: Comments on code can be deleted if near code that is removed.
// "when strict" can be removed to get more hits, but adds false
// positives
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/semicolon.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
///
// Confidence: Moderate
// Copyright: (C) 2012 Peter Senna Tschudin, INRIA/LIP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments: Some false positives on empty default cases in switch statements.
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/test_addr.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
// Confidence: High
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/misc/warn.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
// Confidence: High
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/null/badzero.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
// Confidence: High
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Requires: 1.0.0
// Options:

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/null/deref_null.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments: -I ... -all_includes can give more complete results
// Options:

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/null/eno.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
// Copyright: (C) 2010-2012 Nicolas Palix.
// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/null/kmerr.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/tests/doublebitand.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/tests/doubletest.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
// Copyright: (C) 2010 Nicolas Palix, DIKU.
// Copyright: (C) 2010 Julia Lawall, DIKU.
// Copyright: (C) 2010 Gilles Muller, INRIA/LiP6.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers

Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/tests/odd_ptr_err.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
// Confidence: High
// Copyright: (C) 2012, 2015 Julia Lawall, INRIA.
// Copyright: (C) 2012, 2015 Gilles Muller, INRIA.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --no-includes --include-headers

virtual patch
Expand Down
2 changes: 1 addition & 1 deletion scripts/coccinelle/tests/unsigned_lesser_than_zero.cocci
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
///
// Confidence: Average
// Copyright: (C) 2015 Andrzej Hajda, Samsung Electronics Co., Ltd.
// URL: http://coccinelle.lip6.fr/
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Options: --all-includes

virtual context
Expand Down

0 comments on commit f01701c

Please sign in to comment.