You are about to access our book library "Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings (Lecture Notes in Computer Science Book 12389) full version" .