From: Josh Triplett <josh@freedesktop.org>
To: rajika@cse.mrt.ac.lk
Cc: linux-sparse@vger.kernel.org
Subject: Re:
Date: Thu, 13 Mar 2008 12:09:10 -0700 [thread overview]
Message-ID: <47D97BD6.8050408@freedesktop.org> (raw)
In-Reply-To: <1205424338.47d950d2e7165@webmail.mrt.ac.lk>
[-- Attachment #1: Type: text/plain, Size: 801 bytes --]
rajika@cse.mrt.ac.lk wrote:
> Is there is any guide which describe how to use sparse to parse a C source file.
> I went through README, FAQ and searched the archived but unable to find any
> guide which describe how to use this. I found some information in the README
> file, is that the only information available?
You might also look at the manpages for sparse and cgcc. If you just
want to run the sparse static analysis tool on your source code, those
manpages should tell you everything you need to know. If you want to
use Sparse to parse C source code for some other purpose, then either
try c2xml or write some code linking to libsparse; documentation on
both of those alternatives still needs writing, but you can find
examples in the Sparse source code.
- Josh Triplett
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 252 bytes --]
next prev parent reply other threads:[~2008-03-13 19:15 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-03-13 16:05 (unknown) rajika
2008-03-13 19:09 ` Josh Triplett [this message]
-- strict thread matches above, loose matches on Subject: below --
2017-02-23 15:09 Qin's Yanjun
2017-11-01 14:57 Mrs Hsu Wealther
2017-11-13 14:55 Amos Kalonzo
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=47D97BD6.8050408@freedesktop.org \
--to=josh@freedesktop.org \
--cc=linux-sparse@vger.kernel.org \
--cc=rajika@cse.mrt.ac.lk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).