You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello, developers.
WPA seems to analyze some parts that are unreachable relative to the entry function, which is very time-consuming.
Is there a way to generate only part of the SVFG, such as a graph starting from a specific entry function?