Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Date: Thu, 18 Dec 2014 23:52:58 +0100
From: Szabolcs Nagy <nsz@...t70.net>
To: musl@...ts.openwall.com
Subject: Re: posix-c99-c11 coverage

* Rich Felker <dalias@...c.org> [2014-12-18 16:44:48 -0500]:
> On Thu, Dec 18, 2014 at 09:30:42PM +0000, Philippe Lavoie wrote:
> > 
> > Is there a script or test suite (libc-test?) to generate the tables?
> 
> I think they're generated from the code in this repo:
> 
> http://nsz.repo.hu/git/?p=musl-tables;a=tree
> 

these are messy shell+awk scripts
(never intended for others to look at it)

basic idea:

- data dir has c99, c11 and posix2008 api list
(tab separated values, c api is from annex b of the iso pdf,
posix api is from the downloadable html)

- defined symbols in libc.a are listed with nm

- declared symbols in headers are listed with ctags
(this is not perfect, will parse all ifdef branches etc
and i try to check the prototypes too which is hard)

- musl syms are compared to the api lists

furthermore libc-test has an api test which does check
function prototypes properly for all posix functions
(but there is no nice report about it)

and i have some scripts to test posix namespace violations
using ctags data and the posix namespace rules which i
collected here:
http://port70.net/~nsz/c/posix/

hope this helps

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.