5 citations · 15 across the 8 of their papers we have counts for
Showing 2017 · cs.SEShow all
2 papers · 2 filters
cs.SE2017
Self-adaptive static analysis
Eric Bodden
Static code analysis is a powerful approach to detect quality deficiencies such as performance bottlenecks, safety violations or security vulnerabilities already during a software…
cs.SE2017★ 4 cited
CrySL: Validating Correct Usage of Cryptographic APIs
Stefan Krüger, Johannes Späth, Karim Ali +2
Various studies have empirically shown that the majority of Java and Android apps misuse cryptographic libraries, causing devastating breaches of data security. Therefore, it is cr…