lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  PHC 
Open Source and information security mailing list archives
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Date:   Sun,  9 Oct 2022 11:16:03 -0700
From:   Kees Cook <>
To:     Julia Lawall <>
Cc:     Kees Cook <>,,
Subject: [PATCH] python: Add make_expr and include_match documentation

Add the 'make_expr' and 'include_match' helpers in the Python
documentation. Additionally cleans up a markdown-breaking line split.

Signed-off-by: Kees Cook <>
 python/ | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/python/ b/python/
index d0194d6c1391..1d933b9a3934 100644
--- a/python/
+++ b/python/
@@ -11,13 +11,20 @@ file at the end of the execution of the Python script.
 Example: tests/exitp.cocci
+## cocci.include_match(state)
+If a python rule is running, it has matched. If the match should be
+removed from consideration, this can be called with `state` set to
+Example: tests/incpos.cocci
 ## cocci.has_env_binding(rule, name)
 Returns `true` if the meta-variable `name` is bound in the rule
-## cocci.add_pending_instance(files, virtual_rules, virtual_identifiers,
-       extend_virtual_ids)
+## cocci.add_pending_instance(files, virtual_rules, virtual_identifiers, extend_virtual_ids)
 Internal function for the method iteration.register().
@@ -28,9 +35,17 @@ Converts the string `id` to a C identifier.
 Example: tests/python_mdecl.cocci
+## cocci.make_expr(expr)
+Converts the thing `expr` to a C expression.
+(Equivalent to Coccilib.make_expr in OCaml.)
+Example: tests/python_mdecl.cocci
 ## cocci.make_stmt(phrase)
 Parses the string `phrase` as a C statement and returns the statement.
+(Equivalent to Coccilib.make_stmt in OCaml.)
 Example: tests/python_mdecl.cocci

Powered by blists - more mailing lists