Description When generating a Java/Kotlin client with a string format uri, the resulting code does not compile. There is no conversion from String to URI: type: type: string format: uri default: ...

adangel mentioned this on Mar 2, 2021 [java] InvalidLogMessageFormat detection failing when String.format used #3149 oowekyala closed this as completed in 954bcff on Mar 10, 2021 kris-scheibe ...

String constraint problems faced by program analysis tools are pervasive in programming, but datasets built specifically for real-world string constraints are rare. To understand the complexities of ...