Hi,
Thanks for this amazing work!
I am trying to perform some taint tracking based on the field-based analysis. However, I did not find a way to generate SDG from the field-based analysis.
Could you point me to the methods (if any) that can generate such SDG?
Or, if there is not such a method, I may need to improve vanilla JS SDG myself (by adding some nodes and edges from the field-based flowgraph). Do you think it is feasible? Any thoughts on how to associate flowgraph with SDG? Thanks.
Feng Xiao
Georgia Tech