From c0d15da345194d829228e863ca7b2a20dceb91c1 Mon Sep 17 00:00:00 2001
From: Henny Sipma <hennysipma@mac.com>
Date: Tue, 20 Oct 2026 21:48:36 -0700
Subject: [PATCH] CHB: pthread summaries

---
 CodeHawk/CHB/bchlib/bCHBCTypeXml.ml           |  2 +
 .../bchsummaries/so_functions/localtime_r.xml | 43 ++++++++++++++++++
 .../CHB/bchsummaries/so_functions/mkfifo.xml  | 43 ++++++++++++++++++
 .../so_functions/pthread_attr_destroy.xml     | 34 ++++++++++++++
 .../so_functions/pthread_attr_init.xml        | 34 ++++++++++++++
 .../pthread_attr_setstacksize.xml             | 43 ++++++++++++++++++
 .../so_functions/pthread_cancel.xml           | 33 ++++++++++++++
 .../so_functions/pthread_detach.xml           | 33 ++++++++++++++
 .../so_functions/pthread_join.xml             | 43 ++++++++++++++++++
 .../so_functions/pthread_rwlock_destroy.xml   | 34 ++++++++++++++
 .../so_functions/pthread_rwlock_init.xml      | 44 +++++++++++++++++++
 .../so_functions/pthread_rwlock_rdlock.xml    | 34 ++++++++++++++
 .../so_functions/pthread_rwlock_unlock.xml    | 34 ++++++++++++++
 .../so_functions/pthread_rwlock_wrlock.xml    | 34 ++++++++++++++
 .../so_functions/pthread_self.xml             | 26 +++++++++++
 .../bchsummaries/so_functions/rewinddir.xml   | 29 ++++++++++++
 .../CHB/bchsummaries/so_functions/sysconf.xml | 31 +++++++++++++
 .../CHB/bchsummaries/so_functions/tcdrain.xml | 31 +++++++++++++
 18 files changed, 605 insertions(+)
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/localtime_r.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/mkfifo.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_destroy.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_init.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_setstacksize.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_cancel.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_detach.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_join.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_destroy.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_init.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_rdlock.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_unlock.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_wrlock.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/pthread_self.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/rewinddir.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/sysconf.xml
 create mode 100644 CodeHawk/CHB/bchsummaries/so_functions/tcdrain.xml

