No. Title Author Year
1 MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) Luo, Linghui et al. 2019
2 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Krüger, Stefan et al. 2018
3 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) Krüger, Stefan et al. 2018
4 Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Späth, Johannes et al. 2016
5 Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact) Späth, Johannes et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Imprint | Privacy Published by LZI