gnu.cfg: Added support for dlvsym().

danmar · Jan 1, 2025 · 9f18c45 · 9f18c45
1 parent 047b725
commit 9f18c45
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
@@ -1668,6 +1668,25 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- https://man7.org/linux/man-pages/man3/dlsym.3.html -->
+  <!-- void *dlvsym(void *restrict handle, const char *restrict symbol, const char *restrict version); -->
+  <function name="dlvsym">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <use-retval/>
+    <returnValue type="void*"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <strz/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <strz/>
+    </arg>
+  </function>
   <!-- https://man7.org/linux/man-pages/man2/getcwd.2.html -->
   <!-- char *get_current_dir_name(void); -->
   <function name="get_current_dir_name">