[prev in list] [next in list] [prev in thread] [next in thread] 

List:       fossil-dev
Subject:    Re: [fossil-dev] Compile-time checking of printf-style format arguments
From:       Alek Paunov <alex () declera ! com>
Date:       2014-10-20 20:25:22
Message-ID: 54456FB2.3070006 () declera ! com
[Download RAW message or body]

On 20.10.2014 18:20, Richard Hipp wrote:
> I wrote a C program that does static analysis of the Fossil sources,
> looking for error in the printf-style format strings of various varargs

Would it be interesting the GCC representations of the source to be 
stored/resynced in SQLite DB (using GCC plugin) for querying with SQL 
(as alternative of imperative parser+checker in codecheck1.c or direct 
checks in the compiler plugin)?

Kind regards,
Alek


[prev in list] [next in list] [prev in thread] [next in thread]