# Converge static and dynamic analysis