Follow
Johannes Späth
Johannes Späth
Co-Founder CodeShield.io
Verified email at campus.uni-paderborn.de - Homepage
Title
Cited by
Cited by
Year
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S Krüger, J Späth, K Ali, E Bodden, M Mezini
IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019
1462019
Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java
J Späth, L Nguyen Quang Do, K Ali, E Bodden
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
1432016
Context-, flow-, and field-sensitive data-flow analysis using synchronized pushdown systems
J Späth, K Ali, E Bodden
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
862019
Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths (t)
J Lerch, J Späth, E Bodden, M Mezini
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
442015
IDEal: efficient and precise alias-aware dataflow analysis
J Späth, K Ali, E Bodden
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
372017
A qualitative analysis of android taint-analysis results
L Luo, E Bodden, J Späth
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
322019
Qualitative and Quantitative Analysis of Callgraph Algorithms for Python
S Kummita, G Piskachev, J Späth, E Bodden
2021 International Conference on Code Quality (ICCQ), 1-15, 2021
82021
Synchronized pushdown systems for pointer and data-flow analysis
J Späth
Universität Paderborn, 2019
72019
Fluently specifying taint-flow queries with fluentTQL
G Piskachev, J Späth, I Budde, E Bodden
Empirical Software Engineering 27 (5), 104, 2022
62022
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
G Piskachev, T Petrasch, J Späth, E Bodden
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
32020
Modular points-to analysis
J Späth, F Gauthier, P Krishnan
US Patent 10,528,344, 2020
12020
Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact)
J Späth, L Nguyen Quang Do, K Ali, E Bodden
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2016
12016
Applications of Synchronized Pushdown Systems
J Späth
Ernst Definert Award for Software Engineering 2019, 19, 2020
2020
Synchronisierte Pushdown Systeme für Datenfluss-Analysen
J Späth
Gesellschaft für Informatik eV, 2020
2020
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)
S Krüger, J Späth, K Ali, E Bodden, M Mezini
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018
2018
Antal, Gábor, 14 Bodden, Eric, 39 Cheshkov, Anton, 54 Dechev, Damian, 26
M Fadhel, R Ferenc, E Garmash, TE Gasiba, P Hegedus, S Hodzic, ...
CrySL: An Extensible Approach to Validating the
S Krüger, J Späth, K Ali, E Bodden, M Mezini
The system can't perform the operation now. Try again later.
Articles 1–17