Message-ID:

21 May, 2024: Computers section is temporarily disabled for maintenance. It will take several days before it's back.

devel / comp.compilers / Contributing to Psyche-C

Contributing to Psyche-C

<22-02-018@comp.compilers>

https://www.rocksolidbbs.com/devel/article-flat.php?id=280&group=comp.compilers#280

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: ltcmelo@gmail.com
Newsgroups: comp.compilers
Subject: Contributing to Psyche-C
Date: Tue, 15 Feb 2022 05:32:08 -0800 (PST)
Organization: Compilers Central
Lines: 16
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <22-02-018@comp.compilers>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970";
logging-data="87890"; mail-complaints-to="abuse@iecc.com"
Keywords: tools
Posted-Date: 15 Feb 2022 11:31:22 EST
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com

by: ltcmelo@gmail.com - Tue, 15 Feb 2022 13:32 UTC

Hi.

Psyche-C is a compiler frontend for the C language that is designed for the implementation of static analysis tools: https://github.com/ltcmelo/psychec

As an attempt to encourage contributions to Psyche-C, I started a modest bounty program (the 2nd. one). At the moment, there are 4 open bounties, each associated to a task:

- Implement the parse of parameters in K&R style functions (https://github.com/ltcmelo/psychec/issues/71)
- Implement syntactic support for STD's __func__ and GNU's __FUNCTION__ and __PRETTY_FUNCTION__ (https://github.com/ltcmelo/psychec/issues/70)
- Implement syntactic support for GNU's __builtin_choose_expr (https://github.com/ltcmelo/psychec/issues/69)
- Implement syntactic support for STD's offsetof and GNU's __builtin_offsetof (https://github.com/ltcmelo/psychec/issues/68)

The description of the program is available at https://lnkd.in/d6qXBxBZ

Thank you in advance, if you could shares this message or help anyhow to promote the Psyche-C project.

Leandro

Subject	Author
Contributing to Psyche-C	ltcmelo