Robuta

https://publica.fraunhofer.de/entities/publication/e91a9b1b-a47e-4849-afb0-74973fb7b960 DaV3is: Data Flow-Based Vulnerability Verification Through Visualization Vulnerability verification is an important process in ensuring the security of software systems. To support users in this process, we present the design study... data flowvulnerability verificationbasedvisualization