Automata-based Symbolic String Analysis Library