Skip to content

Commit 0703fc3

Browse files
sipmasipma
committed
CHB: summaries
1 parent ee95371 commit 0703fc3

File tree

18 files changed

+655
-0
lines changed

18 files changed

+655
-0
lines changed

‎CodeHawk/CHB/bchsummaries/so_functions/abort.xml‎

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 13:01:38"/>
5+
<libfun lib="so_functions" name="abort">
6+
<documentation>
7+
<desc>generates an abnormal process abort</desc>
8+
<apidoc>
9+
<pt>void abort (void)</pt>
10+
<return/>
11+
</apidoc>
12+
</documentation>
13+
<api adj="0" cc="cdecl" name="abort">
14+
<returntype>void</returntype>
15+
</api>
16+
<semantics>
17+
<io-actions>
18+
<io-action cat="process"
19+
desc="terminates the process abnormally">
20+
</io-action>
21+
</io-actions>
22+
<preconditions/>
23+
<postconditions>
24+
<post>
25+
<math>
26+
<non-returning/>
27+
</math>
28+
</post>
29+
</postconditions>
30+
<sideeffects/>
31+
</semantics>
32+
</libfun>
33+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
34+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/floor.xml‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 15:24:01"/>
5+
<libfun lib="so_functions" name="floor">
6+
<documentation>
7+
<desc>floor function</desc>
8+
<apidoc>
9+
<pt>double floor (double x)</pt>
10+
<par name="x">argument to floor function</par>
11+
<return>
12+
<rc cond="success">floor x</rc>
13+
<rc cond="failure">NaN</rc>
14+
</return>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="floor">
18+
<par loc="stack" name="x" nr="1">
19+
<type>double</type>
20+
</par>
21+
<returntype>double</returntype>
22+
</api>
23+
<semantics>
24+
<io-actions/>
25+
<preconditions/>
26+
<postconditions/>
27+
<sideeffects/>
28+
</semantics>
29+
</libfun>
30+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
31+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/floorf.xml‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 15:24:01"/>
5+
<libfun lib="so_functions" name="floorf">
6+
<documentation>
7+
<desc>floor function</desc>
8+
<apidoc>
9+
<pt>float floorf (float x)</pt>
10+
<par name="x">argument to floorf function</par>
11+
<return>
12+
<rc cond="success">floorf x</rc>
13+
<rc cond="failure">NaN</rc>
14+
</return>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="floorf">
18+
<par loc="stack" name="x" nr="1">
19+
<type>float</type>
20+
</par>
21+
<returntype>float</returntype>
22+
</api>
23+
<semantics>
24+
<io-actions/>
25+
<preconditions/>
26+
<postconditions/>
27+
<sideeffects/>
28+
</semantics>
29+
</libfun>
30+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
31+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/log.xml‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 15:02:01"/>
5+
<libfun lib="so_functions" name="log">
6+
<documentation>
7+
<desc>natural logarithm function</desc>
8+
<apidoc>
9+
<pt>double log (double x)</pt>
10+
<par name="x">argument to natural logarithm</par>
11+
<return>
12+
<rc cond="success">natural logarithm of x</rc>
13+
<rc cond="failure">NaN</rc>
14+
</return>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="log">
18+
<par loc="stack" name="x" nr="1">
19+
<type>double</type>
20+
</par>
21+
<returntype>double</returntype>
22+
</api>
23+
<semantics>
24+
<io-actions/>
25+
<preconditions/>
26+
<postconditions/>
27+
<sideeffects/>
28+
</semantics>
29+
</libfun>
30+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
31+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/logf.xml‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 15:06:01"/>
5+
<libfun lib="so_functions" name="logf">
6+
<documentation>
7+
<desc>natural logarithm function</desc>
8+
<apidoc>
9+
<pt>float logf (float x)</pt>
10+
<par name="x">argument to natural logarithm</par>
11+
<return>
12+
<rc cond="success">natural logarithm of x</rc>
13+
<rc cond="failure">NaN</rc>
14+
</return>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="logf">
18+
<par loc="stack" name="x" nr="1">
19+
<type>float</type>
20+
</par>
21+
<returntype>float</returntype>
22+
</api>
23+
<semantics>
24+
<io-actions/>
25+
<preconditions/>
26+
<postconditions/>
27+
<sideeffects/>
28+
</semantics>
29+
</libfun>
30+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
31+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/mkdir.xml‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 13:35:22"/>
5+
<libfun lib="so_functions" name="mkdir">
6+
<documentation>
7+
<desc>makes a directory</desc>
8+
<apidoc>
9+
<pt>
10+
<ll>int mkdir(</ll>
11+
<ld>const char *path</ld>
12+
<ld>int mode</ld>
13+
<ll>)</ll>
14+
</pt>
15+
<par name="path">name for new directory</par>
16+
<par name="mode">permission bits</par>
17+
<return>
18+
<rc cond="success">0</rc>
19+
<rc cond="failure">-1</rc>
20+
</return>
21+
</apidoc>
22+
</documentation>
23+
<api adj="0" cc="cdecl" name="mkdir">
24+
<par loc="stack" name="path" nr="1">
25+
<type><ptr>char</ptr></type>
26+
<pre><deref-read-nt/></pre>
27+
<roles>
28+
<role rt="ioc:filesystem" rn="name:directory"/>
29+
</roles>
30+
</par>
31+
<par loc="stack" name="mode" roles="none" nr="2">
32+
<type>int</type>
33+
</par>
34+
<returntype>int</returntype>
35+
</api>
36+
<semantics>
37+
<io-actions>
38+
<io-action cat="filesystem" desc="creates a new directory"/>
39+
</io-actions>
40+
<preconditions/>
41+
<postconditions>
42+
<zero-negone/>
43+
</postconditions>
44+
<sideeffects/>
45+
</semantics>
46+
</libfun>
47+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
48+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/pthread_exit.xml‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-26 16:08:17"/>
5+
<libfun lib="so_functions" name="pthread_exit">
6+
<documentation>
7+
<desc>thread termination</desc>
8+
<apidoc>
9+
<pt>void pthread_exit (void *value_ptr)</pt>
10+
<par name="value_ptr">
11+
value made available to any successful join with the terminating
12+
thread
13+
</par>
14+
<return/>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="pthread_exit">
18+
<par loc="stack" name="value_ptr" nr="1">
19+
<type><ptr>void</ptr></type>
20+
</par>
21+
<returntype>void</returntype>
22+
</api>
23+
<semantics>
24+
<io-actions>
25+
<io-action cat="process"
26+
desc="terminates the thread immediately">
27+
</io-action>
28+
</io-actions>
29+
<preconditions/>
30+
<postconditions>
31+
<post>
32+
<math>
33+
<non-returning/>
34+
</math>
35+
</post>
36+
</postconditions>
37+
<sideeffects/>
38+
</semantics>
39+
</libfun>
40+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
41+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/rmdir.xml‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 14:48:43"/>
5+
<libfun lib="so_functions" name="rmdir">
6+
<documentation>
7+
<desc>removes a directory</desc>
8+
<apidoc>
9+
<pt>int rmdir (const char *path)</pt>
10+
<par name="path">name of directory to be removed</par>
11+
<return>
12+
<rc cond="success">0</rc>
13+
<rc cond="failure">-1</rc>
14+
</return>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="rmdir">
18+
<par loc="stack" name="path" io="r" rep="hex" nr="1">
19+
<type><ptr>char</ptr></type>
20+
<pre><deref-read-nt/></pre>
21+
<roles>
22+
<role rt="ioc:filesystem" rn="name:directory"/>
23+
</roles>
24+
</par>
25+
<returntype>int</returntype>
26+
</api>
27+
<semantics>
28+
<io-actions>
29+
<io-action cat="filesystem" desc="removes directory"/>
30+
</io-actions>
31+
<preconditions/>
32+
<postconditions>
33+
<zero-negone/>
34+
</postconditions>
35+
<sideeffects/>
36+
</semantics>
37+
</libfun>
38+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
39+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/sem_init.xml‎

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 15:38:17"/>
5+
<libfun lib="so_functions" name="sem_init">
6+
<documentation>
7+
<desc>initializes an unnamed semaphore</desc>
8+
<apidoc>
9+
<pt>
10+
<ll>int sem_init(</ll>
11+
<ld>sem_t *sem</ld>
12+
<ld>int pshared</ld>
13+
<ld>unsigned int value</ld>
14+
<ll>)</ll>
15+
</pt>
16+
<par name="sem">semaphore to be initialized</par>
17+
<par name="pshared">to be shared between processes if non-zero</par>
18+
<par name="value">initial value for the semaphore</par>
19+
<return>
20+
<rc cond="success">0</rc>
21+
<rc cond="failure">-1</rc>
22+
</return>
23+
</apidoc>
24+
</documentation>
25+
<api adj="0" cc="cdecl" name="sem_init">
26+
<par loc="stack" name="sem" rep="hex" nr="1">
27+
<pre><not-null/></pre>
28+
<type><ptr>int</ptr></type>
29+
<roles>
30+
<role rt="ioc:process" rn="semaphore"/>
31+
</roles>
32+
</par>
33+
<par loc="stack" name="pshared" nr="2">
34+
<type>int</type>
35+
</par>
36+
<par loc="stack" name="value" nr="3">
37+
<type>unsigned int</type>
38+
</par>
39+
<returntype>int</returntype>
40+
</api>
41+
<semantics>
42+
<io-actions>
43+
<io-action cat="process" desc="initializes an unnamed semaphore"/>
44+
</io-actions>
45+
<preconditions/>
46+
<postconditions>
47+
<zero-negone/>
48+
</postconditions>
49+
<sideeffects/>
50+
</semantics>
51+
</libfun>
52+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
53+
</codehawk-binary-analyzer>

