Johannes Späth
Johannes Späth
Co-Founder CodeShield.io
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
832016
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
642019
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
292019
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
252015
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
212017
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
52019
Synchronized pushdown systems for pointer and data-flow analysis
J Späth
Universität Paderborn, 2019
42019
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
12021
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
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 fuer Informatik, 2018
2018
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15