Page MenuHomePhabricator

[analyzer] Add option to set maximum symbol complexity threshold
ClosedPublic

Authored by mikhail.ramalho on Jul 9 2018, 11:39 AM.

Details

Summary

This adds an option, max-symbol-complexity, so an user can set the maximum symbol complexity threshold.

Note that the current behaviour is equivalent to max complexity = 0, when taint analysis is not enabled and tests show that in a number of tests, having complexity = 25 yields the same results as complexity = 10000.

This patch was extracted and modified from Dominic Chen's patch, D35450.

Diff Detail

Repository
rC Clang

Event Timeline

george.karpenkov requested changes to this revision.Jul 9 2018, 3:19 PM

For the first change, let's leave the complexity the same.

This revision now requires changes to proceed.Jul 9 2018, 3:19 PM

Set the default complexity value back to 10000.

george.karpenkov accepted this revision.Jul 9 2018, 5:56 PM
This revision is now accepted and ready to land.Jul 9 2018, 5:56 PM
This revision was automatically updated to reflect the committed changes.