postgres/timescaledb
1
0
Fork 0
mirror of https://github.com/timescale/timescaledb.git synced 2025-05-14 17:43:34 +08:00
Code Issues Packages Projects Releases Wiki Activity
timescaledb/coccinelle
History
Mats Kindahl 4e17247e76 Add Coccinelle rule to use NameStr 
Direct access of the `.data` member of `NameData` structures are
discuraged and `NameStr` should be used instead.

Also adding one instance that was missed in #5336.
2023-12-12 22:30:05 +01:00
..
bms_result.cocci
Add Coccinelle rules - bitmap set operations
2023-11-03 11:05:27 +01:00
hash_create.cocci
Fix coccinelle hash_create script
2022-08-16 08:01:55 +02:00
heap_freetuple.cocci
Add coccinelle workflow to CI
2021-11-15 10:56:12 +01:00
hypertable_cache2.cocci
Add coccinelle scripts for detecting use-after-free
2022-01-28 01:43:16 +01:00
hypertable_cache.cocci
Add coccinelle scripts for detecting use-after-free
2022-01-28 01:43:16 +01:00
namedata.cocci
Add Coccinelle rule to use NameStr
2023-12-12 22:30:05 +01:00
oidisvalid.cocci
Improve InvalidOid coccinelle check
2022-11-07 11:55:39 +01:00
README.md
Add more descriptive comment to our CI workflows
2022-05-03 09:51:50 +02:00

README.md

This directory contains scripts to check the codebase for defective programming patterns, eg use after free or not freeing resources.

Coccinelle is a static code analysis program. It uses a semantic patch language which resembles unified diff output. The semantic patches may inline python or ocaml code for more advanced use cases.

A coccinelle patch file consists of multiple blocks. Example block header:

@ name @
Expression var1;
Expression var2;
@@

The block header may contain variable definitions. It may also contain required matches or non-matches in previous blocks. Examples for blocks with required previous matches:

@ b2 depends on name @
@@
@ b3 depends on name && !b2 @
@@

Variables inside a block can also reference matches from previous blocks.

@ b2 depends on name @
Expression name.var1;
@@

var1 inside this block will be the match from the name block.