Johannes Späth
Johannes Späth
Bestätigte E-Mail-Adresse bei campus.uni-paderborn.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
672016
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
382018
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
212015
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
172017
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
132019
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
9*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
32019
Synchronized pushdown systems for pointer and data-flow analysis
J Späth
University of Paderborn, Germany, 2019
22019
Modular points-to analysis
J Späth, F Gauthier, P Krishnan
US Patent 10,528,344, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12