Is it still impossible to use Arrow Analysis to ensure that a string matches a regex expression at compiletime?
r
raulraja
02/02/2022, 7:02 PM
hi @Milse113, sorry we missed your message. yes, String support is currently very limited to just properties like
length
but @Alejandro Serrano Mena made some progress contributing https://github.com/sosy-lab/java-smt/pull/250 to java_smt. Maybe regex support is something we can do in future releases but there isn’t anything yet for it.
