1906550 - Experiment with adding a Clang Static Analyzer (CSA) checker to the clang plugin to provide the ability to follow values forward / backward through the system as a more useful version of the calls-to/calls-from diagrams

Status: ASSIGNED

(Webtools :: Searchfox, enhancement)

Description

[Andrew Sutherland [:asuth] (he/him)]

Based on a week of PTO investigation into various static analysis / dataflow / taint analysis options and in particular the (very extensible) Clang Static Analyzer (CSA), I think it's viable to build on the CSA to provide a mechanism to allow following values forwards and backwards as a significant workflow improvement on use of calls-to/calls-from diagrams to understand system behavior.

I'm filing this for tracking / discovery / discussion purposes and leaving myself assigned because I do hope to spend more time on this in the future on a hobby/PTO basis and think I can iterate on this incrementally, but there is no guarantee of progress on this.