‎CodeHawk/CHB/bchsummaries/so_functions/sem_post.xml‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<codehawk-binary-analyzer>
3+
<reference href="http://pubs.opengroup.org/onlinepubs/000095399/"/>
4+
<header date="2024-11-27 15:30:54"/>
5+
<libfun lib="so_functions" name="sem_post">
6+
<documentation>
7+
<desc>unlocks a semaphore</desc>
8+
<apidoc>
9+
<pt>int sem_post (int *sem)</pt>
10+
<par name="sem">semaphore</par>
11+
<return>
12+
<rc cond="success">0</rc>
13+
<rc cond="failure">-1</rc>
14+
</return>
15+
</apidoc>
16+
</documentation>
17+
<api adj="0" cc="cdecl" name="sem_post">
18+
<par loc="stack" name="sem" rep="hex" nr="1">
19+
<type><ptr>int</ptr></type>
20+
<pre><not-null/></pre>
21+
<roles>
22+
<role rt="ioc:process" rn="semaphore"/>
23+
</roles>
24+
</par>
25+
<returntype>int</returntype>
26+
</api>
27+
<semantics>
28+
<io-actions>
29+
<io-action cat="process" desc="unlocks a semaphore"/>
30+
</io-actions>
31+
<preconditions/>
32+
<postconditions>
33+
<zero-negone/>
34+
</postconditions>
35+
<sideeffects/>
36+
</semantics>
37+
</libfun>
38+
<copyright-notice>Copyright 2012-2024, Henny Sipma, Palo Alto, CA 94304</copyright-notice>
39+
</codehawk-binary-analyzer>

0 commit comments

Comments
 (0)