Collaborated with:E.Bodden K.A.0001 M.Mezini L.Luo J.Lerch L.N.Q.Do S.Krüger
Talks about:analysi (6) flow (4) sensit (3) context (2) access (2) field (2) path (2) data (2) cryptograph (1) boomerang (1)
Person: Johannes Späth
DBLP: Sp=auml=th:Johannes
Contributed to:
20152019
2016
20172018
2019Wrote 6 papers:
- ASE-2015-LerchSBM #abstraction #analysis #bound #data flow #scalability
- Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) (JL, JS, EB, MM), pp. 619–629.
- ASE-2019-LuoBS #analysis #android
- A Qualitative Analysis of Android Taint-Analysis Results (LL, EB, JS), pp. 102–114.
- ECOOP-2016-SpathDAB #analysis #java #named #pointer
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (JS, LNQD, KA0, EB), p. 26.
- OOPSLA-2017-SpathAB #alias #analysis #data flow #named #performance #precise
- IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
- ECOOP-2018-KrugerS0BM #api #approach #encryption #named #validation
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (SK, JS, KA0, EB, MM), p. 27.
- POPL-2019-SpathAB #analysis #automaton #data flow #using
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems (JS, KA0, EB), p. 29.