diff --git a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml index 94f10941..306a81a2 100644 --- a/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml +++ b/CodeHawk/CHB/bchlib/bCHBCTypeXml.ml @@ -6,7 +6,7 @@ Copyright (c) 2005-2019 Kestrel Technology LLC Copyright (c) 2020 Henny Sipma - Copyright (c) 2021-2024 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 @@ -131,6 +131,10 @@ let get_standard_txt_type (t: string): btype_t option = | "DWORD" -> Some (TInt (IUInt, [])) | "gid_t" -> Some (TInt (IUInt, [])) | "id_t" -> Some (TInt (IUInt, [])) (* used in getpriority *) + | "in_addr_t" -> + (* equivalent to the type uint32_t, see + https://pubs.opengroup.org/onlinepubs/9699919799/ *) + Some (TInt (IUInt, [])) | "int" -> Some (TInt (IInt, [])) | "Integer" -> Some (TInt (IInt, [])) | "long" -> Some (TInt (ILong, [])) diff --git a/CodeHawk/CHB/bchlib/bCHVersion.ml b/CodeHawk/CHB/bchlib/bCHVersion.ml index efeab196..856e226f 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_20260407" - ~date:"2026-04-07" + ~version:"0.6.0_20260418" + ~date:"2026-04-18" ~licensee: None ~maxfilesize: None () diff --git a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml index 9cd75672..9339c76a 100644 --- a/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml +++ b/CodeHawk/CHB/bchsummaries/so_functions/inet_addr.xml @@ -19,7 +19,7 @@ char
- ch__in_addr + in_addr_t