Skip to content

Commit 031aa17

Browse files
authored
gnu.cfg: Added support for dlvsym(). (danmar#7157)
Reference: https://man7.org/linux/man-pages/man3/dlsym.3.html
1 parent ffd9b4c commit 031aa17

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed

cfg/gnu.cfg

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1668,6 +1668,25 @@
16681668
<not-uninit/>
16691669
</arg>
16701670
</function>
1671+
<!-- https://man7.org/linux/man-pages/man3/dlsym.3.html -->
1672+
<!-- void *dlvsym(void *restrict handle, const char *restrict symbol, const char *restrict version); -->
1673+
<function name="dlvsym">
1674+
<noreturn>false</noreturn>
1675+
<leak-ignore/>
1676+
<use-retval/>
1677+
<returnValue type="void*"/>
1678+
<arg nr="1">
1679+
<not-uninit/>
1680+
</arg>
1681+
<arg nr="2" direction="in">
1682+
<not-uninit/>
1683+
<strz/>
1684+
</arg>
1685+
<arg nr="3" direction="in">
1686+
<not-uninit/>
1687+
<strz/>
1688+
</arg>
1689+
</function>
16711690
<!-- https://man7.org/linux/man-pages/man2/getcwd.2.html -->
16721691
<!-- char *get_current_dir_name(void); -->
16731692
<function name="get_current_dir_name">

0 commit comments

Comments
 (0)