Johannes Späth
Johannes Späth
Co-Founder CodeShield.io
Email verificata su campus.uni-paderborn.de - Home page
Titolo
Citata da
Citata da
Anno
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
722016
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
532019
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
232015
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
202017
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
182019
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
Universität Paderborn, 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
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
CrySL: An Extensible Approach to Validating the
S Krüger, J Späth, K Ali, E Bodden, M Mezini
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–13