1 January 2024

The journal article “Tarsis: An effective automata-based abstract domain for string analysis”, by missing authors, has just been published! Available here.