Creation and Evaluation of a Tool for Visualizing Reachability Analyses in Software Libraries (Master’s Thesis Summary) | Synapse