Add IsOffsetReadOnlySemantics API.

Author: bpotchik

binaryninjaapi.h

@@ -6008,8 +6008,9 @@ namespace BinaryNinja {
 		*/
 		bool IsOffsetBackedByFile(uint64_t offset) const;
 		bool IsOffsetCodeSemantics(uint64_t offset) const;
-		bool IsOffsetWritableSemantics(uint64_t offset) const;
 		bool IsOffsetExternSemantics(uint64_t offset) const;
+		bool IsOffsetWritableSemantics(uint64_t offset) const;
+		bool IsOffsetReadOnlySemantics(uint64_t offset) const;
 
 		/*! GetNextValidOffset implements a query for the next valid readable, writable, or executable virtual memory address after `offset`
 

binaryninjacore.h

@@ -37,7 +37,7 @@
 // Current ABI version for linking to the core. This is incremented any time
 // there are changes to the API that affect linking, including new functions,
 // new types, or modifications to existing functions or types.
-#define BN_CURRENT_CORE_ABI_VERSION 148
+#define BN_CURRENT_CORE_ABI_VERSION 149
 
 // Minimum ABI version that is supported for loading of plugins. Plugins that
 // are linked to an ABI version less than this will not be able to load and
@@ -4445,6 +4445,7 @@ extern "C"
 	BINARYNINJACOREAPI bool BNIsOffsetCodeSemantics(BNBinaryView* view, uint64_t offset);
 	BINARYNINJACOREAPI bool BNIsOffsetExternSemantics(BNBinaryView* view, uint64_t offset);
 	BINARYNINJACOREAPI bool BNIsOffsetWritableSemantics(BNBinaryView* view, uint64_t offset);
+	BINARYNINJACOREAPI bool BNIsOffsetReadOnlySemantics(BNBinaryView* view, uint64_t offset);
 	BINARYNINJACOREAPI uint64_t BNGetNextValidOffset(BNBinaryView* view, uint64_t offset);
 
 	BINARYNINJACOREAPI uint64_t BNGetImageBase(BNBinaryView* view);

binaryview.cpp

@@ -2013,6 +2013,12 @@ bool BinaryView::IsOffsetWritableSemantics(uint64_t offset) const
 }
 
 
+bool BinaryView::IsOffsetReadOnlySemantics(uint64_t offset) const
+{
+	return BNIsOffsetReadOnlySemantics(m_object, offset);
+}
+
+
 uint64_t BinaryView::GetNextValidOffset(uint64_t offset) const
 {
 	return BNGetNextValidOffset(m_object, offset);

python/binaryview.py

@@ -4996,6 +4996,18 @@ def is_offset_writable_semantics(self, addr: int) -> bool:
 		"""
 		return core.BNIsOffsetWritableSemantics(self.handle, addr)
 
+	def is_offset_readonly_semantics(self, addr: int) -> bool:
+		"""
+		``is_offset_readonly_semantics`` checks if a virtual address ``addr`` is semantically read-only. This considers
+		both section semantics and segment permissions to determine if an address should be treated as read-only for
+		analysis purposes.
+
+		:param int addr: a virtual address to be checked
+		:return: True if the virtual address is semantically read-only, False otherwise
+		:rtype: bool
+		"""
+		return core.BNIsOffsetReadOnlySemantics(self.handle, addr)
+
 	def save(self, dest: Union['fileaccessor.FileAccessor', str]) -> bool:
 		"""
 		``save`` saves the original binary file to the provided destination ``dest`` along with any modifications.

rust/src/binary_view.rs

@@ -471,7 +471,7 @@ pub trait BinaryViewExt: BinaryViewBase {
     /// Consults the [`Section`]'s current [`crate::section::Semantics`] to determine if the
     /// offset has read only semantics.
     fn offset_has_read_only_semantics(&self, offset: u64) -> bool {
-        unsafe { BNIsOffsetExternSemantics(self.as_ref().handle, offset) }
+        unsafe { BNIsOffsetReadOnlySemantics(self.as_ref().handle, offset) }
     }
 
     fn image_base(&self) -> u64 {