Jacob Kreindl, Daniele Bonetta, David Leopoldseder, Lukas Stadler, Hanspeter Mössenböck,
"Polyglot, Label-Defined Dynamic Taint Analysis in TruffleTaint"
: MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, ACM Digital Library, Seite(n) 152-153, 2022
Original Titel:
Polyglot, Label-Defined Dynamic Taint Analysis in TruffleTaint
Sprache des Titels:
Englisch
Original Buchtitel:
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022
Original Kurzfassung:
Dynamic taint analysis assigns taint labels to sensitive data and tracks the propagation of such tainted data during program execution. This program analysis technique has been implemented in various analysis platforms targeting specific programming languages or program representations and has been applied to diverse fields such as software security and debugging. While some of these platforms support customization of their taint analysis, such customization is typically limited to certain analysis properties or to predefined options. This limitation can require analysis developers to modify the analysis platform in order to adapt other analysis properties or to implement new taint analysis applications.
We designed label-defined dynamic taint analysis as a new approach to specifying a dynamic taint analysis in terms of taint labels. This approach enables an analysis platform to allow analysis developers to adapt arbitrary analysis properties without modifying the platform itself. We implemented our approach in TruffleTaint, a GraalVM-based dynamic taint analysis platform targeting multiple programming languages. Our prototype supports implementing taint analyses in multiple programming languages and further provides tooling support for analysis development. In this tool demonstration we will present the capabilities of our prototype and demonstrate the implementation of label-defined dynamic taint analyses with common adaptations to various analysis properties.
Forschungs-