[cfe-dev] [Static Analyzer] Performing analysis on the specified functions
listmail at philipreames.com
Mon Dec 2 10:59:01 PST 2013
On 12/2/13 8:31 AM, Gabor Kozar wrote:
> Therefore, I'd like to make the SA treat constructors as entry points.
> More generally, how can I control which functions are analyzed (i.e.
> treated as entry points)? If this is not really something that can be
> done externally (i.e. outside Clang itself), where should I look
> inside the Clang source for this logic? (We can then create a patch,
> and ship a custom-patched version of Clang alongside with our checker
If it doesn't already exist (I don't know), a general mechanism to
specify a set of entry points would be a useful mechanism to add. For
example, I'd like every test to be considered a valid entry point to the
program. This could be faked of course (via calls to the test runner in
the program main or by analyzing the test driver itself), but being able
to simply specify the list at analysis time would be helpful.
More information about the cfe-dev