com.github.unive-ssv:tarsis (maven): Tarsis abstract domain for string values
Keywords: abstract-domain|abstract-interpretation|automaton|static-analysis|string-analysis