Johannes Späth
Johannes Späth
Verified email at campus.uni-paderborn.de - Homepage
Title
Cited by
Cited by
Year
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
682016
Crysl: An extensible approach to validating the correct usage of cryptographic apis
S Krüger, J Späth, K Ali, E Bodden, M Mezini
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
422018
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
222015
IDEal: efficient and precise alias-aware dataflow analysis.
J Späth, K Ali, E Bodden
Proc. ACM Program. Lang. 1 (OOPSLA), 99:1-99:27, 2017
182017
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
162019
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, 2019
10*2019
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
42019
Synchronized pushdown systems for pointer and data-flow analysis
J Späth
University of Paderborn, Germany, 2019
32019
Modular points-to analysis
J Späth, F Gauthier, P Krishnan
US Patent 10,528,344, 2020
2020
Applications of Synchronized Pushdown Systems
J Späth
Ernst Definert Award for Software Engineering 2019, 19, 2020
2020
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
G Piskachev, T Petrasch, J Späth, E Bodden
International Symposium on Formal Methods, 557-572, 2019
2019
Boomerang: Demand-Driven Flow-and Context-Sensitive Pointer Analysis for Java (Artifact)
J Späth, L Nguyen Quang Do, K Ali, E Bodden
DARTS-Dagstuhl Artifacts Series 2, 2016
2016
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–13