diff --git a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
index 306a81a2..4c2a89ff 100644
--- a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
+++ b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
@@ -78,6 +78,8 @@ let ch_named_struct_types = [
     "ch__pthread_cond_t";
     "ch__pthread_mutex_t";
     "ch__pthread_mutexattr_t";
+    "ch__pthread_rwlock_t";
+    "ch__pthread_rwlockattr_t";
     "ch__pthread_start_routine";
     "ch__pthread_t";
     "ch__rlimit";    (* used in getrlimit *)
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/localtime_r.xml b/CodeHawk/CHB/bchsummaries/so_functions/localtime_r.xml
new file mode 100644
index 00000000..09bd4b01
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/localtime_r.xml
@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 22:08:40"/>
+  <libfun lib="so_functions" name="localtime_r">
+    <documentation>
+      <desc>convert a time value to a broken-down local time</desc>
+      <apidoc>
+        <pt>
+          <ll>struct tm *localtime_r(</ll>
+          <ld>const time_t *restrict timer</ld>
+          <ld>struct tm *restrict result</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="timer">time in seconds pointed to</par>
+        <par name="result">result structure</par>
+        <return>
+          <rc cond="success">pointer to broken down time structure</rc>
+          <rc cond="failure">NULL</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="localtime_r">
+      <par loc="stack" name="timer" nr="1">
+        <type><ptr>time_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <par loc="stack" name="result" nr="2">
+        <type><ptr><ptr>ch__tm</ptr></ptr></type>
+      </par>
+      <returntype><ptr>ch__tm</ptr></returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mkfifo.xml b/CodeHawk/CHB/bchsummaries/so_functions/mkfifo.xml
new file mode 100644
index 00000000..6b120eb5
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mkfifo.xml
@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 22:24:06"/>
+  <libfun lib="so_functions" name="mkfifo">
+    <documentation>
+      <desc>make a FIFO special file</desc>
+      <apidoc>
+        <pt>
+          <ll>int mkfifo(</ll>
+          <ld>const char *path</ld>
+          <ld>mode_t mode</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="path">name of file to be created</par>
+        <par name="mode">file permissions</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="mkfifo">
+      <par loc="stack" name="path" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="mode" nr="2">
+        <type>mode_t</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_destroy.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_destroy.xml
new file mode 100644
index 00000000..596a68e7
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_destroy.xml
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:22:47"/>
+  <libfun lib="so_functions" name="pthread_attr_destroy">
+    <documentation>
+      <desc>destroy the thread attributes object</desc>
+      <apidoc>
+        <pt>int pthread_attr_destroy (pthread_attr_t *attr)</pt>
+        <par name="attr">thread attributes object to be destroyed</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error-number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_attr_destroy">
+      <par loc="stack" name="attr" nr="1">
+        <type><ptr>ch__pthread_attr_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_init.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_init.xml
new file mode 100644
index 00000000..8d7a0713
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_init.xml
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:19:03"/>
+  <libfun lib="so_functions" name="pthread_attr_init">
+    <documentation>
+      <desc>initialize the thread attributes object</desc>
+      <apidoc>
+        <pt>int pthread_attr_init (pthread_attr_t *attr)</pt>
+        <par name="attr">thread attributes object to be initialized</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_attr_init">
+      <par loc="stack" name="attr" nr="1">
+        <type><ptr>ch__pthread_attr_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_setstacksize.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_setstacksize.xml
new file mode 100644
index 00000000..015de2ca
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_attr_setstacksize.xml
@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:26:46"/>
+  <libfun lib="so_functions" name="pthread_attr_setstacksize">
+    <documentation>
+      <desc>set the stacksize attribute</desc>
+      <apidoc>
+        <pt>
+          <ll>int pthread_attr_setstacksize(</ll>
+          <ld>pthread_attr_t *attr</ld>
+          <ld>size_t stacksize</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="attr">attributes object</par>
+        <par name="stacksize">minimum stacksize</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_attr_setstacksize">
+      <par loc="stack" name="attr" nr="1">
+        <type><ptr>ch__pthread_attr_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <par loc="stack" name="stacksize" nr="2">
+        <type>size_t</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cancel.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cancel.xml
new file mode 100644
index 00000000..09ba23bb
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cancel.xml
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:35:55"/>
+  <libfun lib="so_functions" name="pthread_cancel">
+    <documentation>
+      <desc>cancel execution of a thread</desc>
+      <apidoc>
+        <pt>pthread_cancel (pthread_t thread)</pt>
+        <par name="thread">target thread to be canceled</par>
+        <return>
+          <rc cond="success"> zero</rc>
+          <rc cond="failure">error number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_cancel">
+      <par loc="stack" name="thread" nr="1">
+        <type>ch__pthread_t</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_detach.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_detach.xml
new file mode 100644
index 00000000..652a0637
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_detach.xml
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:44:57"/>
+  <libfun lib="so_functions" name="pthread_detach">
+    <documentation>
+      <desc>detach a thread</desc>
+      <apidoc>
+        <pt>int pthread_detach (pthread_t thread)</pt>
+        <par name="thread">thread to be detached</par>
+        <return>
+          <rc cond="success"> zero</rc>
+          <rc cond="failure">error number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_detach">
+      <par loc="stack" name="thread" nr="1">
+        <type>ch__pthread_t</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_join.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_join.xml
new file mode 100644
index 00000000..789abe7d
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_join.xml
@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:39:07"/>
+  <libfun lib="so_functions" name="pthread_join">
+    <documentation>
+      <desc>wait for thread termination</desc>
+      <apidoc>
+        <pt>
+          <ll>int pthread_join(</ll>
+          <ld>pthread_t thread</ld>
+          <ld>void **value_ptr</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="thread">target thread to wait for</par>
+        <par name="value_ptr">location to hold the exit value</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">non-zero</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_join">
+      <par loc="stack" name="thread" nr="1">
+        <type>ch__pthread_t</type>
+      </par>
+      <par loc="stack" name="value_ptr" nr="2">
+        <type><ptr><ptr>void</ptr></ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_destroy.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_destroy.xml
new file mode 100644
index 00000000..13931af2
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_destroy.xml
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:13:52"/>
+  <libfun lib="so_functions" name="pthread_rwlock_destroy">
+    <documentation>
+      <desc>destroy a read-write lock object</desc>
+      <apidoc>
+        <pt>int pthread_rwlock_destroy (pthread_rwlock_t *rwlock)</pt>
+        <par name="rwlock">read-write lock</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">non-zero</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_rwlock_destroy">
+      <par loc="stack" name="rwlock" nr="1">
+        <type><ptr>ch__pthread_rwlock_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_init.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_init.xml
new file mode 100644
index 00000000..9b8198a3
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_init.xml
@@ -0,0 +1,44 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 19:17:02"/>
+  <libfun lib="so_functions" name="pthread_rwlock_init">
+    <documentation>
+      <desc>initialise a read-write lock object</desc>
+      <apidoc>
+        <pt>
+          <ll>int pthread_rwlock_init(</ll>
+          <ld>pthread_rwlock_t *rwlock</ld>
+          <ld>const pthread_rwlockattr_t *attr</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="rwlock">read-write lock</par>
+        <par name="attr">optional attributes for initialization</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_rwlock_init">
+      <par loc="stack" name="rwlock" nr="1">
+        <type><ptr>ch__pthread_rwlock_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <par loc="stack" name="attr" nr="2">
+        <type><ptr>ch__pthread_rwlockattr_t</ptr></type>
+        <pre><deref-read-null/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_rdlock.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_rdlock.xml
new file mode 100644
index 00000000..f433ff28
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_rdlock.xml
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 20:58:28"/>
+  <libfun lib="so_functions" name="pthread_rwlock_rdlock">
+    <documentation>
+      <desc>lock a read-write lock object for reading</desc>
+      <apidoc>
+        <pt>int pthread_rwlock_rdlock (pthread_rwlock_t *rwlock)</pt>
+        <par name="rwlock">read-write lock</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error-number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_rwlock_rdlock">
+      <par loc="stack" name="rwlock" nr="1">
+        <type><ptr>ch__pthread_rwlock_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_unlock.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_unlock.xml
new file mode 100644
index 00000000..3cde150a
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_unlock.xml
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:09:44"/>
+  <libfun lib="so_functions" name="pthread_rwlock_unlock">
+    <documentation>
+      <desc>unlock a read-write lock object</desc>
+      <apidoc>
+        <pt>int pthread_rwlock_unlock (pthread_rwlock_t *rwlock)</pt>
+        <par name="rwlock">read-write lock</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error-number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_rwlock_unlock">
+      <par loc="stack" name="rwlock" nr="1">
+        <type><ptr>ch__pthread_rwlock_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_wrlock.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_wrlock.xml
new file mode 100644
index 00000000..de0862ee
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_rwlock_wrlock.xml
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:06:32"/>
+  <libfun lib="so_functions" name="pthread_rwlock_wrlock">
+    <documentation>
+      <desc>lock a read-write lock object for writing</desc>
+      <apidoc>
+        <pt>int pthread_rwlock_wrlock (pthread_rwlock_t *rwlock)</pt>
+        <par name="rwlock">read-write lock</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">error-number</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_rwlock_wrlock">
+      <par loc="stack" name="rwlock" nr="1">
+        <type><ptr>ch__pthread_rwlock_t</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_self.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_self.xml
new file mode 100644
index 00000000..7eb6b161
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_self.xml
@@ -0,0 +1,26 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 21:58:19"/>
+  <libfun lib="so_functions" name="pthread_self">
+    <documentation>
+      <desc>get the calling thread ID</desc>
+      <apidoc>
+        <pt>pthread_t pthread_self (void)</pt>
+        <return>
+          <rc cond="success">thread ID of the calling thread</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pthread_self">
+      <returntype>ch__pthread_t</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/rewinddir.xml b/CodeHawk/CHB/bchsummaries/so_functions/rewinddir.xml
new file mode 100644
index 00000000..35b2d078
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/rewinddir.xml
@@ -0,0 +1,29 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 22:40:25"/>
+  <libfun lib="so_functions" name="rewinddir">
+    <documentation>
+      <desc>reset the position of a directory stream to the beginning of a directory</desc>
+      <apidoc>
+        <pt>void rewinddir (DIR *dirp)</pt>
+        <par name="dirp">directory stream to be rewound</par>
+        <return/>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="rewinddir">
+      <par loc="stack" name="dirp" nr="1">
+        <type><ptr>ch__DIR</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <returntype>void</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sysconf.xml b/CodeHawk/CHB/bchsummaries/so_functions/sysconf.xml
new file mode 100644
index 00000000..a988ac5c
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sysconf.xml
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 22:28:31"/>
+  <libfun lib="so_functions" name="sysconf">
+    <documentation>
+      <desc>get configurable system variables</desc>
+      <apidoc>
+        <pt>long sysconf (int name)</pt>
+        <par name="name">system variable to be queried</par>
+        <return>
+          <rc cond="success">current value on the system</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="sysconf">
+      <par loc="stack" name="name" nr="1">
+        <type>int</type>
+      </par>
+      <returntype>long</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/tcdrain.xml b/CodeHawk/CHB/bchsummaries/so_functions/tcdrain.xml
new file mode 100644
index 00000000..309b85d2
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/tcdrain.xml
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-10-19 22:18:31"/>
+  <libfun lib="so_functions" name="tcdrain">
+    <documentation>
+      <desc>wait for transmission of output</desc>
+      <apidoc>
+        <pt>int tcdrain (int fildes)</pt>
+        <par name="fildes">file descriptor</par>
+        <return>
+          <rc cond="success">zero</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="tcdrain">
+      <par loc="stack" name="fildes" nr="1">
+        <type>int</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>