diff --git a/CodeHawk/CHB/bchcmdline/bCHXMakeLibSummary.ml b/CodeHawk/CHB/bchcmdline/bCHXMakeLibSummary.ml
index 98e28c27..746394a3 100644
--- a/CodeHawk/CHB/bchcmdline/bCHXMakeLibSummary.ml
+++ b/CodeHawk/CHB/bchcmdline/bCHXMakeLibSummary.ml
@@ -80,14 +80,14 @@ let speclist = [
 
 let ccNode =
   xml_string
-    "copyright-notice" "Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304"
+    "copyright-notice" "Copyright 2012-2026, Henny Sipma, Palo Alto, CA 94304"
 
 let usage_msg = "mktemplate name"
 let read_args () = Arg.parse speclist (fun s -> name := s) usage_msg
 
 let post_shortcuts = [
   "notzero-zero"; "nonzero-zero"; "one-zero"; "zero-negone";
-  "notnull"; "notnull-null";
+  "notnull"; "notnull-null"; "nonnegative-negone";
   "nonnegative-negative"; "positive-nonpositive"; "positive-zero"]
 
 
diff --git a/CodeHawk/CHB/bchlib/bCHBCAttributes.ml b/CodeHawk/CHB/bchlib/bCHBCAttributes.ml
index 894a580e..916956cf 100644
--- a/CodeHawk/CHB/bchlib/bCHBCAttributes.ml
+++ b/CodeHawk/CHB/bchlib/bCHBCAttributes.ml
@@ -4,7 +4,7 @@
    ------------------------------------------------------------------------------
    The MIT License (MIT)
 
-   Copyright (c) 2024-2025  Aarno Labs LLC
+   Copyright (c) 2024-2026  Aarno Labs LLC
 
    Permission is hereby granted, free of charge, to any person obtaining a copy
    of this software and associated documentation files (the "Software"), to deal
@@ -88,7 +88,8 @@ let convert_b_attributes_to_function_conditions
             | [ACons (("write_only" | "read_write"), []); AInt refindex] ->
                let par = get_par refindex in
                let ty = get_derefty par in
-               ([XXBuffer (ty, ArgValue par, RunTimeValue)],
+               ([XXBuffer (ty, ArgValue par, RunTimeValue);
+                 XXBlockWrite (ty, ArgValue par, RunTimeValue)],
                 [XXBlockWrite (ty, ArgValue par, RunTimeValue)])
 
             | [ACons (("write_only" | "read_write"), []);
@@ -96,9 +97,18 @@ let convert_b_attributes_to_function_conditions
                let rpar = get_par refindex in
                let spar = get_par sizeindex in
                let ty = get_derefty rpar in
-               ([XXBuffer (ty, ArgValue rpar, ArgValue spar)],
+               ([XXBuffer (ty, ArgValue rpar, ArgValue spar);
+                 XXBlockWrite (ty, ArgValue rpar, RunTimeValue)],
                 [XXBlockWrite (ty, ArgValue rpar, ArgValue spar)])
 
+            | [ACons ("write_only", [AInt buffersize]); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               let bytesize = CHNumerical.mkNumerical buffersize in
+               ([XXBuffer (ty, ArgValue par, NumConstant bytesize);
+                 XXBlockWrite (ty, ArgValue par, NumConstant bytesize)],
+                [XXBlockWrite (ty, ArgValue par, NumConstant bytesize)])
+
             | _ ->
                begin
                  log_error_result
@@ -111,5 +121,72 @@ let convert_b_attributes_to_function_conditions
                  ([], [])
                end) in
          (pre @ xpre, side @ xside, xpost)
+      | Attr ("chk_pre", params) ->
+         let pre =
+           (match params with
+            | [ACons ("deref_read", []); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               [XXBuffer (ty, ArgValue par, RunTimeValue)]
+
+            | [ACons ("deref_read", []); AInt refindex; AInt sizeindex] ->
+               let par1 = get_par refindex in
+               let par2 = get_par sizeindex in
+               let ty = get_derefty par1 in
+               [XXBuffer (ty, ArgValue par1, ArgValue par2)]
+
+            | [ACons ("deref_read", [AInt size]); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               let c = CHNumerical.mkNumerical size in
+               [XXBuffer (ty, ArgValue par, NumConstant c)]
+
+            | [ACons ("deref_read", [ACons ("ntp", [])]); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               [XXBuffer (ty, ArgValue par, ArgNullTerminatorPos (ArgValue par))]
+
+            | [ACons ("deref_write", []); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               [XXBlockWrite (ty, ArgValue par, RunTimeValue)]
+
+            | [ACons ("deref_write", []); AInt refindex; AInt sizeindex] ->
+               let par1 = get_par refindex in
+               let par2 = get_par sizeindex in
+               let ty = get_derefty par1 in
+               [XXBlockWrite (ty, ArgValue par1, ArgValue par2)]
+
+            | [ACons ("deref_write", [AInt size]); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               let c = CHNumerical.mkNumerical size in
+               [XXBlockWrite (ty, ArgValue par, NumConstant c)]
+
+            | [ACons ("not_null", []); AInt refindex] ->
+               let par = get_par refindex in
+               [XXNotNull (ArgValue par)]
+
+            | [ACons ("null_terminated", []); AInt refindex] ->
+               let par = get_par refindex in
+               [XXNullTerminated (ArgValue par)]
+
+            | [ACons ("initialized_range", [ACons ("ntp", [])]); AInt refindex] ->
+               let par = get_par refindex in
+               let ty = get_derefty par in
+               [XXInitializedRange (
+                    ty, ArgValue par, ArgNullTerminatorPos (ArgValue par))]
+
+            | _ ->
+               begin
+                 log_error_result
+                   ~tag:"convert_b_attributes_to_function_conditions"
+                   ~msg:(name ^ ":chk_pre")
+                   __FILE__ __LINE__
+                   [String.concat ", " (List.map b_attrparam_to_string params)];
+                 []
+               end) in
+         (pre @ xpre, xside, xpost)
+
       | _ ->
          acc) ([], [], []) attrs
diff --git a/CodeHawk/CHB/bchlib/bCHBCTypeUtil.ml b/CodeHawk/CHB/bchlib/bCHBCTypeUtil.ml
index 34c532b1..76a04891 100644
--- a/CodeHawk/CHB/bchlib/bCHBCTypeUtil.ml
+++ b/CodeHawk/CHB/bchlib/bCHBCTypeUtil.ml
@@ -83,6 +83,7 @@ let t_ptrto t = TPtr (t,[])
 
 let ptr_deref (t: btype_t): btype_t =
   match t with
+  | TPtr (TVoid _, _) -> t_uchar
   | TPtr (dty, _) -> dty
   | _ ->
      raise
diff --git a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
index 28c12c41..94f10941 100644
--- a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
+++ b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml
@@ -60,7 +60,40 @@ let raise_error (node: xml_element_int) (msg: pretty_t) =
 
 
 let ch_named_struct_types = [
-    "ch_FILE"
+    "ch__addrinfo";
+    "ch__DIR";
+    "ch__dirent";
+    "ch__fd_set";    (* used in select *)
+    "ch__FILE";
+    "ch__fpos_t";    (* this may or may not be a struct, depending on arch *)
+    "ch__group";     (* used in getgrgid *)
+    "ch__hostent";
+    "ch__in_addr";
+    "ch__iovec";     (* used in writev *)
+    "ch__msghdr";    (* used in recvmsg, sendmsg *)
+    "ch__netent";
+    "ch__passwd";    (* used in getpwnam *)
+    "ch__pollfd";
+    "ch__pthread_attr_t";
+    "ch__pthread_cond_t";
+    "ch__pthread_mutex_t";
+    "ch__pthread_mutexattr_t";
+    "ch__pthread_start_routine";
+    "ch__pthread_t";
+    "ch__rlimit";    (* used in getrlimit *)
+    "ch__rusage";    (* used in getrusage *)
+    "ch__sigaction"; (* used in sigaction *)
+    "ch__sigset_t";  (* used in sigaddset *)
+    "ch__sockaddr";
+    "ch__spwd";      (* used in getspname *)
+    "ch__stat";
+    "ch__statfs";
+    "ch__sysinfo";
+    "ch__termios";   (* used in tcgetattr *)
+    "ch__timespec";  (* used in nanosleep *)
+    "ch__timeval";
+    "ch__timezone";
+    "ch__tm"
   ]
 
 let register_ch_named_struct_types () =
@@ -71,28 +104,59 @@ let register_ch_named_struct_types () =
    btype enumerations*)
 let get_standard_txt_type (t: string): btype_t option =
   match t with
+  | "__uClibc_main_fptr" ->
+     Some (TPtr (TFun (TInt (IInt, []),
+                       Some [("argc", TInt (IInt, []), []);
+                             ("argv", TPtr (TPtr (TInt (IUChar, []), []),  []), [])],
+                             false, []), []))
+  | "atexit_fptr" -> Some (TPtr (TFun (TVoid [], Some [], false, []), []))
   | "BOOL" -> Some (TInt (IBool, []))
   | "Boolean" -> Some (TInt (IBool, []))
   | "BSTR" -> Some (TPtr (TInt (IWChar, []), []))
   | "byte" -> Some (TInt (IUChar, []))
   | "BYTE" -> Some (TInt (IUChar, []))
   | "char" -> Some (TInt (IChar, []))
+  | "clock_t" -> Some (TInt (IInt, []))
+  | "comparison_fptr" ->                       (* used in bsearch *)
+     Some (TFun (TInt (IInt, []),
+                 Some [("x1", TPtr (TVoid [], []), []);
+                       ("x2", TPtr (TVoid [], []), [])],
+                 false, []))
+  | "dir_select_fptr" ->
+     Some (TFun (TInt (IInt, []),
+                       Some [("direntry", TPtr (TNamed ("ch__dirent", []), []), [])],
+                              false, []))
   | "float" -> Some (TFloat (FFloat, FScalar, []))
   | "double" -> Some (TFloat (FDouble, FScalar, []))
   | "DWORD" -> Some (TInt (IUInt, []))
+  | "gid_t" -> Some (TInt (IUInt, []))
+  | "id_t" -> Some (TInt (IUInt, []))     (* used in getpriority *)
   | "int" -> Some (TInt (IInt, []))
   | "Integer" -> Some (TInt (IInt, []))
   | "long" -> Some (TInt (ILong, []))
   | "LONG" -> Some (TInt (ILong, []))
+  | "long_long" -> Some (TInt (ILongLong, []))
+  | "long long" -> Some (TInt (ILongLong, []))
+  | "mode_t" -> Some (TInt (IInt, []))    (* used in chmod *)
+  | "nfds_t" -> Some (TInt (IUInt, []))   (* used in poll *)
   | "off_t" -> Some (TInt (IULong, []))
   | "OLECHAR" -> Some (TInt (IWChar, []))
+  | "pid_t" -> Some (TInt (IUInt, []))
+  | "pthread_start_routine" ->
+     Some (TPtr (TFun (TVoid [], Some [], false, []), []))
+  | "sem_t" -> Some (TInt (IInt, []))     (* used in semaphore functions *)
   | "size_t" -> Some (TInt (IUInt, []))
   | "SIZE_T" -> Some (TInt (IUInt, []))
+  | "socklen_t" -> Some (TInt (IInt, []))  (* may also be unsigned *)
+  | "speed_t" -> Some (TInt (IUInt, []))   (* used in cfgetispeed *)
   | "ssize_t" -> Some (TInt (ILong, []))
   | "time_t" -> Some (TInt (ILong, []))
+  | "uid_t" -> Some (TInt (IUInt, []))
   | "UINT" -> Some (TInt (IUInt, []))
   | "uint16_t" -> Some (TInt (IUShort, []))
   | "uint32_t" -> Some (TInt (IUInt, []))
+  | "u_long" -> Some (TInt (IULong, []))
+  | "u_long_long" -> Some (TInt (IULongLong, []))
   | "unknown" -> Some (TUnknown [])
   | "UNKNOWN" -> Some (TUnknown [])
   | "void" -> Some (TVoid ([]))
diff --git a/CodeHawk/CHB/bchlib/bCHFunctionInfo.ml b/CodeHawk/CHB/bchlib/bCHFunctionInfo.ml
index 7940325a..b9cff4c1 100644
--- a/CodeHawk/CHB/bchlib/bCHFunctionInfo.ml
+++ b/CodeHawk/CHB/bchlib/bCHFunctionInfo.ml
@@ -6,7 +6,7 @@
 
    Copyright (c) 2005-2020 Kestrel Technology LLC
    Copyright (c) 2020      Henny Sipma
-   Copyright (c) 2021-2025 Aarno Labs LLC
+   Copyright (c) 2021-2026 Aarno Labs LLC
 
    Permission is hereby granted, free of charge, to any person obtaining a copy
    of this software and associated documentation files (the "Software"), to deal
@@ -75,6 +75,7 @@ open BCHUtilities
 open BCHVariable
 open BCHVariableNames
 open BCHXPODictionary
+open BCHXPOPredicate
 
 module H = Hashtbl
 module LF = CHOnlineCodeSet.LanguageFactory
@@ -1710,6 +1711,88 @@ object (self)
 
   method proofobligations = proofobligations
 
+  method discharge_proofobligations =
+    let openpos = self#proofobligations#open_proofobligations in
+    List.iter (fun po ->
+        let newstatus =
+          match po#xpo with
+          | XPOBuffer (
+              _ty,
+              XOp (XMinus, [XVar v; XConst (IntConst off)]),
+              XConst (IntConst size))
+            | XPOBlockWrite (
+              _ty,
+              XOp (XMinus, [XVar v; XConst (IntConst off)]),
+              XConst (IntConst size))
+               when self#env#is_initial_stackpointer_value v ->
+             let buffer = self#stackframe#get_max_slot_size off#neg#toInt in
+             (match buffer with
+              | Some slotsize ->
+                 if size#toInt <= slotsize then
+                   Discharged (
+                       "buffer size " ^ size#toString
+                       ^ " fits in available space of "
+                       ^ (string_of_int slotsize)
+                       ^ " bytes")
+                 else
+                   Violated (
+                       "buffer size "
+                       ^ size#toString ^ " is too large; available space is "
+                       ^ (string_of_int slotsize) ^ " bytes")
+              | _ ->
+                 let _ =
+                   log_diagnostics_result
+                     ~tag:"discharge_proofobligations:open"
+                     ~msg:(p2s po#loc#toPretty)
+                     __FILE__ __LINE__
+                     ["xpo: " ^ (p2s (xpo_predicate_to_pretty po#xpo));
+                      "Unable to determine buffer size at offset "
+                        ^ off#toString] in
+                 Open)
+          | XPOBlockWrite (ty, XVar v, bwlen) when
+                 self#env#is_initial_register_value v ->
+               TR.tfold
+                 ~ok:(fun reg ->
+                   let paramty = TPtr (ty, []) in
+                   let _ =
+                     self#update_summary
+                       (self#get_summary#add_register_parameter_location
+                          reg paramty 4) in
+                   let ftspar = self#get_summary#get_parameter_for_register reg in
+                   let dst = ArgValue ftspar in
+                   let lenterm =
+                     match bwlen with
+                     | XConst (IntConst size) -> NumConstant size
+                     | _ -> RunTimeValue in
+                   let xpred = XXBlockWrite (ty, dst, lenterm) in
+                   let updatedsummary = self#get_summary#add_precondition xpred in
+                   let updatedsummary = updatedsummary#add_sideeffect xpred in
+                   let _ = self#update_summary updatedsummary in
+                   Delegated xpred)
+                 ~error:(fun e ->
+                   begin
+                     log_error_result
+                       ~tag:"delegate_proofobligation"
+                       __FILE__ __LINE__
+                       ["v: " ^ (p2s v#toPretty);
+                        String.concat ", " e];
+                     Open
+                   end)
+                 (self#env#get_initial_register_value_register v)
+          | _ -> Open in
+        match newstatus with
+        | Open -> ()
+        | _ ->
+           begin
+             log_diagnostics_result
+               ~tag:"discharge_proofobligations"
+               ~msg:(p2s po#loc#toPretty)
+               __FILE__ __LINE__
+               ["xpo: " ^ (p2s (xpo_predicate_to_pretty po#xpo));
+                "status: " ^ (p2s (po_status_to_pretty newstatus))];
+             po#update_status newstatus
+           end) openpos
+
   method set_instruction_bytes (ia:ctxt_iaddress_t) (b:string) =
     H.add instrbytes ia b
 
diff --git a/CodeHawk/CHB/bchlib/bCHFunctionStackframe.ml b/CodeHawk/CHB/bchlib/bCHFunctionStackframe.ml
index 8c18fc2e..67e802a4 100644
--- a/CodeHawk/CHB/bchlib/bCHFunctionStackframe.ml
+++ b/CodeHawk/CHB/bchlib/bCHFunctionStackframe.ml
@@ -538,6 +538,27 @@ object (self)
     else
       None
 
+  method get_max_slot_size (offset: int): int option =
+    if H.mem stackslots offset then
+      let keys = H.fold (fun k _ a -> k :: a) stackslots [] in
+      let keys = List.sort Stdlib.compare keys in
+      List.fold_left (fun acc i ->
+          match acc with
+          | Some _ -> acc
+          | _ ->
+             if i > offset then
+               Some (i - offset)
+             else
+               None) None keys
+    else
+      begin
+        log_diagnostics_result
+          ~tag:"get_max_slot_size:stackslot not found"
+          __FILE__ __LINE__
+          ["offset: " ^ (string_of_int offset)];
+        None
+      end
+
   method add_stackslot
            ?(name = None)
            ?(btype = t_unknown)
diff --git a/CodeHawk/CHB/bchlib/bCHLibTypes.mli b/CodeHawk/CHB/bchlib/bCHLibTypes.mli
index f083f293..ea449c28 100644
--- a/CodeHawk/CHB/bchlib/bCHLibTypes.mli
+++ b/CodeHawk/CHB/bchlib/bCHLibTypes.mli
@@ -4861,6 +4861,8 @@ class type stackframe_int =
 
     method xpr_containing_stackslot: xpr_t -> stackslot_int option
 
+    method get_max_slot_size: int -> int option
+
     method add_load:
              baseoffset:int
              -> offset: memory_offset_t
@@ -5635,6 +5637,8 @@ class type proofobligation_int =
 
     method status: po_status_t
 
+    method update_status: po_status_t -> unit
+
   end
 
 
@@ -5701,6 +5705,10 @@ object
   (** Returns the object containing all active proof obligations.*)
   method proofobligations: proofobligations_int
 
+  (** Attempts to discharge some open proof obligations and if successful
+      updates their status.*)
+  method discharge_proofobligations: unit
+
 
   (** {1 Function invariants} *)
 
diff --git a/CodeHawk/CHB/bchlib/bCHPrecondition.ml b/CodeHawk/CHB/bchlib/bCHPrecondition.ml
index 429f56ae..489eecc3 100644
--- a/CodeHawk/CHB/bchlib/bCHPrecondition.ml
+++ b/CodeHawk/CHB/bchlib/bCHPrecondition.ml
@@ -130,10 +130,19 @@ let read_xml_par_preconditions
         XXNullTerminated t]
     | "deref-write" ->
        let typ = ty () in
-       [XXBuffer (typ, t, getsize node typ); XXNotNull t]
+       [XXBlockWrite (typ, t, getsize node typ); XXNotNull t]
     | "deref-write-null" ->
        let typ = ty () in
-       [XXBuffer (typ, t, getsize node typ)]
+       [XXBlockWrite (typ, t, getsize node typ)]
+    | "deref-read-write" ->
+       let typ = ty () in
+       [XXBlockWrite (typ, t, getsize node typ);
+        XXNotNull t;
+        XXInitializedRange (typ, t, getsize node typ)]
+    | "deref-read-write-null" ->
+       let typ = ty () in
+       [XXBlockWrite (typ, t, getsize node typ);
+        XXInitializedRange (typ, t, getsize node typ)]
     | "allocation-base" -> [XXAllocationBase t]
     | "function-pointer" ->
        let typ = ty () in [XXFunctionPointer (typ, t)]
diff --git a/CodeHawk/CHB/bchlib/bCHProofObligations.ml b/CodeHawk/CHB/bchlib/bCHProofObligations.ml
index 2b8ecc48..44914c4c 100644
--- a/CodeHawk/CHB/bchlib/bCHProofObligations.ml
+++ b/CodeHawk/CHB/bchlib/bCHProofObligations.ml
@@ -105,12 +105,16 @@ class proofobligation_t
         (status: po_status_t): proofobligation_int =
 object
 
+  val mutable status = status
+
   method xpo = xpo
 
   method loc = loc
 
   method status = status
 
+  method update_status (s: po_status_t) = status <- s
+
 end
 
 
diff --git a/CodeHawk/CHB/bchlib/bCHProofObligations.mli b/CodeHawk/CHB/bchlib/bCHProofObligations.mli
index f24afd0b..f5614d5d 100644
--- a/CodeHawk/CHB/bchlib/bCHProofObligations.mli
+++ b/CodeHawk/CHB/bchlib/bCHProofObligations.mli
@@ -31,5 +31,7 @@
 open BCHLibTypes
 
 
+val po_status_to_pretty: po_status_t -> CHPretty.pretty_t
+
 val mk_proofobligations:
   doubleword_int -> xpodictionary_int -> proofobligations_int
diff --git a/CodeHawk/CHB/bchlib/bCHVersion.ml b/CodeHawk/CHB/bchlib/bCHVersion.ml
index 8d2fdcdd..efeab196 100644
--- a/CodeHawk/CHB/bchlib/bCHVersion.ml
+++ b/CodeHawk/CHB/bchlib/bCHVersion.ml
@@ -95,8 +95,8 @@ end
 
 
 let version = new version_info_t 
-  ~version:"0.6.0_20260330"
-  ~date:"2026-03-30"
+  ~version:"0.6.0_20260407"
+  ~date:"2026-04-07"
   ~licensee: None
   ~maxfilesize: None
   ()
diff --git a/CodeHawk/CHB/bchlibarm32/bCHARMAnalysisResults.ml b/CodeHawk/CHB/bchlibarm32/bCHARMAnalysisResults.ml
index 6feee593..07099e5d 100644
--- a/CodeHawk/CHB/bchlibarm32/bCHARMAnalysisResults.ml
+++ b/CodeHawk/CHB/bchlibarm32/bCHARMAnalysisResults.ml
@@ -225,6 +225,7 @@ object (self)
       mmap#write_xml_references faddr vard grNode;
       (* self#write_xml_btypes bNode; *)
       id#write_xml dNode;
+      finfo#discharge_proofobligations;
       finfo#proofobligations#write_xml poNode;
       finfo#xpod#write_xml xpodNode;
       append [cNode; dNode; iiNode; jjNode; sfNode; grNode; xpodNode; poNode]
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/__fgetc_unlocked.xml b/CodeHawk/CHB/bchsummaries/so_functions/__fgetc_unlocked.xml
index 97b8734c..37108783 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/__fgetc_unlocked.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/__fgetc_unlocked.xml
@@ -16,7 +16,7 @@
    </documentation>
    <api adj="0" cc="cdecl" name="__fgetc_unlocked">
     <par loc="stack" name="stream" io="r" rep="hex" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
      <roles>
        <role rt="ioc:filesystem" rn="file"/>
@@ -26,12 +26,18 @@
    </api>
    <semantics>
     <io-actions>
-     <io-action cat="filesystem" 
+     <io-action cat="filesystem"
 		desc="reads a character from a stream"/>
     </io-actions>
     <preconditions/>
     <postconditions/>
-    <sideeffects/>
+    <sideeffects>
+     <sideeffect>
+      <math>
+       <sets-errno/>
+      </math>
+     </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2015, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/__fputc_unlocked.xml b/CodeHawk/CHB/bchsummaries/so_functions/__fputc_unlocked.xml
index 504f34ea..102fda47 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/__fputc_unlocked.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/__fputc_unlocked.xml
@@ -27,7 +27,7 @@
      <roles>
       <role rt="ioc:filesystem" rn="file" />
      </roles>
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
     </par>
    </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/__uClibc_main.xml b/CodeHawk/CHB/bchsummaries/so_functions/__uClibc_main.xml
index 1da539d9..35882f38 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/__uClibc_main.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/__uClibc_main.xml
@@ -29,8 +29,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="__uClibc_main">
       <par loc="stack" name="main" nr="1">
-        <type><ptr>function-pointer</ptr></type>
-	<pre><function-pointer/></pre>
+        <type><ptr>__uClibc_main_fptr</ptr></type>
       </par>
       <par loc="stack" name="argc" nr="2">
         <type>int</type>
@@ -39,16 +38,13 @@
         <type><ptr><ptr>char</ptr></ptr></type>
       </par>
       <par loc="stack" name="app_init" nr="4">
-        <type><ptr>function-pointer</ptr></type>
-	<pre><function-pointer/></pre>
+        <type><ptr>__uClibc_main_fptr</ptr></type>
       </par>
       <par loc="stack" name="app_fini" nr="5">
-        <type><ptr>function-pointer</ptr></type>
-	<pre><function-pointer/></pre>
+        <type><ptr>__uClibc_main_fptr</ptr></type>
       </par>
       <par loc="stack" name="rtld_fini" nr="6">
-        <type><ptr>function-pointer</ptr></type>
-	<pre><function-pointer/></pre>
+        <type><ptr>__uClibc_main_fptr</ptr></type>
       </par>
       <par loc="stack" name="stack_end" nr="7">
         <type><ptr>void</ptr></type>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/accept.xml b/CodeHawk/CHB/bchsummaries/so_functions/accept.xml
index b78c21f0..b7dcd082 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/accept.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/accept.xml
@@ -41,10 +41,11 @@
         <type>int</type>
       </par>
       <par loc="stack" name="address" nr="2">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="address_len" nr="3">
         <type><ptr>socklen_t</ptr></type>
+        <pre><deref-read-write-null/></pre>
       </par>
       <returntype>int</returntype>
     </api>
@@ -55,7 +56,7 @@
 	  <math>
 	    <apply>
 	      <deref-write-null/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
@@ -70,12 +71,17 @@
 	  <math>
 	    <apply>
 	      <block-write/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/access.xml b/CodeHawk/CHB/bchsummaries/so_functions/access.xml
index 7908ce24..c0a1dd7c 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/access.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/access.xml
@@ -38,8 +38,16 @@
        <io-action cat="filesystem" desc="determines if a file is read-only or not"/>
     </io-actions>
     <preconditions/>
-    <postconditions/>
-    <sideeffects/>
+    <postconditions>
+      <zero-negone/>
+    </postconditions>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/asctime.xml b/CodeHawk/CHB/bchsummaries/so_functions/asctime.xml
index a237bc38..df1a4915 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/asctime.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/asctime.xml
@@ -6,7 +6,7 @@
     <documentation>
       <desc>convert date and time to a string</desc>
       <apidoc>
-        <pt>char *asctime (const struct tim *timeptr)</pt>
+        <pt>char *asctime (const struct tm *timeptr)</pt>
         <par name="timeptr">pointer to structure with broken down time</par>
         <return>
           <rc cond="success">pointer to the string</rc>
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="asctime">
       <par loc="stack" name="timeptr" nr="1">
-        <type><ptr>tm</ptr></type>
+        <type><ptr>ch__tm</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype><ptr>char</ptr></returntype>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/atexit.xml b/CodeHawk/CHB/bchsummaries/so_functions/atexit.xml
index 99fdf368..36e69640 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/atexit.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/atexit.xml
@@ -19,8 +19,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="atexit">
       <par loc="stack" name="func" nr="1">
-        <type><ptr>function-pointer</ptr></type>
-	<pre><function-pointer/></pre>
+        <type><ptr>atexit_fptr</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/bind.xml b/CodeHawk/CHB/bchsummaries/so_functions/bind.xml
index fc18e931..17884200 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/bind.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/bind.xml
@@ -34,7 +34,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="address" nr="2">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="address_len" nr="3">
         <type>socklen_t</type>
@@ -48,7 +48,7 @@
 	  <math>
 	    <apply>
 	      <deref-read/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
@@ -58,7 +58,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/bsearch.xml b/CodeHawk/CHB/bchsummaries/so_functions/bsearch.xml
index bb0cbca3..2cc5ce02 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/bsearch.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/bsearch.xml
@@ -41,7 +41,7 @@
         <type>size_t</type>
       </par>
       <par loc="stack" name="compar" nr="5">
-        <type><ptr>function-pointer</ptr></type>
+        <type><ptr>comparison_fptr</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype><ptr>void</ptr></returntype>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/cfgetispeed.xml b/CodeHawk/CHB/bchsummaries/so_functions/cfgetispeed.xml
index c7d1c982..9bd559b6 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/cfgetispeed.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/cfgetispeed.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="cfgetispeed">
       <par loc="stack" name="termios_p" nr="1">
-        <type><ptr>ch_termios</ptr></type>
+        <type><ptr>ch__termios</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>speed_t</returntype>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/cfgetospeed.xml b/CodeHawk/CHB/bchsummaries/so_functions/cfgetospeed.xml
index 6270ae48..70533c82 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/cfgetospeed.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/cfgetospeed.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="cfgetospeed">
       <par loc="stack" name="termios_p" nr="1">
-        <type><ptr>ch_termios</ptr></type>
+        <type><ptr>ch__termios</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>speed_t</returntype>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/cfsetispeed.xml b/CodeHawk/CHB/bchsummaries/so_functions/cfsetispeed.xml
index d5474173..1707dd96 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/cfsetispeed.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/cfsetispeed.xml
@@ -22,7 +22,8 @@
     </documentation>
     <api adj="0" cc="cdecl" name="cfsetispeed">
       <par loc="stack" name="termios_p" nr="1">
-        <type><ptr>ch_termios</ptr></type>
+        <type><ptr>ch__termios</ptr></type>
+        <pre><deref-write/></pre>
       </par>
       <par loc="stack" name="speed" nr="2">
         <type>speed_t</type>
@@ -32,7 +33,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/cfsetospeed.xml b/CodeHawk/CHB/bchsummaries/so_functions/cfsetospeed.xml
index 42359794..1b45763c 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/cfsetospeed.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/cfsetospeed.xml
@@ -22,7 +22,8 @@
     </documentation>
     <api adj="0" cc="cdecl" name="cfsetospeed">
       <par loc="stack" name="termios_p" nr="1">
-        <type><ptr>ch_termios</ptr></type>
+        <type><ptr>ch__termios</ptr></type>
+        <pre><deref-write/></pre>
       </par>
       <par loc="stack" name="speed" nr="2">
         <type>speed_t</type>
@@ -32,7 +33,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/chmod.xml b/CodeHawk/CHB/bchsummaries/so_functions/chmod.xml
index 359a2506..a35fc971 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/chmod.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/chmod.xml
@@ -36,7 +36,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/chown.xml b/CodeHawk/CHB/bchsummaries/so_functions/chown.xml
index 9f6b1379..0a59b761 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/chown.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/chown.xml
@@ -41,7 +41,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/chroot.xml b/CodeHawk/CHB/bchsummaries/so_functions/chroot.xml
index 5866e54e..5c1bed6f 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/chroot.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/chroot.xml
@@ -27,7 +27,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/clearenv.xml b/CodeHawk/CHB/bchsummaries/so_functions/clearenv.xml
index 45ceb5b5..5ca33536 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/clearenv.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/clearenv.xml
@@ -23,7 +23,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/clearerr.xml b/CodeHawk/CHB/bchsummaries/so_functions/clearerr.xml
index d55e577d..ee15a8b3 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/clearerr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/clearerr.xml
@@ -13,8 +13,8 @@
     </documentation>
     <api adj="0" cc="cdecl" name="clearerr">
       <par loc="stack" name="stream" nr="1">
-        <type><ptr>ch_FILE</ptr></type>
-	<pre><deref-read/></pre>
+        <type><ptr>ch__FILE</ptr></type>
+	<pre><deref-read-write/></pre>
       </par>
       <returntype>void</returntype>
     </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/close.xml b/CodeHawk/CHB/bchsummaries/so_functions/close.xml
index 2a851acb..a691685b 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/close.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/close.xml
@@ -26,7 +26,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2019, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/closedir.xml b/CodeHawk/CHB/bchsummaries/so_functions/closedir.xml
index 956354d9..a9fbce1e 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/closedir.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/closedir.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="closedir">
       <par loc="stack" name="dirp" nr="1">
-        <type><ptr>DIR</ptr></type>
+        <type><ptr>ch__DIR</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
@@ -27,7 +27,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/connect.xml b/CodeHawk/CHB/bchsummaries/so_functions/connect.xml
index 7abb100d..dd5b5afc 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/connect.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/connect.xml
@@ -36,7 +36,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="address" nr="2">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="address_len" nr="3">
         <type>int</type>
@@ -49,24 +49,21 @@
 	<pre>
 	  <math>
 	    <apply>
-	      <deref-write/>
-	      <type>ch_sockaddr</type>
+	      <deref-read/>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
 	  </math>
 	</pre>
       </preconditions>
-      <postconditions/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
       <sideeffects>
 	<sideeffect>
 	  <math>
-	    <apply>
-	      <block-write/>
-	      <type>ch_sockaddr</type>
-	      <ci>address</ci>
-	      <ci>address_len</ci>
-	    </apply>
+            <sets-errno/>
 	  </math>
 	</sideeffect>
       </sideeffects>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/dlopen.xml b/CodeHawk/CHB/bchsummaries/so_functions/dlopen.xml
index f7cf2b40..7dc52ead 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/dlopen.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/dlopen.xml
@@ -50,7 +50,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/dlsym.xml b/CodeHawk/CHB/bchsummaries/so_functions/dlsym.xml
index 8de0dc6b..beaf26be 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/dlsym.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/dlsym.xml
@@ -47,7 +47,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/execl.xml b/CodeHawk/CHB/bchsummaries/so_functions/execl.xml
index 0ac02fb4..88fc5471 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/execl.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/execl.xml
@@ -26,9 +26,11 @@
     <api adj="0" cc="cdecl" name="execl">
       <par loc="stack" name="path" nr="1">
         <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
       </par>
       <par loc="stack" name="arg0" nr="2">
         <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
       </par>
       <returntype>int</returntype>
     </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fclose.xml b/CodeHawk/CHB/bchsummaries/so_functions/fclose.xml
index 35baaf51..6bc8e546 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fclose.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fclose.xml
@@ -17,7 +17,7 @@
    <api adj="0" cc="cdecl" name="fclose">
     <returntype>int</returntype>
     <par loc="stack" name="stream" io="r" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
      <roles>
         <role rt="ioc:filesystem" rn="file"/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fcntl.xml b/CodeHawk/CHB/bchsummaries/so_functions/fcntl.xml
index c88bf4f3..aedc2aae 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fcntl.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fcntl.xml
@@ -32,7 +32,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fcntl64.xml b/CodeHawk/CHB/bchsummaries/so_functions/fcntl64.xml
index 9964805b..aaadfabe 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fcntl64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fcntl64.xml
@@ -32,7 +32,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fdopen.xml b/CodeHawk/CHB/bchsummaries/so_functions/fdopen.xml
index 74c8a2f4..e03ba7b0 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fdopen.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fdopen.xml
@@ -33,7 +33,7 @@
      <type><ptr>char</ptr></type>
      <pre><deref-read-nt/></pre>
     </par>
-    <returntype><ptr>ch_FILE</ptr></returntype>
+    <returntype><ptr>ch__FILE</ptr></returntype>
    </api>
    <semantics>
     <io-actions>
@@ -43,7 +43,13 @@
     <postconditions>
       <notnull-null/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/feof.xml b/CodeHawk/CHB/bchsummaries/so_functions/feof.xml
index 39585e07..0cd282bd 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/feof.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/feof.xml
@@ -16,7 +16,8 @@
    </documentation>
    <api adj="0" cc="cdecl" name="feof">
     <par loc="stack" name="stream" io="r" rep="hex" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+      <type><ptr>ch__FILE</ptr></type>
+      <pre><deref-read/></pre>
      <roles>
        <role rt="ioc:filesystem" rn="file"/>
      </roles>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/ferror.xml b/CodeHawk/CHB/bchsummaries/so_functions/ferror.xml
index ffce8f9e..c17eafb7 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/ferror.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/ferror.xml
@@ -16,7 +16,7 @@
    </documentation>
    <api adj="0" cc="cdecl" name="ferror">
     <par loc="stack" name="stream" io="r" rep="hex" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
      <roles>
        <role rt="ioc:filesystem" rn="file"/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fflush.xml b/CodeHawk/CHB/bchsummaries/so_functions/fflush.xml
index b61e06bc..19d3f97a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fflush.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fflush.xml
@@ -17,8 +17,8 @@
    <api adj="0" cc="cdecl" name="fflush">
      <returntype>int</returntype>
     <par loc="stack" name="stream" io="r" nr="1">
-      <type><ptr>ch_FILE</ptr></type>
-     <pre><deref-read/></pre>
+      <type><ptr>ch__FILE</ptr></type>
+      <pre><deref-read/></pre>
       <roles>
          <role rt="ioc:filesystem" rn="file"/>
       </roles>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fgetc.xml b/CodeHawk/CHB/bchsummaries/so_functions/fgetc.xml
index 90515f2b..486d1280 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fgetc.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fgetc.xml
@@ -16,7 +16,7 @@
    </documentation>
    <api adj="0" cc="cdecl" name="fgetc">
     <par loc="stack" name="stream" io="r" rep="hex" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
      <roles>
        <role rt="ioc:filesystem" rn="file"/>
@@ -30,8 +30,16 @@
 		desc="reads a character from a stream"/>
     </io-actions>
     <preconditions/>
-    <postconditions/>
-    <sideeffects/>
+    <postconditions>
+      <nonnegative-negone/>
+    </postconditions>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2015, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fgetpos.xml b/CodeHawk/CHB/bchsummaries/so_functions/fgetpos.xml
index c35159db..01850471 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fgetpos.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fgetpos.xml
@@ -22,15 +22,15 @@
    </documentation>
    <api adj="0" cc="cdecl" name="fgetpos">
     <par loc="stack" io="r" name="stream" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
      <roles>
         <role rt="ioc:filesystem" rn="file"/>
      </roles>
     </par>
     <par loc="stack" io="w" name="pos" roles="none" nr="2">
-     <type><ptr>fpos_t</ptr></type>
-     <pre><deref-read/></pre>
+     <type><ptr>ch__fpos_t</ptr></type>
+     <pre><deref-write/></pre>
     </par>
     <returntype>int</returntype>
    </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fgets.xml b/CodeHawk/CHB/bchsummaries/so_functions/fgets.xml
index dab72e3d..f6b2282a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fgets.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fgets.xml
@@ -52,7 +52,7 @@
      <roles>
       <role rt="ioc:filesystem" rn="file" />
      </roles>
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
     </par>
    </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fileno.xml b/CodeHawk/CHB/bchsummaries/so_functions/fileno.xml
index f4496dae..398a0563 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fileno.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fileno.xml
@@ -17,7 +17,7 @@
    <api adj="0" cc="cdecl" name="fileno">
      <returntype>int</returntype>
     <par loc="stack" name="stream" nr="1">
-      <type><ptr>ch_FILE</ptr></type>
+      <type><ptr>ch__FILE</ptr></type>
       <pre><deref-read/></pre>
       <roles>
 	<role rt="ioc:filesystem" rn="file"/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/flock.xml b/CodeHawk/CHB/bchsummaries/so_functions/flock.xml
new file mode 100644
index 00000000..e9820e5f
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/flock.xml
@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-04 23:32:19"/>
+  <libfun lib="so_functions" name="flock">
+    <documentation>
+      <desc>apply or remove an advisory lock on an open file</desc>
+      <apidoc>
+        <pt>
+          <ll>int flock(</ll>
+          <ld>int fildes,</ld>
+          <ld>int op</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="fildes">open file descriptor</par>
+        <par name="op">
+	  control value that specifies the action to be taken
+	</par>
+        <return>
+          <rc cond="success">0</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="flock">
+      <par loc="stack" name="fildes" nr="1">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="op" nr="2">
+        <type>int</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+	<zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fopen.xml b/CodeHawk/CHB/bchsummaries/so_functions/fopen.xml
index 1f1fe514..3eb0d729 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fopen.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fopen.xml
@@ -16,17 +16,17 @@
     </apidoc>
    </documentation>
    <api adj="0" cc="cdecl" name="fopen">
-    <returntype><ptr>ch_FILE</ptr></returntype>
+    <returntype><ptr>ch__FILE</ptr></returntype>
     <par loc="stack" io="r" name="filename" rep="hex" nr="1">
       <type><ptr>char</ptr></type>
-     <roles>
+      <roles>
         <role rt="ioc:filesystem" rn="name:file"/>
-     </roles>
-     <pre><deref-read-nt/></pre>
+      </roles>
+      <pre><deref-read-nt/></pre>
     </par>
     <par loc="stack" io="r" name="mode" rep="hex" roles="none" nr="2">
       <type><ptr>char</ptr></type>
-     <pre><deref-read/></pre>
+      <pre><deref-read-nt/></pre>
     </par>
    </api>
    <semantics>
@@ -37,7 +37,13 @@
     <postconditions>
      <notnull-null/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fopen64.xml b/CodeHawk/CHB/bchsummaries/so_functions/fopen64.xml
index ebabb7d2..c171b9bf 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fopen64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fopen64.xml
@@ -16,7 +16,7 @@
     </apidoc>
    </documentation>
    <api adj="0" cc="cdecl" name="fopen64">
-    <returntype><ptr>ch_FILE</ptr></returntype>
+    <returntype><ptr>ch__FILE</ptr></returntype>
     <par loc="stack" io="r" name="filename" rep="hex" nr="1">
       <type><ptr>char</ptr></type>
      <roles>
@@ -26,7 +26,7 @@
     </par>
     <par loc="stack" io="r" name="mode" rep="hex" roles="none" nr="2">
       <type><ptr>char</ptr></type>
-     <pre><deref-read/></pre>
+     <pre><deref-read-nt/></pre>
     </par>
    </api>
    <semantics>
@@ -37,7 +37,13 @@
     <postconditions>
      <notnull-null/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fprintf.xml b/CodeHawk/CHB/bchsummaries/so_functions/fprintf.xml
index 703551ba..1f655b03 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fprintf.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fprintf.xml
@@ -25,7 +25,7 @@
    <api adj="0" cc="cdecl" name="fprintf" varargs="yes">
      <returntype>int</returntype>
      <par loc="stack" name="stream" io="r" nr="1">
-       <type><ptr>ch_FILE</ptr></type>
+       <type><ptr>ch__FILE</ptr></type>
        <pre><deref-read/></pre>
        <roles>
 	 <role rt="ioc:filesystem" rn="file"/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fputc.xml b/CodeHawk/CHB/bchsummaries/so_functions/fputc.xml
index 01a708ec..ba6d072a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fputc.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fputc.xml
@@ -27,7 +27,7 @@
      <roles>
       <role rt="ioc:filesystem" rn="file" />
      </roles>
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
     </par>
    </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fputs.xml b/CodeHawk/CHB/bchsummaries/so_functions/fputs.xml
index 84bac7de..cdcc051a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fputs.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fputs.xml
@@ -33,7 +33,7 @@
      <roles>
       <role rt="ioc:filesystem" rn="file" />
      </roles>
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
     </par>
    </api>
@@ -45,7 +45,13 @@
     <postconditions>
       <nonnegative-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fread.xml b/CodeHawk/CHB/bchsummaries/so_functions/fread.xml
index 4b8736d6..a58134d9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fread.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fread.xml
@@ -41,7 +41,7 @@
       <pre><non-negative/></pre>
     </par>
     <par loc="stack" desc="file" io="r" name="stream" nr="4">
-      <type><ptr>ch_FILE</ptr></type>
+      <type><ptr>ch__FILE</ptr></type>
       <roles>
         <role rt="ioc:filesystem" rn="file"/>
      </roles>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/freeaddrinfo.xml b/CodeHawk/CHB/bchsummaries/so_functions/freeaddrinfo.xml
index 35976b61..766f0fb7 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/freeaddrinfo.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/freeaddrinfo.xml
@@ -15,7 +15,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="freeaddrinfo">
       <par loc="stack" name="ai" nr="1">
-        <type><ptr>addrinfo</ptr></type>
+        <type><ptr>ch__addrinfo</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>void</returntype>
@@ -23,8 +23,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fscanf.xml b/CodeHawk/CHB/bchsummaries/so_functions/fscanf.xml
index 87488ec0..a7139d7c 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fscanf.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fscanf.xml
@@ -25,7 +25,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="fscanf" varargs="yes">
       <par loc="stack" name="stream" nr="1">
-        <type><ptr>ch_FILE</ptr></type>
+        <type><ptr>ch__FILE</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <par loc="stack" name="format" fmt="scan" nr="2">
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fseek.xml b/CodeHawk/CHB/bchsummaries/so_functions/fseek.xml
index a56d8de0..62e0c1f7 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fseek.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fseek.xml
@@ -25,7 +25,7 @@
    <api adj="0" cc="cdecl" name="fseek">
     <returntype>int</returntype>
     <par loc="stack" io="r" name="stream" nr="1">
-       <type><ptr>ch_FILE</ptr></type>
+       <type><ptr>ch__FILE</ptr></type>
      <roles>
         <role rt="ioc:filesystem" rn="file"/>
      </roles>
@@ -46,7 +46,13 @@
     <postconditions>
       <zero-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fsetpos.xml b/CodeHawk/CHB/bchsummaries/so_functions/fsetpos.xml
index 2ae0d9d6..1547dac8 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fsetpos.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fsetpos.xml
@@ -9,7 +9,7 @@
      <pt>
       <ll>int fsetpos(</ll>
       <ld>FILE *stream</ld>
-      <ld>cont fpos_t pos</ld>
+      <ld>const fpos_t pos</ld>
       <ll>)</ll>
      </pt>
      <par name="stream">pointer to FILE structure</par>
@@ -22,14 +22,14 @@
    </documentation>
    <api adj="0" cc="cdecl" name="fsetpos">
     <par loc="stack" io="r" name="stream" rep="hex" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <roles>
       <role rt="ioc:filesystem" rn="file" />
      </roles>
      <pre><deref-read/></pre>
     </par>
     <par loc="stack" io="r" name="pos" roles="none" nr="2">
-     <type><ptr>fpos_t</ptr></type>
+     <type><ptr>ch__fpos_t</ptr></type>
      <pre><deref-read/></pre>
     </par>
     <returntype>int</returntype>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fstat.xml b/CodeHawk/CHB/bchsummaries/so_functions/fstat.xml
index a7e77b0c..4be3e1d9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fstat.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fstat.xml
@@ -27,7 +27,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="buf" nr="2">
-        <type><ptr>stat</ptr></type>
+        <type><ptr>ch__stat</ptr></type>
 	<pre><deref-write/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
@@ -39,7 +39,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fstat64.xml b/CodeHawk/CHB/bchsummaries/so_functions/fstat64.xml
index 310950de..eaac3cda 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fstat64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fstat64.xml
@@ -27,7 +27,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="buf" nr="2">
-        <type><ptr>stat</ptr></type>
+        <type><ptr>ch__stat</ptr></type>
 	<pre><deref-write/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
@@ -39,7 +39,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/ftell.xml b/CodeHawk/CHB/bchsummaries/so_functions/ftell.xml
index 45edd6a6..dfedd356 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/ftell.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/ftell.xml
@@ -17,7 +17,7 @@
    <api adj="0" cc="cdecl" name="ftell">
     <returntype>long</returntype>
     <par loc="stack" io="r" name="stream" nr="1">
-      <type><ptr>ch_FILE</ptr></type>
+      <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
       <roles>
          <role rt="ioc:filesystem" rn="file"/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/ftruncate.xml b/CodeHawk/CHB/bchsummaries/so_functions/ftruncate.xml
index 5b1855cd..4e6bb34e 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/ftruncate.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/ftruncate.xml
@@ -35,7 +35,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/ftruncate64.xml b/CodeHawk/CHB/bchsummaries/so_functions/ftruncate64.xml
index b98bcd84..0e2aa5bf 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/ftruncate64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/ftruncate64.xml
@@ -35,7 +35,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/fwrite.xml b/CodeHawk/CHB/bchsummaries/so_functions/fwrite.xml
index e91a5032..df8252b5 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/fwrite.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/fwrite.xml
@@ -36,7 +36,7 @@
       <type>size_t</type>
     </par>
     <par loc="stack" io="r" name="stream" nr="4">
-      <type><ptr>ch_FILE</ptr></type>
+      <type><ptr>ch__FILE</ptr></type>
       <pre><deref-read/></pre>
       <roles>
          <role rt="filesystem" rn="file"/>
@@ -79,7 +79,13 @@
       </math>
      </error-post>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getaddrinfo.xml b/CodeHawk/CHB/bchsummaries/so_functions/getaddrinfo.xml
index 1bc40b04..84586daf 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getaddrinfo.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getaddrinfo.xml
@@ -48,11 +48,11 @@
 	<pre><deref-read-null-nt/></pre>
       </par>
       <par loc="stack" name="hints" nr="3">
-        <type><ptr>addrinfo</ptr></type>
+        <type><ptr>ch__addrinfo</ptr></type>
 	<pre><deref-read-null/></pre>
       </par>
       <par loc="stack" name="res" nr="4">
-        <type><ptr><ptr>addrinfo</ptr></ptr></type>
+        <type><ptr><ptr>ch__addrinfo</ptr></ptr></type>
 	<pre><deref-write/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
@@ -64,7 +64,13 @@
       <postconditions>
 	<zero-nonzero/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getcwd.xml b/CodeHawk/CHB/bchsummaries/so_functions/getcwd.xml
index b0ed73b7..8272b0d8 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getcwd.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getcwd.xml
@@ -66,7 +66,23 @@
 	  </math>
 	</error-post>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <apply>
+              <block-write/>
+              <type>char</type>
+              <ci>buf</ci>
+              <ci>size</ci>
+            </apply>
+          </math>
+        </sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2019, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getgrgid.xml b/CodeHawk/CHB/bchsummaries/so_functions/getgrgid.xml
index 8741f26b..aa3084b0 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getgrgid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getgrgid.xml
@@ -7,7 +7,7 @@
       <desc>get group database entry for a group ID</desc>
       <apidoc>
         <pt>struct group *getgrgid (gid_t gid)</pt>
-        <par name="gid">group id </par>
+        <par name="gid">gid_t</par>
         <return>
           <rc cond="success">pointer to a struct group</rc>
           <rc cond="failure">NULL</rc>
@@ -18,7 +18,7 @@
       <par loc="stack" name="gid" nr="1">
         <type>gid_t</type>
       </par>
-      <returntype><ptr>ch_group</ptr></returntype>
+      <returntype><ptr>ch__group</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
@@ -26,7 +26,13 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getgrnam.xml b/CodeHawk/CHB/bchsummaries/so_functions/getgrnam.xml
index ef3c15d8..d00509f9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getgrnam.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getgrnam.xml
@@ -21,7 +21,7 @@
         <type><ptr>char</ptr></type>
 	<pre><deref-read-nt/></pre>
       </par>
-      <returntype><ptr>ch_group</ptr></returntype>
+      <returntype><ptr>ch__group</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
@@ -29,7 +29,13 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getgroups.xml b/CodeHawk/CHB/bchsummaries/so_functions/getgroups.xml
index 336baf4a..182739d2 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getgroups.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getgroups.xml
@@ -67,6 +67,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/gethostbyname.xml b/CodeHawk/CHB/bchsummaries/so_functions/gethostbyname.xml
index fe40c67d..bde8f2e6 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/gethostbyname.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/gethostbyname.xml
@@ -18,13 +18,21 @@
         <type><ptr>char</ptr></type>
 	<pre><deref-read-nt/></pre>
       </par>
-      <returntype><ptr>hostent</ptr></returntype>
+      <returntype><ptr>ch__hostent</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getline.xml b/CodeHawk/CHB/bchsummaries/so_functions/getline.xml
index f7fa9e0a..a1f61dd0 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getline.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getline.xml
@@ -27,10 +27,11 @@
         <type><ptr><ptr>char</ptr></ptr></type>
       </par>
       <par loc="stack" name="n" nr="2">
-        <type>int</type>
+        <type><ptr>int</ptr></type>
+        <pre><deref-read/></pre>
       </par>
       <par loc="stack" name="stream" nr="3">
-        <type><ptr>ch_FILE</ptr></type>
+        <type><ptr>ch__FILE</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
@@ -38,8 +39,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getnameinfo.xml b/CodeHawk/CHB/bchsummaries/so_functions/getnameinfo.xml
index d0ff4011..0f781279 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getnameinfo.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getnameinfo.xml
@@ -30,7 +30,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="getnameinfo">
       <par loc="stack" name="sa" nr="1">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="salen" nr="2">
         <type>socklen_t</type>
@@ -56,7 +56,7 @@
 	  <math>
 	    <apply>
 	      <deref-read/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>sa</ci>
 	      <ci>salen</ci>
 	    </apply>
@@ -83,7 +83,9 @@
 	  </math>
 	</pre>
       </preconditions>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects>
 	<sideeffect>
 	  <math>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getnetbyaddr.xml b/CodeHawk/CHB/bchsummaries/so_functions/getnetbyaddr.xml
index 7b7e249e..22c59228 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getnetbyaddr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getnetbyaddr.xml
@@ -27,7 +27,7 @@
       <par loc="stack" name="type" nr="2">
         <type>int</type>
       </par>
-      <returntype><ptr>netent</ptr></returntype>
+      <returntype><ptr>ch__netent</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getnetbyname.xml b/CodeHawk/CHB/bchsummaries/so_functions/getnetbyname.xml
index 7fbb10db..a8153dfc 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getnetbyname.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getnetbyname.xml
@@ -16,10 +16,10 @@
     </documentation>
     <api adj="0" cc="cdecl" name="getnetbyname">
       <par loc="stack" name="name" nr="1">
-        <type><ptr>name</ptr></type>
+        <type><ptr>char</ptr></type>
 	<pre><deref-read-nt/></pre>
       </par>
-      <returntype><ptr>netent</ptr></returntype>
+      <returntype><ptr>ch__netent</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getpeername.xml b/CodeHawk/CHB/bchsummaries/so_functions/getpeername.xml
index ba6f9eeb..4f75107e 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getpeername.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getpeername.xml
@@ -31,7 +31,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="address" nr="2">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="address_len" nr="3">
         <type><ptr>socklen_t</ptr></type>
@@ -47,7 +47,7 @@
 	  <math>
 	    <apply>
 	      <deref-write/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
@@ -62,12 +62,17 @@
 	  <math>
 	    <apply>
 	      <block-write/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getpriority.xml b/CodeHawk/CHB/bchsummaries/so_functions/getpriority.xml
index 0e5ed460..f629ed7d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getpriority.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getpriority.xml
@@ -38,8 +38,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getpwnam.xml b/CodeHawk/CHB/bchsummaries/so_functions/getpwnam.xml
index 3f6617e6..2305daff 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getpwnam.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getpwnam.xml
@@ -17,9 +17,9 @@
     <api adj="0" cc="cdecl" name="getpwnam">
       <par loc="stack" name="name" nr="1">
         <type><ptr>char</ptr></type>
-	<pre><deref-read/></pre>
+	<pre><deref-read-nt/></pre>
       </par>
-      <returntype><ptr>ch_passwd</ptr></returntype>
+      <returntype><ptr>ch__passwd</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
@@ -27,7 +27,13 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getrlimit.xml b/CodeHawk/CHB/bchsummaries/so_functions/getrlimit.xml
index 65524e80..22408951 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getrlimit.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getrlimit.xml
@@ -25,8 +25,8 @@
         <type>int</type>
       </par>
       <par loc="stack" name="rlp" nr="2">
-        <type><ptr>rlimit</ptr></type>
-	<pre><deref-read/></pre>
+        <type><ptr>ch__rlimit</ptr></type>
+	<pre><deref-write/></pre>
       </par>
       <returntype>int</returntype>
     </api>
@@ -36,7 +36,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getrlimit64.xml b/CodeHawk/CHB/bchsummaries/so_functions/getrlimit64.xml
index c1c78772..0f1d40f1 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getrlimit64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getrlimit64.xml
@@ -25,8 +25,9 @@
         <type>int</type>
       </par>
       <par loc="stack" name="rlp" nr="2">
-        <type><ptr>rlimit</ptr></type>
-	<pre><deref-read/></pre>
+        <type><ptr>ch__rlimit</ptr></type>
+	<pre><deref-write/></pre>
+        <sideeffects><block-write/></sideeffects>
       </par>
       <returntype>int</returntype>
     </api>
@@ -36,7 +37,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getrusage.xml b/CodeHawk/CHB/bchsummaries/so_functions/getrusage.xml
index 2b2279c9..8139374b 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getrusage.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getrusage.xml
@@ -28,7 +28,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="r_usage" nr="2">
-        <type><ptr>rusage</ptr></type>
+        <type><ptr>ch__rusage</ptr></type>
 	<pre><deref-write/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
@@ -40,7 +40,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getsockname.xml b/CodeHawk/CHB/bchsummaries/so_functions/getsockname.xml
index 14c97cf6..4b50ce7d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getsockname.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getsockname.xml
@@ -27,7 +27,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="address" nr="2">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="address_len" nr="3">
         <type><ptr>socklen_t</ptr></type>
@@ -43,7 +43,7 @@
 	  <math>
 	    <apply>
 	      <deref-write/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <apply>
 		<addressed-value/>
@@ -62,7 +62,7 @@
 	  <math>
 	    <apply>
 	      <block-write/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address_len</ci>
 	      <apply>
 		<addressed-value/>
@@ -72,6 +72,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getsockopt.xml b/CodeHawk/CHB/bchsummaries/so_functions/getsockopt.xml
index 87806780..e5085065 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getsockopt.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getsockopt.xml
@@ -82,6 +82,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/getspnam.xml b/CodeHawk/CHB/bchsummaries/so_functions/getspnam.xml
index 8f11ea8d..b5268376 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/getspnam.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/getspnam.xml
@@ -23,13 +23,21 @@
 	<pre><deref-read/></pre>
         <type><ptr>char</ptr></type>
       </par>
-      <returntype><ptr>spwd</ptr></returntype>
+      <returntype><ptr>ch__spwd</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/gettimeofday.xml b/CodeHawk/CHB/bchsummaries/so_functions/gettimeofday.xml
index fd4f8b7d..a8f0b5d1 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/gettimeofday.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/gettimeofday.xml
@@ -22,7 +22,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="gettimeofday">
       <par loc="stack" name="tp" nr="1">
-        <type><ptr>ch_timeval</ptr></type>
+        <type><ptr>ch__timeval</ptr></type>
 	<pre><deref-write/></pre>
       </par>
       <par loc="stack" name="tzp" nr="2">
@@ -33,7 +33,17 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <post>
+          <math>
+            <apply>
+              <eq/>
+              <return/>
+              <cn>0</cn>
+            </apply>
+          </math>
+        </post>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/gmtime.xml b/CodeHawk/CHB/bchsummaries/so_functions/gmtime.xml
index 3eb86121..5a0722f4 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/gmtime.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/gmtime.xml
@@ -24,7 +24,7 @@
     </apidoc>
    </documentation>
    <api adj="0" cc="cdecl" name="gmtime">
-     <returntype><ptr>ch_tm</ptr></returntype>
+     <returntype><ptr>ch__tm</ptr></returntype>
      <par loc="stack" io="r" name="timer" nr="1">
      <roles>
        <role rt="ioc:memops" rn="src-bytes:time_t" />
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/if_indextoname.xml b/CodeHawk/CHB/bchsummaries/so_functions/if_indextoname.xml
index 90f44961..75be8aaa 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/if_indextoname.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/if_indextoname.xml
@@ -38,7 +38,7 @@
 	      <deref-write/>
 	      <type>char</type>
 	      <ci>ifname</ci>
-	      <runtime-value/>
+	      <cn>16</cn>
 	    </apply>
 	  </math>
 	</pre>
@@ -46,7 +46,23 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <apply>
+              <block-write/>
+              <type>char</type>
+              <ci>ifname</ci>
+              <cn>16</cn>
+            </apply>
+          </math>
+        </sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/if_nametoindex.xml b/CodeHawk/CHB/bchsummaries/so_functions/if_nametoindex.xml
index ef81c84d..90cf6875 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/if_nametoindex.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/if_nametoindex.xml
@@ -24,7 +24,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <positive-zero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
index 9339c76a..9cd75672 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml
@@ -19,7 +19,7 @@
         <type><ptr>char</ptr></type>
 	<pre><deref-read-nt/></pre>
       </par>
-      <returntype>in_addr_t</returntype>
+      <returntype>ch__in_addr</returntype>
     </api>
     <semantics>
       <io-actions/>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_aton.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_aton.xml
index dd8b5460..50b803f0 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_aton.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_aton.xml
@@ -32,7 +32,7 @@
 	<pre><deref-read-nt/></pre>
       </par>
       <par loc="stack" name="inp" nr="2">
-        <type><ptr>in_addr</ptr></type>
+        <type><ptr>ch__in_addr</ptr></type>
 	<pre><deref-write/></pre>
       </par>
       <returntype>int</returntype>
@@ -40,7 +40,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <nonzero-zero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_ntoa.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_ntoa.xml
index 8c0afb47..51ece6e4 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_ntoa.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_ntoa.xml
@@ -15,7 +15,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="inet_ntoa">
       <par loc="stack" name="in" nr="1">
-        <type>in_addr</type>
+        <type>ch__in_addr</type>
       </par>
       <returntype><ptr>char</ptr></returntype>
     </api>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_ntop.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_ntop.xml
index 7822bf2f..464e135d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_ntop.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_ntop.xml
@@ -88,6 +88,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_pton.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_pton.xml
index 1c5dcf3f..36c6eff0 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/inet_pton.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_pton.xml
@@ -46,8 +46,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/ioctl.xml b/CodeHawk/CHB/bchsummaries/so_functions/ioctl.xml
index 51cdae23..b8f11775 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/ioctl.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/ioctl.xml
@@ -40,8 +40,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/isblank.xml b/CodeHawk/CHB/bchsummaries/so_functions/isblank.xml
new file mode 100644
index 00000000..0f156362
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/isblank.xml
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2020-06-03 21:04:57"/>
+  <libfun lib="so_functions" name="isblank">
+    <documentation>
+      <desc>test for a blank character</desc>
+      <apidoc>
+        <pt>int isblank (int c)</pt>
+        <par name="c">
+	  value to be tested if it is a character of class blank in the current locale
+	</par>
+        <return>
+          <rc cond="success">nonzero value</rc>
+          <rc cond="failure">zero</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="isblank">
+      <par loc="stack" name="c" nr="1">
+        <type>int</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/isdigit.xml b/CodeHawk/CHB/bchsummaries/so_functions/isdigit.xml
new file mode 100644
index 00000000..65da23c0
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/isdigit.xml
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-04 21:36:02"/>
+  <libfun lib="so_functions" name="isdigit">
+    <documentation>
+      <desc>test for a decimal digit</desc>
+      <apidoc>
+        <pt>int isdigit (int c)</pt>
+        <par name="c">
+	  value to be tested if it is a character of class digit in the current locale
+	</par>
+        <return>
+          <rc cond="success">nonzero value</rc>
+          <rc cond="failure">zero</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="isdigit">
+      <par loc="stack" name="c" nr="1">
+        <type>int</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/kill.xml b/CodeHawk/CHB/bchsummaries/so_functions/kill.xml
index 40f9e9a8..d836d5f5 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/kill.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/kill.xml
@@ -37,7 +37,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/killpg.xml b/CodeHawk/CHB/bchsummaries/so_functions/killpg.xml
index 3baffb58..963319cb 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/killpg.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/killpg.xml
@@ -42,8 +42,16 @@
 	  </math>
 	</pre>
       </preconditions>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/listen.xml b/CodeHawk/CHB/bchsummaries/so_functions/listen.xml
index 97ddc715..f57cfd15 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/listen.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/listen.xml
@@ -41,7 +41,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/localtime.xml b/CodeHawk/CHB/bchsummaries/so_functions/localtime.xml
index 6666f8eb..f98ebe39 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/localtime.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/localtime.xml
@@ -15,7 +15,7 @@
     </apidoc>
    </documentation>
    <api adj="0" cc="cdecl" name="localtime">
-     <returntype><ptr>tm</ptr></returntype>
+     <returntype><ptr>ch__tm</ptr></returntype>
     <par loc="stack" io="r" name="timer" rep="hex" nr="1">
       <type><ptr>time_t</ptr></type>
       <pre><deref-read/></pre>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/lockf.xml b/CodeHawk/CHB/bchsummaries/so_functions/lockf.xml
index f595a246..f92e38d5 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/lockf.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/lockf.xml
@@ -44,7 +44,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/lockf64.xml b/CodeHawk/CHB/bchsummaries/so_functions/lockf64.xml
new file mode 100644
index 00000000..6068c0b1
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/lockf64.xml
@@ -0,0 +1,57 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-04 23:29:19"/>
+  <libfun lib="so_functions" name="lockf64">
+    <documentation>
+      <desc>record locking on files</desc>
+      <apidoc>
+        <pt>
+          <ll>int lockf64(</ll>
+          <ld>int fildes,</ld>
+          <ld>int function,</ld>
+          <ld>off_t size</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="fildes">open file descriptor</par>
+        <par name="function">
+	  control value that specifies the action to be taken
+	</par>
+        <par name="size">
+	  the number of contiguous bytes to be locked or unlocked
+	</par>
+        <return>
+          <rc cond="success">0</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="lockf64">
+      <par loc="stack" name="fildes" nr="1">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="function" nr="2">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="size" nr="3">
+        <type>off_t</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+	<zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/lrand48.xml b/CodeHawk/CHB/bchsummaries/so_functions/lrand48.xml
new file mode 100644
index 00000000..ceda2375
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/lrand48.xml
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="UTF-8"?>
+ <codehawk-binary-analyzer>
+  <header date="08/05/2013 10:39:44"/>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <libfun lib="msvcrt" name="lrand48">
+   <documentation>
+    <desc>pseudo-random number generator</desc>
+    <apidoc>
+     <pt>long lrand48 (void)</pt>
+    </apidoc>
+   </documentation>
+   <api adj="0" cc="cdecl" name="lrand48">
+    <returntype>long</returntype>
+   </api>
+   <semantics>
+     <io-actions>
+        <io-action cat="process" desc="generates pseudo random number"/>
+     </io-actions>
+    <preconditions/>
+    <postconditions/>
+    <sideeffects/>
+   </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2015, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
+ </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/lseek.xml b/CodeHawk/CHB/bchsummaries/so_functions/lseek.xml
index 9cc5d9af..e81bf2a3 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/lseek.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/lseek.xml
@@ -39,8 +39,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/lseek64.xml b/CodeHawk/CHB/bchsummaries/so_functions/lseek64.xml
index fdc21794..ed746d70 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/lseek64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/lseek64.xml
@@ -39,8 +39,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/malloc.xml b/CodeHawk/CHB/bchsummaries/so_functions/malloc.xml
index 911278cd..728e9cf8 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/malloc.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/malloc.xml
@@ -48,7 +48,13 @@
       </math>
      </error-post>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/memcpy.xml b/CodeHawk/CHB/bchsummaries/so_functions/memcpy.xml
index ed28047b..bc701cf7 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/memcpy.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/memcpy.xml
@@ -63,15 +63,6 @@
 	  </apply>
 	</math>
       </pre>
-      <pre>
-	<math>
-	  <apply>
-	    <geq/>
-	    <ci>count</ci>
-	    <cn>0</cn>
-	  </apply>
-	</math>
-      </pre>
     </preconditions>
     <postconditions>
      <post>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/memmem.xml b/CodeHawk/CHB/bchsummaries/so_functions/memmem.xml
index 5fe6f836..2b646530 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/memmem.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/memmem.xml
@@ -4,7 +4,7 @@
   <header date="2024-05-31 23:38:41"/>
   <libfun lib="so_functions" name="memmem">
     <documentation>
-      <desc>lates a substring</desc>
+      <desc>locates a substring</desc>
       <apidoc>
         <pt>
           <ll>void *memmem(</ll>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mkdir.xml b/CodeHawk/CHB/bchsummaries/so_functions/mkdir.xml
index fd31dab0..facbd57d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/mkdir.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mkdir.xml
@@ -41,7 +41,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mkstemp.xml b/CodeHawk/CHB/bchsummaries/so_functions/mkstemp.xml
index ef636c2d..e68c063d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/mkstemp.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mkstemp.xml
@@ -26,8 +26,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mkstemp64.xml b/CodeHawk/CHB/bchsummaries/so_functions/mkstemp64.xml
index 9e2fbf56..82e2b65b 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/mkstemp64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mkstemp64.xml
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="utf-8"?>
 <?xml version="1.0" encoding="UTF-8"?>
 <codehawk-binary-analyzer>
   <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
@@ -26,8 +27,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mktime.xml b/CodeHawk/CHB/bchsummaries/so_functions/mktime.xml
index 57ed813e..fa2d7970 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/mktime.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mktime.xml
@@ -12,7 +12,7 @@
    </documentation>
    <api adj="0" cc="cdecl" name="mktime">
     <par loc="stack" io="r" name="timeptr" nr="1">
-     <type><ptr>ch_tm</ptr></type>
+     <type><ptr>ch__tm</ptr></type>
      <roles>
       <role rt="ioc:memops" rn="src-struct:tm" />
      </roles>
@@ -25,8 +25,16 @@
       <io-action cat="memops" desc="converts local time to calendar time"/>
     </io-actions>
     <preconditions/>
-    <postconditions/>
-    <sideeffects/>
+    <postconditions>
+      <nonnegative-negone/>
+    </postconditions>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
  </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mmap.xml b/CodeHawk/CHB/bchsummaries/so_functions/mmap.xml
index 60053c5c..9b97f00d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/mmap.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mmap.xml
@@ -56,7 +56,13 @@
       <io-actions/>
       <preconditions/>
       <postconditions/>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/mmap64.xml b/CodeHawk/CHB/bchsummaries/so_functions/mmap64.xml
new file mode 100644
index 00000000..0b4ec743
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/mmap64.xml
@@ -0,0 +1,69 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2020-04-20 16:40:53"/>
+  <libfun lib="so_functions" name="mmap64">
+    <documentation>
+      <desc>map pages of memory</desc>
+      <apidoc>
+        <pt>
+          <ll>void *mmap64(</ll>
+          <ld>void *addr</ld>
+          <ld>size_t len</ld>
+          <ld>int prot</ld>
+          <ld>int flags</ld>
+          <ld>int fildes</ld>
+          <ld>off_t off</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="addr">starting address of mapping</par>
+        <par name="len">number of bytes to be mapped </par>
+        <par name="prot">
+	  determines whether read, write, execute, or some combination of
+	  accesses are permitted to the data being mapped
+	</par>
+        <par name="flags">flags</par>
+        <par name="fildes">file descriptor</par>
+        <par name="off">TBD</par>
+        <return>
+          <rc cond="success">address at which the mapping was placed</rc>
+          <rc cond="failure">MAP_FAILED</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="mmap64">
+      <par loc="stack" name="addr" nr="1">
+        <type><ptr>void</ptr></type>
+      </par>
+      <par loc="stack" name="len" nr="2">
+        <type>size_t</type>
+      </par>
+      <par loc="stack" name="prot" nr="3">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="flags" nr="4">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="fildes" nr="5">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="off" nr="6">
+        <type>off_t</type>
+      </par>
+      <returntype><ptr>void</ptr></returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/msgrcv.xml b/CodeHawk/CHB/bchsummaries/so_functions/msgrcv.xml
index 69408116..92e448a8 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/msgrcv.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/msgrcv.xml
@@ -48,9 +48,28 @@
     </api>
     <semantics>
       <io-actions/>
-      <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>byte</type>
+              <ci>msgp</ci>
+              <ci>msgsz</ci>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/munmap.xml b/CodeHawk/CHB/bchsummaries/so_functions/munmap.xml
index 055d7e65..b2bee55f 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/munmap.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/munmap.xml
@@ -39,7 +39,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/nanosleep.xml b/CodeHawk/CHB/bchsummaries/so_functions/nanosleep.xml
index f8d65a78..41142aa5 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/nanosleep.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/nanosleep.xml
@@ -22,11 +22,11 @@
     </documentation>
     <api adj="0" cc="cdecl" name="nanosleep">
       <par loc="stack" name="rqtp" nr="1">
-        <type><ptr>timespec</ptr></type>
+        <type><ptr>ch__timespec</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <par loc="stack" name="rmtp" nr="2">
-        <type><ptr>timespec</ptr></type>
+        <type><ptr>ch__timespec</ptr></type>
 	<pre><deref-write-null/></pre>
       </par>
       <returntype>int</returntype>
@@ -34,8 +34,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/open.xml b/CodeHawk/CHB/bchsummaries/so_functions/open.xml
index 6acbd973..523d1fce 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/open.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/open.xml
@@ -41,7 +41,13 @@
     <postconditions>
       <nonnegative-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/open64.xml b/CodeHawk/CHB/bchsummaries/so_functions/open64.xml
index ad6ea941..b90cfbf5 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/open64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/open64.xml
@@ -46,7 +46,13 @@
     <postconditions>
       <nonnegative-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/opendir.xml b/CodeHawk/CHB/bchsummaries/so_functions/opendir.xml
index 5f8b7992..2d42f486 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/opendir.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/opendir.xml
@@ -19,7 +19,7 @@
         <type><ptr>char</ptr></type>
 	<pre><deref-read-nt/></pre>
       </par>
-      <returntype><ptr>DIR</ptr></returntype>
+      <returntype><ptr>ch__DIR</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
@@ -27,7 +27,13 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pclose.xml b/CodeHawk/CHB/bchsummaries/so_functions/pclose.xml
index a19f0da8..92e9c3c7 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pclose.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pclose.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pclose">
       <par loc="stack" name="stream" nr="1">
-        <type><ptr>ch_FILE</ptr></type>
+        <type><ptr>ch__FILE</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
@@ -24,8 +24,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pipe.xml b/CodeHawk/CHB/bchsummaries/so_functions/pipe.xml
index d2167507..ed49041b 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pipe.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pipe.xml
@@ -51,6 +51,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/poll.xml b/CodeHawk/CHB/bchsummaries/so_functions/poll.xml
index daf1cfbf..3ec0e56a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/poll.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/poll.xml
@@ -30,7 +30,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="poll">
       <par loc="stack" name="fds" nr="1">
-        <type><ptr>pollfd</ptr></type>
+        <type><ptr>ch__pollfd</ptr></type>
       </par>
       <par loc="stack" name="nfds" nr="2">
         <type>nfds_t</type>
@@ -43,8 +43,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/popen.xml b/CodeHawk/CHB/bchsummaries/so_functions/popen.xml
index f3915bd9..7241cf0f 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/popen.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/popen.xml
@@ -29,7 +29,7 @@
         <type><ptr>char</ptr></type>
 	<pre><deref-read/></pre>
       </par>
-      <returntype><ptr>ch_FILE</ptr></returntype>
+      <returntype><ptr>ch__FILE</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
@@ -37,7 +37,13 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pow.xml b/CodeHawk/CHB/bchsummaries/so_functions/pow.xml
new file mode 100644
index 00000000..ba5a7251
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pow.xml
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 23:20:48"/>
+  <libfun lib="so_functions" name="pow">
+    <documentation>
+      <desc>power function</desc>
+      <apidoc>
+        <pt>
+          <ll>double pow(</ll>
+          <ld>double x</ld>
+          <ld>double y</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="x">base value</par>
+        <par name="y">exponent</par>
+        <return>
+          <rc cond="success">x raised to the power y</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="pow">
+      <par loc="stack" name="x" nr="1">
+        <type>double</type>
+      </par>
+      <par loc="stack" name="y" nr="2">
+        <type>double</type>
+      </par>
+      <returntype>double</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/pthread_cond_broadcast.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_broadcast.xml
index 5e02a37e..8a6fe707 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_broadcast.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_broadcast.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_cond_broadcast">
       <par loc="stack" name="cond" nr="1">
-        <type><ptr>pthread_cond_t</ptr></type>
+        <type><ptr>ch__pthread_cond_t</ptr></type>
 	<pre><not-null/></pre>
       </par>
       <returntype>int</returntype>
@@ -24,7 +24,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_destroy.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_destroy.xml
index c07677df..73524d73 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_destroy.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_destroy.xml
@@ -16,14 +16,16 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_cond_destroy">
       <par loc="stack" name="cond" nr="1">
-        <type><ptr>pthread_cond_t</ptr></type>
+        <type><ptr>ch__pthread_cond_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_init.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_init.xml
index 16bbeac0..ee08d295 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_init.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_init.xml
@@ -22,7 +22,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_cond_init">
       <par loc="stack" name="cond" nr="1">
-        <type><ptr>pthread_cond_t</ptr></type>
+        <type><ptr>ch__pthread_cond_t</ptr></type>
       </par>
       <par loc="stack" name="attr" nr="2">
         <type><ptr>pthread_condattr_t</ptr></type>
@@ -32,7 +32,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_signal.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_signal.xml
index 1c186749..e91ae237 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_signal.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_signal.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_cond_signal">
       <par loc="stack" name="cond" nr="1">
-        <type><ptr>pthread_cond_t</ptr></type>
+        <type><ptr>ch__pthread_cond_t</ptr></type>
 	<pre><not-null/></pre>
       </par>
       <returntype>int</returntype>
@@ -24,7 +24,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_timedwait.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_timedwait.xml
index a7fde7d7..0ac1cedb 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_timedwait.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_timedwait.xml
@@ -24,20 +24,23 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_cond_timedwait">
       <par loc="stack" name="cond" nr="1">
-        <type><ptr>pthread_cond_t</ptr></type>
+        <type><ptr>ch__pthread_cond_t</ptr></type>
       </par>
       <par loc="stack" name="mutex" nr="2">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <par loc="stack" name="abstime" nr="3">
-        <type><ptr>timespec</ptr></type>
+        <type><ptr>ch__timespec</ptr></type>
+        <pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_wait.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_wait.xml
index 9be695be..d205d6f8 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_wait.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_cond_wait.xml
@@ -22,17 +22,19 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_cond_wait">
       <par loc="stack" name="cond" nr="1">
-        <type><ptr>pthread_cond_t</ptr></type>
+        <type><ptr>ch__pthread_cond_t</ptr></type>
       </par>
       <par loc="stack" name="mutex" nr="2">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_create.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_create.xml
index 40895e33..30e97b2e 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_create.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_create.xml
@@ -26,10 +26,10 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_create">
       <par loc="stack" name="thread" nr="1">
-        <type><ptr>pthread_t</ptr></type>
+        <type><ptr>ch__pthread_t</ptr></type>
       </par>
       <par loc="stack" name="attr" nr="2">
-        <type><ptr>pthread_attr_t</ptr></type>
+        <type><ptr>ch__pthread_attr_t</ptr></type>
       </par>
       <par loc="stack" name="start_routine" nr="3">
         <type><ptr>pthread_start_routine</ptr></type>
@@ -42,7 +42,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_destroy.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_destroy.xml
index ab8ec79e..1af43b3e 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_destroy.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_destroy.xml
@@ -16,14 +16,16 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_mutex_destroy">
       <par loc="stack" name="mutex" nr="1">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_init.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_init.xml
index 374aee6a..ad5f76a6 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_init.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_init.xml
@@ -22,17 +22,19 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_mutex_init">
       <par loc="stack" name="mutex" nr="1">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <par loc="stack" name="attr" nr="2">
-        <type><ptr>pthread_mutexattr_t</ptr></type>
+        <type><ptr>ch__pthread_mutexattr_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_lock.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_lock.xml
index 554de99f..871d46ab 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_lock.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_lock.xml
@@ -16,14 +16,16 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_mutex_lock">
       <par loc="stack" name="mutex" nr="1">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_trylock.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_trylock.xml
index 3a5d6778..dbc1ef74 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_trylock.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_trylock.xml
@@ -16,14 +16,16 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_mutex_trylock">
       <par loc="stack" name="mutex" nr="1">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_unlock.xml b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_unlock.xml
index 6b649f3a..032db5fa 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_unlock.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/pthread_mutex_unlock.xml
@@ -16,14 +16,16 @@
     </documentation>
     <api adj="0" cc="cdecl" name="pthread_mutex_unlock">
       <par loc="stack" name="mutex" nr="1">
-        <type><ptr>pthread_mutex_t</ptr></type>
+        <type><ptr>ch__pthread_mutex_t</ptr></type>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/putenv.xml b/CodeHawk/CHB/bchsummaries/so_functions/putenv.xml
index 28284fb4..79e49e9a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/putenv.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/putenv.xml
@@ -33,8 +33,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-nonzero/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/puts.xml b/CodeHawk/CHB/bchsummaries/so_functions/puts.xml
index c8650954..75a1b6d5 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/puts.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/puts.xml
@@ -32,8 +32,16 @@
      <io-action cat="outputs" desc="writes to stdout"/>
     </io-actions>
     <preconditions/>
-    <postconditions/>
-    <sideeffects/>
+    <postconditions>
+      <nonnegative-negone/>
+    </postconditions>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/qsort.xml b/CodeHawk/CHB/bchsummaries/so_functions/qsort.xml
new file mode 100644
index 00000000..e4759efb
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/qsort.xml
@@ -0,0 +1,58 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 22:22:24"/>
+  <libfun lib="so_functions" name="qsort">
+    <documentation>
+      <desc>sort a table of data</desc>
+      <apidoc>
+        <pt>
+          <ll>void qsort(</ll>
+          <ld>void *base</ld>
+          <ld>size_t nel</ld>
+          <ld>size_t width</ld>
+          <ld>int (*compar)*const void *, const void *)</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="base">base of array to be sorted </par>
+        <par name="nel">number of elements </par>
+        <par name="width">width of each element in bytes</par>
+        <par name="compar">comparison function</par>
+        <return/>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="qsort">
+      <par loc="stack" name="base" nr="1">
+        <type><ptr>void</ptr></type>
+      </par>
+      <par loc="stack" name="nel" nr="2">
+        <type>size_t</type>
+      </par>
+      <par loc="stack" name="width" nr="3">
+        <type>size_t</type>
+      </par>
+      <par loc="stack" name="compar" nr="4">
+        <type>comparison_fptr</type>
+      </par>
+      <returntype>void</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>byte</type>
+              <ci>base</ci>
+              <apply><times/><ci>nel</ci><ci>width</ci></apply>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/read.xml b/CodeHawk/CHB/bchsummaries/so_functions/read.xml
index 591daf31..c73dfe7c 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/read.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/read.xml
@@ -88,6 +88,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/readdir.xml b/CodeHawk/CHB/bchsummaries/so_functions/readdir.xml
index a7f75b39..dd95a671 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/readdir.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/readdir.xml
@@ -16,16 +16,24 @@
     </documentation>
     <api adj="0" cc="cdecl" name="readdir">
       <par loc="stack" name="dirp" nr="1">
-        <type><ptr>DIR</ptr></type>
+        <type><ptr>ch__DIR</ptr></type>
 	<pre><deref-read/></pre>
       </par>
-      <returntype><ptr>dirent</ptr></returntype>
+      <returntype><ptr>ch__dirent</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/readdir64.xml b/CodeHawk/CHB/bchsummaries/so_functions/readdir64.xml
index ac902c93..f794b394 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/readdir64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/readdir64.xml
@@ -16,10 +16,10 @@
     </documentation>
     <api adj="0" cc="cdecl" name="readdir64">
       <par loc="stack" name="dirp" nr="1">
-        <type><ptr>DIR</ptr></type>
+        <type><ptr>ch__DIR</ptr></type>
 	<pre><deref-read/></pre>
       </par>
-      <returntype><ptr>dirent</ptr></returntype>
+      <returntype><ptr>ch__dirent</ptr></returntype>
     </api>
     <semantics>
       <io-actions/>
@@ -27,7 +27,13 @@
       <postconditions>
 	<notnull-null/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/readlink.xml b/CodeHawk/CHB/bchsummaries/so_functions/readlink.xml
index dbe2f15a..f3152e0e 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/readlink.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/readlink.xml
@@ -61,7 +61,9 @@
 	  </math>
 	</pre>
       </preconditions>
-      <postconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
       <sideeffects>
 	<sideeffect>
 	  <math>
@@ -73,6 +75,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/realpath.xml b/CodeHawk/CHB/bchsummaries/so_functions/realpath.xml
index 41bc5b60..440b182f 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/realpath.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/realpath.xml
@@ -67,6 +67,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/recv.xml b/CodeHawk/CHB/bchsummaries/so_functions/recv.xml
index 253c6941..734acc07 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/recv.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/recv.xml
@@ -89,6 +89,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/recvfrom.xml b/CodeHawk/CHB/bchsummaries/so_functions/recvfrom.xml
index 07dae72b..fdc413d6 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/recvfrom.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/recvfrom.xml
@@ -55,7 +55,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="address" nr="5">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="address_len" nr="6">
         <type><ptr>socklen_t</ptr></type>
@@ -79,7 +79,7 @@
 	  <math>
 	    <apply>
 	      <deref-read-null/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
@@ -121,12 +121,17 @@
 	  <math>
 	    <apply>
 	      <block-write/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>address</ci>
 	      <ci>address_len</ci>
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/recvmsg.xml b/CodeHawk/CHB/bchsummaries/so_functions/recvmsg.xml
index 444cf455..727ce38a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/recvmsg.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/recvmsg.xml
@@ -33,7 +33,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="message" nr="2">
-        <type><ptr>msghdr</ptr></type>
+        <type><ptr>ch__msghdr</ptr></type>
 	<pre><deref-write/></pre>
       </par>
       <par loc="stack" name="flags" nr="3">
@@ -44,8 +44,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/remove.xml b/CodeHawk/CHB/bchsummaries/so_functions/remove.xml
index d6f7e2e4..bc107c3b 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/remove.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/remove.xml
@@ -32,7 +32,13 @@
     <postconditions>
       <zero-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/rename.xml b/CodeHawk/CHB/bchsummaries/so_functions/rename.xml
index 159575f7..765e5de9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/rename.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/rename.xml
@@ -37,7 +37,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/rewind.xml b/CodeHawk/CHB/bchsummaries/so_functions/rewind.xml
index 1e739f68..404ada4b 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/rewind.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/rewind.xml
@@ -13,7 +13,7 @@
    </documentation>
    <api adj="0" cc="cdecl" name="rewind">
     <par loc="stack" name="stream" nr="1">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <pre><deref-read/></pre>
      <roles>
        <role rt="ioc:filesystem" rn="stream"/>
@@ -27,7 +27,13 @@
     </io-actions>
     <preconditions/>
     <postconditions/>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2015, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/rmdir.xml b/CodeHawk/CHB/bchsummaries/so_functions/rmdir.xml
index abac0365..20a25559 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/rmdir.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/rmdir.xml
@@ -32,7 +32,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/scandir.xml b/CodeHawk/CHB/bchsummaries/so_functions/scandir.xml
new file mode 100644
index 00000000..8bbb1338
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/scandir.xml
@@ -0,0 +1,56 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 15:26:58"/>
+  <libfun lib="so_functions" name="scandir">
+    <documentation>
+      <desc>scan a directory</desc>
+      <apidoc>
+        <pt>
+          <ll>int scandir(</ll>
+          <ld>const char *dir</ld>
+          <ld>const struct dirent ***namelist</ld>
+          <ld>int (*sel)(const struct direct *)</ld>
+          <ld>int (*compar)(const struct dirent **, const struct dirent **)</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="dir">directory to be scanned</par>
+        <par name="namelist">list in which selected entries are stored</par>
+        <par name="sel">function to select directory entries</par>
+        <par name="compar">function to sort directory entries</par>
+        <return>
+          <rc cond="success">number of entries stored</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="scandir">
+      <par loc="stack" name="dir" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="namelist" nr="2">
+        <type><ptr><ptr><ptr>ch__dirent</ptr></ptr></ptr></type>
+        <pre><deref-write/></pre>
+      </par>
+      <par loc="stack" name="sel" nr="3">
+        <type><ptr>dir_select_fptr</ptr></type>
+        <pre><deref-read-null/></pre>
+      </par>
+      <par loc="stack" name="compar" nr="4">
+        <type><ptr>comparison_fptr</ptr></type>
+        <pre><deref-read-null/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </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/scandir64.xml b/CodeHawk/CHB/bchsummaries/so_functions/scandir64.xml
new file mode 100644
index 00000000..bf052552
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/scandir64.xml
@@ -0,0 +1,56 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 15:26:58"/>
+  <libfun lib="so_functions" name="scandir64">
+    <documentation>
+      <desc>scan a directory</desc>
+      <apidoc>
+        <pt>
+          <ll>int scandir64(</ll>
+          <ld>const char *dir</ld>
+          <ld>const struct dirent ***namelist</ld>
+          <ld>int (*sel)(const struct direct *)</ld>
+          <ld>int (*compar)(const struct dirent **, const struct dirent **)</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="dir">directory to be scanned</par>
+        <par name="namelist">list in which selected entries are stored</par>
+        <par name="sel">function to select directory entries</par>
+        <par name="compar">function to sort directory entries</par>
+        <return>
+          <rc cond="success">number of entries stored</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="scandir64">
+      <par loc="stack" name="dir" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="namelist" nr="2">
+        <type><ptr><ptr><ptr>ch__dirent</ptr></ptr></ptr></type>
+        <pre><deref-write/></pre>
+      </par>
+      <par loc="stack" name="sel" nr="3">
+        <type><ptr>dir_select_fptr</ptr></type>
+        <pre><deref-read-null/></pre>
+      </par>
+      <par loc="stack" name="compar" nr="4">
+        <type><ptr>comparison_fptr</ptr></type>
+        <pre><deref-read-null/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </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/select.xml b/CodeHawk/CHB/bchsummaries/so_functions/select.xml
index c52c3770..69a3c932 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/select.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/select.xml
@@ -41,22 +41,22 @@
         <type>int</type>
       </par>
       <par loc="stack" name="readfds" nr="2">
-        <type><ptr>ch_fd_set</ptr></type>
+        <type><ptr>ch__fd_set</ptr></type>
 	<pre><deref-read/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
       <par loc="stack" name="writefds" nr="3">
-        <type><ptr>ch_fd_set</ptr></type>
+        <type><ptr>ch__fd_set</ptr></type>
 	<pre><deref-read/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
       <par loc="stack" name="errorfds" nr="4">
-        <type><ptr>ch_fd_set</ptr></type>
+        <type><ptr>ch__fd_set</ptr></type>
 	<pre><deref-read/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
       <par loc="stack" name="timeout" nr="5">
-        <type><ptr>ch_timeval</ptr></type>
+        <type><ptr>ch__timeval</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
@@ -67,7 +67,13 @@
       <postconditions>
 	<nonnegative-negative/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sem_init.xml b/CodeHawk/CHB/bchsummaries/so_functions/sem_init.xml
index a3b2d758..c74974d4 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sem_init.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sem_init.xml
@@ -25,7 +25,7 @@
     <api adj="0" cc="cdecl" name="sem_init">
       <par loc="stack" name="sem" rep="hex" nr="1">
 	<pre><not-null/></pre>
-        <type><ptr>int</ptr></type>
+        <type><ptr>sem_t</ptr></type>
 	<roles>
 	  <role rt="ioc:process" rn="semaphore"/>
 	</roles>
@@ -46,7 +46,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sem_post.xml b/CodeHawk/CHB/bchsummaries/so_functions/sem_post.xml
index 8777aee0..abf19f27 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sem_post.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sem_post.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="sem_post">
       <par loc="stack" name="sem" rep="hex" nr="1">
-        <type><ptr>int</ptr></type>
+        <type><ptr>sem_t</ptr></type>
 	<pre><not-null/></pre>
 	<roles>
 	  <role rt="ioc:process" rn="semaphore"/>
@@ -32,7 +32,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sem_wait.xml b/CodeHawk/CHB/bchsummaries/so_functions/sem_wait.xml
index a582f8f1..97d38a23 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sem_wait.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sem_wait.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="sem_wait">
       <par loc="stack" name="sem" nr="1">
-        <type><ptr>int</ptr></type>
+        <type><ptr>sem_t</ptr></type>
 	<pre><not-null/></pre>
 	<roles>
 	  <role rt="ioc:process" rn="semaphore"/>
@@ -32,7 +32,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/send.xml b/CodeHawk/CHB/bchsummaries/so_functions/send.xml
index aa09f407..c0e91bf4 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/send.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/send.xml
@@ -41,9 +41,28 @@
     </api>
     <semantics>
       <io-actions/>
-      <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>byte</type>
+              <ci>buffer</ci>
+              <ci>length</ci>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sendmsg.xml b/CodeHawk/CHB/bchsummaries/so_functions/sendmsg.xml
index b364a86f..d1e67c4a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sendmsg.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sendmsg.xml
@@ -33,7 +33,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="msghdr" nr="2">
-        <type><ptr>msghdr</ptr></type>
+        <type><ptr>ch__msghdr</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <par loc="stack" name="flags" nr="3">
@@ -44,8 +44,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sendto.xml b/CodeHawk/CHB/bchsummaries/so_functions/sendto.xml
index f2860663..6e03d3fd 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sendto.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sendto.xml
@@ -53,7 +53,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="dest_addr" nr="5">
-        <type><ptr>ch_sockaddr</ptr></type>
+        <type><ptr>ch__sockaddr</ptr></type>
       </par>
       <par loc="stack" name="dest_len" nr="6">
         <type>socklen_t</type>
@@ -77,7 +77,7 @@
 	  <math>
 	    <apply>
 	      <deref-read/>
-	      <type>ch_sockaddr</type>
+	      <type>ch__sockaddr</type>
 	      <ci>dest_addr</ci>
 	      <ci>dest_len</ci>
 	    </apply>
@@ -104,7 +104,13 @@
 	  </math>
 	</error-post>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setbuf.xml b/CodeHawk/CHB/bchsummaries/so_functions/setbuf.xml
new file mode 100644
index 00000000..535fac76
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setbuf.xml
@@ -0,0 +1,60 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 14:53:51"/>
+  <libfun lib="so_functions" name="setbuf">
+    <documentation>
+      <desc>assign buffering to a stream</desc>
+      <apidoc>
+        <pt>
+          <ll>void setbuf(</ll>
+          <ld>FILE *resrict stream</ld>
+          <ld>char *resetrict buf</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="stream">file to be buffered</par>
+        <par name="buf">buffer</par>
+        <return/>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="setbuf">
+      <par loc="stack" name="stream" nr="1">
+        <type><ptr>ch__FILE</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <par loc="stack" name="buf" nr="2">
+        <type><ptr>char</ptr></type>
+      </par>
+      <returntype>void</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>char</type>
+              <ci>buf</ci>
+              <cn>1024</cn>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
+      <postconditions/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <apply>
+              <block-write/>
+              <type>char</type>
+              <ci>buf</ci>
+              <cn>1024</cn>
+            </apply>
+          </math>
+        </sideeffect>
+      </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/setegid.xml b/CodeHawk/CHB/bchsummaries/so_functions/setegid.xml
index 9bbb5b8f..45d45c34 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setegid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setegid.xml
@@ -23,8 +23,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setenv.xml b/CodeHawk/CHB/bchsummaries/so_functions/setenv.xml
index 29fe2eaa..a6172625 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setenv.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setenv.xml
@@ -51,7 +51,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/seteuid.xml b/CodeHawk/CHB/bchsummaries/so_functions/seteuid.xml
index d47979e0..d15a858d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/seteuid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/seteuid.xml
@@ -23,8 +23,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setgid.xml b/CodeHawk/CHB/bchsummaries/so_functions/setgid.xml
index ce0d1d07..254896c2 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setgid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setgid.xml
@@ -29,7 +29,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sethostname.xml b/CodeHawk/CHB/bchsummaries/so_functions/sethostname.xml
new file mode 100644
index 00000000..1792b6b1
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sethostname.xml
@@ -0,0 +1,59 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 23:03:56"/>
+  <libfun lib="so_functions" name="sethostname">
+    <documentation>
+      <desc>set a hostname</desc>
+      <apidoc>
+        <pt>
+          <ll>int sethostname(</ll>
+          <ld>const char *name</ld>
+          <ld>size_t len</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="name">name to be given to the host</par>
+        <par name="len">number of bytes in the name</par>
+        <return>
+          <rc cond="success">0</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="sethostname">
+      <par loc="stack" name="name" nr="1">
+        <type><ptr>char</ptr></type>
+      </par>
+      <par loc="stack" name="len" nr="2">
+        <type>size_t</type>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>char</type>
+              <ci>name</ci>
+              <ci>len</ci>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setpgid.xml b/CodeHawk/CHB/bchsummaries/so_functions/setpgid.xml
index 02f5941b..8e4765fa 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setpgid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setpgid.xml
@@ -22,10 +22,10 @@
     </documentation>
     <api adj="0" cc="cdecl" name="setpgid">
       <par loc="stack" name="pid" nr="1">
-        <type>int</type>
+        <type>pid_t</type>
       </par>
       <par loc="stack" name="pgid" nr="2">
-        <type>int</type>
+        <type>pid_t</type>
       </par>
       <returntype>int</returntype>
     </api>
@@ -35,7 +35,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setpriority.xml b/CodeHawk/CHB/bchsummaries/so_functions/setpriority.xml
index 69b8f92c..633f3565 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setpriority.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setpriority.xml
@@ -43,8 +43,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setrlimit.xml b/CodeHawk/CHB/bchsummaries/so_functions/setrlimit.xml
index 8208c6fd..7809e081 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setrlimit.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setrlimit.xml
@@ -27,7 +27,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="rlp" nr="2">
-        <type><ptr>rlimit</ptr></type>
+        <type><ptr>ch__rlimit</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
@@ -38,7 +38,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setrlimit64.xml b/CodeHawk/CHB/bchsummaries/so_functions/setrlimit64.xml
index ca7b09b4..e30653c1 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setrlimit64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setrlimit64.xml
@@ -27,7 +27,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="rlp" nr="2">
-        <type><ptr>rlimit</ptr></type>
+        <type><ptr>ch__rlimit</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
@@ -38,7 +38,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setsid.xml b/CodeHawk/CHB/bchsummaries/so_functions/setsid.xml
index 2ed2691a..e88df7c2 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setsid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setsid.xml
@@ -21,8 +21,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/setsockopt.xml b/CodeHawk/CHB/bchsummaries/so_functions/setsockopt.xml
index beeda73c..53694522 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setsockopt.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setsockopt.xml
@@ -63,7 +63,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2019, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/settimeofday.xml b/CodeHawk/CHB/bchsummaries/so_functions/settimeofday.xml
new file mode 100644
index 00000000..6df23c7c
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/settimeofday.xml
@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="https://linux.die.net/man/2/settimeofday"/>
+  <header date="2026-04-05 23:33:51"/>
+  <libfun lib="so_functions" name="settimeofday">
+    <documentation>
+      <desc>set time</desc>
+      <apidoc>
+        <pt>
+          <ll>int settimeofday(</ll>
+          <ld>const struct timeval *tv</ld>
+          <ld>const struct timezone *tz</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="tv">time to be set</par>
+        <par name="tz">timezone</par>
+        <return>
+          <rc cond="success">0</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="settimeofday">
+      <par loc="stack" name="tv" nr="1">
+        <type><ptr>ch__timeval</ptr></type>
+        <pre><deref-read/></pre>
+      </par>
+      <par loc="stack" name="tz" nr="2">
+        <type><ptr>ch__timezone</ptr></type>
+        <pre><deref-read-null/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </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/setuid.xml b/CodeHawk/CHB/bchsummaries/so_functions/setuid.xml
index 4f5957f2..5821de90 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/setuid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/setuid.xml
@@ -29,7 +29,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/shutdown.xml b/CodeHawk/CHB/bchsummaries/so_functions/shutdown.xml
index 60ebfca4..02300326 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/shutdown.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/shutdown.xml
@@ -32,8 +32,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sigaction.xml b/CodeHawk/CHB/bchsummaries/so_functions/sigaction.xml
index e39c164c..18b45c04 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sigaction.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sigaction.xml
@@ -33,11 +33,11 @@
         <type>int</type>
       </par>
       <par loc="stack" name="act" nr="2">
-        <type><ptr>sigaction</ptr></type>
+        <type><ptr>ch__sigaction</ptr></type>
 	<pre><deref-read-null/></pre>
       </par>
       <par loc="stack" name="oact" nr="3">
-        <type><ptr>sigaction</ptr></type>
+        <type><ptr>ch__sigaction</ptr></type>
 	<pre><deref-write/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
@@ -49,7 +49,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sigaddset.xml b/CodeHawk/CHB/bchsummaries/so_functions/sigaddset.xml
index c86bd8bf..7945ccb4 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sigaddset.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sigaddset.xml
@@ -22,7 +22,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="sigaddset">
       <par loc="stack" name="set" nr="1">
-        <type><ptr>sigset_t</ptr></type>
+        <type><ptr>ch__sigset_t</ptr></type>
 	<pre><deref-read/></pre>
       </par>
       <par loc="stack" name="signo" nr="2">
@@ -36,7 +36,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sigemptyset.xml b/CodeHawk/CHB/bchsummaries/so_functions/sigemptyset.xml
index b0c59749..56b0d884 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sigemptyset.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sigemptyset.xml
@@ -16,8 +16,9 @@
     </documentation>
     <api adj="0" cc="cdecl" name="sigemptyset">
       <par loc="stack" name="set" nr="1">
-        <type><ptr>sigset_t</ptr></type>
-	<pre><deref-read/></pre>
+        <type><ptr>ch__sigset_t</ptr></type>
+	<pre><deref-write/></pre>
+        <sideeffects><block-write/></sideeffects>
       </par>
       <returntype>int</returntype>
     </api>
@@ -27,7 +28,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sigprocmask.xml b/CodeHawk/CHB/bchsummaries/so_functions/sigprocmask.xml
index 5621975b..10cfc21d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sigprocmask.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sigprocmask.xml
@@ -33,11 +33,11 @@
         <type>int</type>
       </par>
       <par loc="stack" name="set" nr="2">
-        <type><ptr>sigset_t</ptr></type>
+        <type><ptr>ch__sigset_t</ptr></type>
 	<pre><deref-read-null/></pre>
       </par>
       <par loc="stack" name="oset" nr="3">
-        <type><ptr>sigset_t</ptr></type>
+        <type><ptr>ch__sigset_t</ptr></type>
 	<pre><deref-write-null/></pre>
 	<sideeffects><block-write/></sideeffects>
       </par>
@@ -46,8 +46,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/socket.xml b/CodeHawk/CHB/bchsummaries/so_functions/socket.xml
index 8f8e93e7..9a631853 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/socket.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/socket.xml
@@ -46,8 +46,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2019, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/socketpair.xml b/CodeHawk/CHB/bchsummaries/so_functions/socketpair.xml
index c7bad7d9..0e01a2e2 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/socketpair.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/socketpair.xml
@@ -79,6 +79,11 @@
 	    </apply>
 	  </math>
 	</sideeffect>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
       </sideeffects>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/srand48.xml b/CodeHawk/CHB/bchsummaries/so_functions/srand48.xml
new file mode 100644
index 00000000..095913b9
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/srand48.xml
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+ <codehawk-binary-analyzer>
+  <header date="08/05/2013 10:39:44"/>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <libfun lib="msvcrt" name="srand48">
+   <documentation>
+    <desc>pseudo-random number generator</desc>
+    <apidoc>
+     <pt>void srand48 (unsigned seed)</pt>
+     <par name="seed">seed for a new sequence of pseudo-random numbers</par>
+    </apidoc>
+   </documentation>
+   <api adj="0" cc="cdecl" name="srand48">
+    <returntype>void</returntype>
+    <par loc="stack" io="r" name="seed" nr="1">
+     <type>int</type>
+     <roles>
+        <role rt="ioc:process" rn="seed"/>
+     </roles>
+    </par>
+   </api>
+   <semantics>
+     <io-actions>
+        <io-action cat="process" desc="generates pseudo random number"/>
+     </io-actions>
+    <preconditions/>
+    <postconditions/>
+    <sideeffects/>
+   </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2015, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
+ </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sscanf.xml b/CodeHawk/CHB/bchsummaries/so_functions/sscanf.xml
index 37fd426f..660e3fab 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sscanf.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sscanf.xml
@@ -57,7 +57,13 @@
 	  </math>
 	</error-post>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/stat.xml b/CodeHawk/CHB/bchsummaries/so_functions/stat.xml
index 1d63470e..c2319cde 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/stat.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/stat.xml
@@ -36,7 +36,7 @@
       <role rt="ioc:memops" rn="dst-struct:file status information" />
       <role rt="ioc:filesystem" rn="infox:file status"/>
      </roles>
-     <type><ptr>stat</ptr></type>
+     <type><ptr>ch__stat</ptr></type>
      <pre><deref-write/></pre>
      <sideeffects><block-write/></sideeffects>
     </par>
@@ -49,7 +49,13 @@
     <postconditions>
       <zero-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/stat64.xml b/CodeHawk/CHB/bchsummaries/so_functions/stat64.xml
index df6ea7cc..cc90f736 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/stat64.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/stat64.xml
@@ -36,7 +36,7 @@
       <role rt="ioc:memops" rn="dst-struct:file status information" />
       <role rt="ioc:filesystem" rn="infox:file status"/>
      </roles>
-     <type><ptr>stat</ptr></type>
+     <type><ptr>ch__stat</ptr></type>
      <pre><deref-write/></pre>
      <sideeffects><block-write/></sideeffects>
     </par>
@@ -49,7 +49,13 @@
     <postconditions>
       <zero-negone/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
  </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/statfs.xml b/CodeHawk/CHB/bchsummaries/so_functions/statfs.xml
new file mode 100644
index 00000000..4bd37add
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/statfs.xml
@@ -0,0 +1,51 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 16:35:34"/>
+  <libfun lib="so_functions" name="statfs">
+    <documentation>
+      <desc>get filesystem statistics</desc>
+      <apidoc>
+        <pt>
+          <ll>int statfs(</ll>
+          <ld>const char *path</ld>
+          <ld>struct statfs *buf</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="path">pathname of file in a mounted filesystem</par>
+        <par name="buf">pointer to the structure receiving the statistics</par>
+        <return>
+          <rc cond="success">0</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="statfs">
+      <par loc="stack" name="path" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="buf" nr="2">
+        <type><ptr>ch__statfs</ptr></type>
+        <pre><deref-write/></pre>
+        <sideeffects><block-write/></sideeffects>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </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/statfs64.xml b/CodeHawk/CHB/bchsummaries/so_functions/statfs64.xml
new file mode 100644
index 00000000..6eee5e48
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/statfs64.xml
@@ -0,0 +1,51 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 16:35:34"/>
+  <libfun lib="so_functions" name="statfs64">
+    <documentation>
+      <desc>get filesystem statistics</desc>
+      <apidoc>
+        <pt>
+          <ll>int statfs64(</ll>
+          <ld>const char *path</ld>
+          <ld>struct statfs *buf</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="path">pathname of file in a mounted filesystem</par>
+        <par name="buf">pointer to the structure receiving the statistics</par>
+        <return>
+          <rc cond="success">0</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="statfs64">
+      <par loc="stack" name="path" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="buf" nr="2">
+        <type><ptr>ch__statfs</ptr></type>
+        <pre><deref-write/></pre>
+        <sideeffects><block-write/></sideeffects>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </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/strcpy.xml b/CodeHawk/CHB/bchsummaries/so_functions/strcpy.xml
index 4af6992c..aa8fe9b9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strcpy.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strcpy.xml
@@ -21,7 +21,6 @@
       <roles>
         <role rt="ioc:memops" rn="dst-string:copy"/>
       </roles>
-      <pre><not-null/></pre>
     </par>
     <par loc="stack" io="r" name="src" nr="2" rep="hex">
       <type><ptr>char</ptr></type>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strcspn.xml b/CodeHawk/CHB/bchsummaries/so_functions/strcspn.xml
new file mode 100644
index 00000000..4c38a8af
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strcspn.xml
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 22:07:58"/>
+  <libfun lib="so_functions" name="strcspn">
+    <documentation>
+      <desc>get the length of a complementary substring</desc>
+      <apidoc>
+        <pt>
+          <ll>size_t strcspn(</ll>
+          <ld>const char *s1</ld>
+          <ld>const char *s2</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="s1">string to be considered</par>
+        <par name="s2">string of bytes to be excluded</par>
+        <return>
+          <rc cond="success">length of segment</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="strcspn">
+      <par loc="stack" name="s1" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="s2" nr="2">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <returntype>int</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions/>
+      <sideeffects/>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strdup.xml b/CodeHawk/CHB/bchsummaries/so_functions/strdup.xml
index 34e62f39..cc8d83f9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strdup.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strdup.xml
@@ -58,7 +58,13 @@
       </math>
      </post>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2016, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strftime.xml b/CodeHawk/CHB/bchsummaries/so_functions/strftime.xml
index 881fd899..45273b4a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strftime.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strftime.xml
@@ -44,13 +44,15 @@
      <type>size_t</type>
     </par>
     <par loc="stack" io="r" name="format" nr="3" rep="hex">
-     <type><ptr>char</ptr></type>
+      <type><ptr>char</ptr></type>
+      <pre><deref-read-nt/><format-string/></pre>
      <roles>
         <role rt="ioc:outputs" rn="format string"/>
      </roles>
     </par>
     <par loc="stack" io="r" name="timeptr" nr="4" rep="hex">
-     <type><ptr>tm</ptr></type>
+      <type><ptr>ch__tm</ptr></type>
+      <pre><deref-read/></pre>
      <roles>
         <role rt="ioc:memops" rn="src-struct:tm"/>
      </roles>
@@ -65,7 +67,7 @@
       <pre>
 	<math>
 	  <apply>
-	    <deref-read/>
+	    <deref-write/>
 	    <type>char</type>
 	    <ci>strDest</ci>
 	    <ci>maxsize</ci>
@@ -76,7 +78,18 @@
     <postconditions>
       <positive-zero/>
     </postconditions>
-    <sideeffects/>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <apply>
+            <block-write/>
+            <type>char</type>
+            <ci>strDest</ci>
+            <ci>maxsize</ci>
+          </apply>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strlcat.xml b/CodeHawk/CHB/bchsummaries/so_functions/strlcat.xml
new file mode 100644
index 00000000..9b2d735f
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strlcat.xml
@@ -0,0 +1,84 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="https://linux.die.net/man/3/strlcpy"/>
+  <header date="2026-04-06 11:38:58"/>
+  <libfun lib="so_functions" name="strlcat">
+    <documentation>
+      <desc>size-bounded string copying and concatenation</desc>
+      <apidoc>
+        <pt>
+          <ll>size_t strlcat(</ll>
+          <ld>char *dst</ld>
+          <ld>const char *src</ld>
+          <ld>size_t size</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="dst">pointer to destination buffer</par>
+        <par name="src">pointer to source string</par>
+        <par name="size">size of the destination buffer</par>
+        <return>
+          <rc cond="success">length of src</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="strlcat">
+      <par loc="stack" name="dst" nr="1">
+        <type><ptr>char</ptr></type>
+      </par>
+      <par loc="stack" name="src" nr="2">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="size" nr="3">
+        <type>size_t</type>
+      </par>
+      <returntype>size_t</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>char</type>
+              <ci>src</ci>
+              <ci>size</ci>
+            </apply>
+          </math>
+        </pre>
+        <pre>
+          <math>
+            <apply>
+              <deref-write/>
+              <type>char</type>
+              <ci>dst</ci>
+	      <apply>
+	        <plus/>
+	        <apply><null-terminator-pos/><ci>src</ci></apply>
+	        <apply><null-terminator-pos/><ci>dst</ci></apply>
+	      </apply>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
+      <postconditions/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <apply>
+              <block-write/>
+              <type>char</type>
+              <ci>dst</ci>
+	      <apply>
+	        <plus/>
+	        <apply><null-terminator-pos/><ci>src</ci></apply>
+	        <apply><null-terminator-pos/><ci>dst</ci></apply>
+	      </apply>
+            </apply>
+          </math>
+        </sideeffect>
+      </sideeffects>
+    </semantics>
+  </libfun>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strlcpy.xml b/CodeHawk/CHB/bchsummaries/so_functions/strlcpy.xml
index 7fac89a4..0dc27cac 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strlcpy.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strlcpy.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <codehawk-binary-analyzer>
-  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <reference href="https://linux.die.net/man/3/strlcpy"/>
   <header date="2021-12-31 14:11:58"/>
   <libfun lib="so_functions" name="strlcpy">
     <documentation>
@@ -27,6 +27,7 @@
       </par>
       <par loc="stack" name="src" nr="2">
         <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
       </par>
       <par loc="stack" name="size" nr="3">
         <type>size_t</type>
@@ -35,9 +36,41 @@
     </api>
     <semantics>
       <io-actions/>
-      <preconditions/>
+      <preconditions>
+        <pre>
+          <math>
+            <apply>
+              <deref-read/>
+              <type>char</type>
+              <ci>src</ci>
+              <ci>size</ci>
+            </apply>
+          </math>
+        </pre>
+        <pre>
+          <math>
+            <apply>
+              <deref-write/>
+              <type>char</type>
+              <ci>dst</ci>
+              <ci>size</ci>
+            </apply>
+          </math>
+        </pre>
+      </preconditions>
       <postconditions/>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <apply>
+              <block-write/>
+              <type>char</type>
+              <ci>dst</ci>
+              <ci>size</ci>
+            </apply>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strncpy.xml b/CodeHawk/CHB/bchsummaries/so_functions/strncpy.xml
index ac0d6279..607aef58 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strncpy.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strncpy.xml
@@ -36,6 +36,7 @@
       <roles>
 	<role rt="ioc:memops" rn="src-string:copy"/>
       </roles>
+      <pre><deref-read-nt/></pre>
     </par>
     <par loc="stack" desc="count" io="r" name="count" roles="none" nr="3">
       <type>size_t</type>
@@ -46,16 +47,6 @@
        <io-action cat="memops" desc="copies a string"/>
      </io-actions>       
     <preconditions>
-     <pre>
-      <math>
-       <apply>
-        <deref-read/>
-	<type>char</type>
-        <ci>src</ci>
-	<ci>count</ci>
-       </apply>
-      </math>
-     </pre>
      <pre>
        <math>
 	 <apply>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strptime.xml b/CodeHawk/CHB/bchsummaries/so_functions/strptime.xml
index 6e058bac..6627a08d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strptime.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strptime.xml
@@ -37,11 +37,11 @@
         <type><ptr>char</ptr></type>
       </par>
       <par loc="stack" name="format" nr="2">
-	<pre><deref-read/></pre>
+	<pre><deref-read/><format-string/></pre>
         <type><ptr>char</ptr></type>
       </par>
-      <par loc="stack" name="tm" nr="3">
-        <type><ptr>tm</ptr></type>
+      <par loc="stack" name="ch__tm" nr="3">
+        <type><ptr>ch__tm</ptr></type>
 	<pre><deref-write/></pre>
 	<sideeffect><block-write/></sideeffect>
       </par>
@@ -50,7 +50,9 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
       <sideeffects/>
     </semantics>
   </libfun>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strtok_r.xml b/CodeHawk/CHB/bchsummaries/so_functions/strtok_r.xml
new file mode 100644
index 00000000..4011031f
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strtok_r.xml
@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 23:24:46"/>
+  <libfun lib="so_functions" name="strtok_r">
+    <documentation>
+      <desc>split string into tokens</desc>
+      <apidoc>
+        <pt>
+          <ll>char *strtok_r(</ll>
+          <ld>char *restrict s</ld>
+          <ld>const char *restrict sep</ld>
+          <ld>char **restrict state</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="s">string to be split</par>
+        <par name="sep">delimiter used for splitting</par>
+        <par name="state">user-provided pointer to maintain state</par>
+        <return>
+          <rc cond="success">pointer to the first byte of a token</rc>
+          <rc cond="failure">NULL </rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="strtok_r">
+      <par loc="stack" name="s" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-null-nt/></pre>
+      </par>
+      <par loc="stack" name="sep" nr="2">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-nt/></pre>
+      </par>
+      <par loc="stack" name="state" nr="3">
+        <type><ptr><ptr>char</ptr></ptr></type>
+        <pre><deref-read-write/></pre>
+      </par>
+      <returntype><ptr>char</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/strtol.xml b/CodeHawk/CHB/bchsummaries/so_functions/strtol.xml
index 1d7d2346..d70db93a 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/strtol.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strtol.xml
@@ -7,7 +7,7 @@
       <desc>convert a string to a long integer</desc>
       <apidoc>
         <pt>
-          <ll>double strtol(</ll>
+          <ll>long strtol(</ll>
           <ld>const char *restrict nptr</ld>
           <ld>char **restrict endptr</ld>
 	  <ld>int base</ld>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/strtoll.xml b/CodeHawk/CHB/bchsummaries/so_functions/strtoll.xml
new file mode 100644
index 00000000..02af9f2c
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/strtoll.xml
@@ -0,0 +1,53 @@
+<?xml version="1.0" encoding="UTF-8"?>
+ <codehawk-binary-analyzer>
+  <header date="2026-04-06 12:17:44"/>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <libfun lib="so_functions" name="strtoll">
+   <documentation>
+    <desc>converts a string to a long long integer</desc>
+    <apidoc>
+     <pt>long long strtoll (const char *str, char **endptr, int base)</pt>
+     <par name="str">pointer to the string to be converted</par>
+     <par name="endptr">pointer to a pointer to the final string; can be NULL</par>
+     <par name="base">base of the number (0 for automatic)</par>
+     <return>
+      <rc cond="success">converted value</rc>
+      <rc cond="failure">0 or LONG_MAX or LONG_MIN</rc>
+     </return>
+    </apidoc>
+   </documentation>
+   <api adj="0" cc="cdecl" name="strtoll">
+     <returntype>long_long</returntype>
+     <par loc="stack" io="r" name="str" nr="1">
+     <roles>
+      <role rt="ioc:memops" rn="src-string:convert" />
+     </roles>
+     <type><ptr>char</ptr></type>
+     <pre><deref-read-nt/></pre>
+    </par>
+    <par loc="stack" io="r" name="endptr" roles="none" nr="2">
+      <type><ptr><ptr>char</ptr></ptr></type>
+     <pre><deref-write-null/></pre>
+     <sideeffects><block-write/></sideeffects>
+    </par>
+    <par loc="stack" io="r" name="base" roles="none" nr="3">
+      <type>int</type>
+    </par>
+   </api>
+   <semantics>
+     <io-actions>
+       <io-action cat="inputs" desc="converts a string to a long long"/>
+     </io-actions>
+    <preconditions/>
+    <postconditions/>
+    <sideeffects>
+     <sideeffect>
+      <math>
+       <sets-errno/>
+      </math>
+     </sideeffect>
+    </sideeffects>
+   </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
+ </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/sync.xml b/CodeHawk/CHB/bchsummaries/so_functions/sync.xml
new file mode 100644
index 00000000..04c09f2a
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sync.xml
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 23:39:39"/>
+  <libfun lib="so_functions" name="sync">
+    <documentation>
+      <desc>schedule file system updates</desc>
+      <apidoc>
+        <pt>void sync (void)</pt>
+        <return/>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="sync">
+      <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/sysinfo.xml b/CodeHawk/CHB/bchsummaries/so_functions/sysinfo.xml
index b71361cd..65ca66b9 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/sysinfo.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/sysinfo.xml
@@ -16,7 +16,7 @@
     </documentation>
     <api adj="0" cc="cdecl" name="sysinfo">
       <par loc="stack" name="info" nr="1">
-        <type><ptr>sysinfo</ptr></type>
+        <type><ptr>ch__sysinfo</ptr></type>
 	<pre><deref-write/></pre>
       </par>
       <returntype>int</returntype>
@@ -25,7 +25,13 @@
       <io-actions/>
       <preconditions/>
       <postconditions/>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/system.xml b/CodeHawk/CHB/bchsummaries/so_functions/system.xml
index 276a527f..bfbbfdd3 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/system.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/system.xml
@@ -33,8 +33,16 @@
      <io-action cat="system" desc="executes a system command"/>
     </io-actions>
     <preconditions/>
-    <postconditions/>
-    <sideeffects/>
+    <postconditions>
+      <nonnegative-negone/>
+    </postconditions>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/tcflush.xml b/CodeHawk/CHB/bchsummaries/so_functions/tcflush.xml
index 932cd973..0363416d 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/tcflush.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/tcflush.xml
@@ -32,8 +32,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/tcgetattr.xml b/CodeHawk/CHB/bchsummaries/so_functions/tcgetattr.xml
index 50de9e72..389979f1 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/tcgetattr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/tcgetattr.xml
@@ -25,7 +25,9 @@
         <type>int</type>
       </par>
       <par loc="stack" name="termios_p" nr="2">
-        <type><ptr>ch_termios</ptr></type>
+        <type><ptr>ch__termios</ptr></type>
+        <pre><deref-write/></pre>
+        <sideeffects><block-write/></sideeffects>
       </par>
       <returntype>int</returntype>
     </api>
@@ -33,7 +35,13 @@
       <io-actions/>
       <preconditions/>
       <postconditions/>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/tcsetattr.xml b/CodeHawk/CHB/bchsummaries/so_functions/tcsetattr.xml
index c4e34354..b7b9d456 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/tcsetattr.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/tcsetattr.xml
@@ -30,15 +30,24 @@
         <type>int</type>
       </par>
       <par loc="stack" name="termios_p" nr="3">
-        <type><ptr>ch_termios</ptr></type>
+        <type><ptr>ch__termios</ptr></type>
+        <pre><deref-read/></pre>
       </par>
       <returntype>int</returntype>
     </api>
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/tempnam.xml b/CodeHawk/CHB/bchsummaries/so_functions/tempnam.xml
new file mode 100644
index 00000000..0e0814d1
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/tempnam.xml
@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 22:57:12"/>
+  <libfun lib="so_functions" name="tempnam">
+    <documentation>
+      <desc>create a name for a temporary file</desc>
+      <apidoc>
+        <pt>
+          <ll>char *tempnam(</ll>
+          <ld>const char *dir</ld>
+          <ld>const char *pfx</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="dir">directory to create the new file</par>
+        <par name="pfx">optional name prefix</par>
+        <return>
+          <rc cond="success">pointer to name created</rc>
+          <rc cond="failure">NULL</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="tempnam">
+      <par loc="stack" name="dir" nr="1">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-null-nt/></pre>
+      </par>
+      <par loc="stack" name="pfx" nr="2">
+        <type><ptr>char</ptr></type>
+        <pre><deref-read-null-nt/></pre>
+      </par>
+      <returntype><ptr>char</ptr></returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <notnull-null/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
+    </semantics>
+  </libfun>
+  <copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
+</codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/time.xml b/CodeHawk/CHB/bchsummaries/so_functions/time.xml
index 0e0dbedd..66d4baf7 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/time.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/time.xml
@@ -30,8 +30,16 @@
        <io-action cat="system" desc="gets the system time"/>
      </io-actions>
     <preconditions/>
-    <postconditions/>
-    <sideeffects/>
+    <postconditions>
+      <nonnegative-negone/>
+    </postconditions>
+    <sideeffects>
+      <sideeffect>
+        <math>
+          <sets-errno/>
+        </math>
+      </sideeffect>
+    </sideeffects>
    </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2017, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/times.xml b/CodeHawk/CHB/bchsummaries/so_functions/times.xml
new file mode 100644
index 00000000..f624c556
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/times.xml
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-05 22:16:45"/>
+  <libfun lib="so_functions" name="times">
+    <documentation>
+      <desc>get process and waited-for child process times</desc>
+      <apidoc>
+        <pt>clock_t times (struct tm *buffer)</pt>
+        <par name="buffer">tm structure to be filled in</par>
+        <return>
+          <rc cond="success">elapsed time since a point in the past</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="times">
+      <par loc="stack" name="buffer" nr="1">
+        <type><ptr>ch__tm</ptr></type>
+        <pre><deref-write/></pre>
+        <sideeffects><block-write/></sideeffects>
+      </par>
+      <returntype>clock_t</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </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/ungetc.xml b/CodeHawk/CHB/bchsummaries/so_functions/ungetc.xml
index 36ad02d5..6f7c169c 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/ungetc.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/ungetc.xml
@@ -25,7 +25,7 @@
      <type>int</type>
     </par>
     <par loc="stack" name="stream" io="r" rep="hex"  nr="2">
-     <type><ptr>ch_FILE</ptr></type>
+     <type><ptr>ch__FILE</ptr></type>
      <roles>
        <role rt="ioc:filesystem" rn="file"/>
      </roles>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/unlink.xml b/CodeHawk/CHB/bchsummaries/so_functions/unlink.xml
index 639fc80a..1cecaca1 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/unlink.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/unlink.xml
@@ -17,7 +17,7 @@
     <api adj="0" cc="cdecl" name="unlink">
       <par loc="stack" name="path" nr="1">
         <type><ptr>char</ptr></type>
-	<pre><deref-read/></pre>
+	<pre><deref-read-nt/></pre>
       </par>
       <returntype>int</returntype>
     </api>
@@ -27,7 +27,13 @@
       <postconditions>
 	<zero-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/usleep.xml b/CodeHawk/CHB/bchsummaries/so_functions/usleep.xml
index eb264983..8c67e204 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/usleep.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/usleep.xml
@@ -24,8 +24,16 @@
     <semantics>
       <io-actions/>
       <preconditions/>
-      <postconditions/>
-      <sideeffects/>
+      <postconditions>
+        <zero-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/vfprintf.xml b/CodeHawk/CHB/bchsummaries/so_functions/vfprintf.xml
index ffef75bd..4f7d2576 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/vfprintf.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/vfprintf.xml
@@ -25,7 +25,7 @@
    <api adj="0" cc="cdecl" name="vfprintf">
      <returntype>int</returntype>
      <par loc="stack" desc="output stream" io="r" name="stream" nr="1">
-       <type><ptr>ch_FILE</ptr></type>
+       <type><ptr>ch__FILE</ptr></type>
        <roles>
 	 <role rt="ioc:filesystem" rn="file"/>
        </roles>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/wait.xml b/CodeHawk/CHB/bchsummaries/so_functions/wait.xml
new file mode 100644
index 00000000..4ca3f7e1
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/wait.xml
@@ -0,0 +1,40 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 15:08:04"/>
+  <libfun lib="so_functions" name="wait">
+    <documentation>
+      <desc>wait for a child process to stop or terminate</desc>
+      <apidoc>
+        <pt>pid_t wait (int *stat_loc)</pt>
+        <par name="stat_loc">status information</par>
+        <return>
+          <rc cond="success">process ID of the child process</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="wait">
+      <par loc="stack" name="stat_loc" nr="1">
+        <type><ptr>int</ptr></type>
+        <pre><deref-write/></pre>
+      </par>
+      <returntype>pid_t</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </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/wait4.xml b/CodeHawk/CHB/bchsummaries/so_functions/wait4.xml
new file mode 100644
index 00000000..af6693f7
--- /dev/null
+++ b/CodeHawk/CHB/bchsummaries/so_functions/wait4.xml
@@ -0,0 +1,62 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<codehawk-binary-analyzer>
+  <reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
+  <header date="2026-04-06 15:15:47"/>
+  <libfun lib="so_functions" name="wait4">
+    <documentation>
+      <desc>wait for process to change state</desc>
+      <apidoc>
+        <pt>
+          <ll>pid_t wait4(</ll>
+          <ld>pid_t pid</ld>
+          <ld>int *_Nullable wstatus</ld>
+          <ld>int options</ld>
+          <ld>struct rusage *_Nullable rusage</ld>
+          <ll>)</ll>
+        </pt>
+        <par name="pid">specification of process IDs</par>
+        <par name="wstatus">status of the process requested</par>
+        <par name="options">options</par>
+        <par name="rusage">resource usage of the process requested</par>
+        <return>
+          <rc cond="success">process ID of process requested</rc>
+          <rc cond="failure">-1</rc>
+        </return>
+      </apidoc>
+    </documentation>
+    <api adj="0" cc="cdecl" name="wait4">
+      <par loc="stack" name="pid" nr="1">
+        <type>pid_t</type>
+      </par>
+      <par loc="stack" name="wstatus" nr="2">
+        <type><ptr>int</ptr></type>
+        <pre><deref-write-null/></pre>
+        <sideeffects><block-write/></sideeffects>
+      </par>
+      <par loc="stack" name="options" nr="3">
+        <type>int</type>
+      </par>
+      <par loc="stack" name="rusage" nr="4">
+        <type><ptr>ch__rusage</ptr></type>
+        <pre><deref-write-null/></pre>
+        <sideeffects><block-write/></sideeffects>
+      </par>
+      <returntype>pid_t</returntype>
+    </api>
+    <semantics>
+      <io-actions/>
+      <preconditions/>
+      <postconditions>
+        <nonnegative-negone/>
+      </postconditions>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </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/waitpid.xml b/CodeHawk/CHB/bchsummaries/so_functions/waitpid.xml
index 33a78782..4c54e311 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/waitpid.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/waitpid.xml
@@ -47,7 +47,13 @@
       <postconditions>
 	<nonnegative-negone/>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2020, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/write.xml b/CodeHawk/CHB/bchsummaries/so_functions/write.xml
index 35073fd9..195c1531 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/write.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/write.xml
@@ -77,7 +77,13 @@
 	  </math>
 	</error-post>
       </postconditions>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
   <copyright-notice>Copyright 2012-2019, Kestrel Technology LLC, Palo Alto, CA 94304</copyright-notice>
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/writev.xml b/CodeHawk/CHB/bchsummaries/so_functions/writev.xml
index bee46dde..876645ad 100644
--- a/CodeHawk/CHB/bchsummaries/so_functions/writev.xml
+++ b/CodeHawk/CHB/bchsummaries/so_functions/writev.xml
@@ -30,7 +30,7 @@
         <type>int</type>
       </par>
       <par loc="stack" name="iov" nr="2">
-        <type><ptr>iovec</ptr></type>
+        <type><ptr>ch__iovec</ptr></type>
       </par>
       <par loc="stack" name="iovcnt" nr="3">
         <type>int</type>
@@ -55,7 +55,13 @@
 	</pre>
       </preconditions>
       <postconditions/>
-      <sideeffects/>
+      <sideeffects>
+        <sideeffect>
+          <math>
+            <sets-errno/>
+          </math>
+        </sideeffect>
+      </sideeffects>
     </semantics>
   </libfun>
 </codehawk-binary-analyzer>