Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Dominique Devienne
On Mon, Jan 6, 2020 at 3:49 PM Domingo Alvarez Duarte wrote: > I understand the original point of view of this thread, but I'm glad > that we have those submissions here because it makes me aware of > people/tools/technics/patterns that can help in other projects. > I completely agree. Yet at

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Domingo Alvarez Duarte
Hello ! I understand the original point of view of this thread, but I'm glad that we have those submissions here because it makes me aware of people/tools/technics/patterns that can help in other projects. Cheers ! On 6/1/20 15:44, Simon Slavin wrote: On 6 Jan 2020, at 2:40pm, Yongheng

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Yongheng Chen
Will sending bugs to b...@sqlite.org open a ticket in here? (https://www.sqlite.org/src/rptview?rn=1 ) If yes it works for me. If not since many of the bugs we reported are silently fixed, it will be difficult for us to keep

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Noel Frankinet
Impressive and interesting ! Thank you. On Mon, 6 Jan 2020 at 15:35, Simon Slavin wrote: > On 6 Jan 2020, at 2:27pm, Noel Frankinet wrote: > > > What is fuzzer sql ? Is it some sort of random sql generator ? > > Yes. A fuzzer is a program. You feed it some SQL commands which obey > syntax

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Simon Slavin
On 6 Jan 2020, at 2:40pm, Yongheng Chen wrote: > I am sorry if I was polluting the mail list. As nobody mentioned that before > and reporting bugs to this mail list is what is said in the official website, > I just keep doing this. You are going what we told you to do. It is our fault. You

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Yongheng Chen
Hi, I am sorry if I was polluting the mail list. As nobody mentioned that before and reporting bugs to this mail list is what is said in the official website, I just keep doing this. I think Manuel has the access to open a ticket. Could I be granted this access too so that I don’t need to send

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Simon Slavin
On 6 Jan 2020, at 2:27pm, Noel Frankinet wrote: > What is fuzzer sql ? Is it some sort of random sql generator ? Yes. A fuzzer is a program. You feed it some SQL commands which obey syntax and work fine. Then it mixes them and tries small changes to make many other SQL commands. Almost

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Noel Frankinet
Hello everybody, What is fuzzer sql ? Is it some sort of random sql generator ? How do they create that non sensical yet syntactically correct SQL ? Just curious. Regards Noël On Mon, 6 Jan 2020 at 15:14, Dominique Devienne wrote: > On Mon, Jan 6, 2020 at 2:36 PM Jose Isaias Cabrera > wrote: >

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Jose Isaias Cabrera
Dominique Devienne, on Monday, January 6, 2020 09:14 AM, wrote... > > On Mon, Jan 6, 2020 at 2:36 PM Jose Isaias Cabrera > wrote: > > > Dominique Devienne, on Monday, January 6, 2020 07:51 AM, wrote... > > [...] it's "polluting" a bit this ML. > > > > This is why we are all so different. I,

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Dominique Devienne
On Mon, Jan 6, 2020 at 2:36 PM Jose Isaias Cabrera wrote: > Dominique Devienne, on Monday, January 6, 2020 07:51 AM, wrote... > [...] it's "polluting" a bit this ML. > > This is why we are all so different. I, actually enjoy the "pollution" > because I try to look at the code and, some times,

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Jose Isaias Cabrera
Dominique Devienne, on Monday, January 6, 2020 07:51 AM, wrote... > > On Mon, Jan 6, 2020 at 8:30 AM Dan Kennedy wrote: > > > On 6/1/63 13:44, Yongheng Chen wrote: > > > We found a test case that hangs Sqlite: > > > > Thanks for all the work you've been doing on SQLite! > > > > Indeed. But... >

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Richard Hipp
Yongheng: Please send any subsequent fuzzer finds directly to b...@sqlite.org. Thanks. On 1/6/20, Dominique Devienne wrote: > > The frequency of all these fuzzer related emails has reached a point IMHO > that it's "polluting" a bit this ML. > Especially since most times there's no follow (in

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Jose Isaias Cabrera
Yongheng Chen, on Monday, January 6, 2020 01:44 AM, wrote... > > Hi, > > We found a test case that hangs Sqlite: > — > CREATE TEMPORARY TABLE v0 ( v1 INT UNIQUE ) ; > WITH RECURSIVE v0 ( v1 ) AS ( SELECT -128 UNION SELECT v1 + 33 FROM v0 ) > SELECT 'x' from v0; > — > > This seems triggering a

Re: [sqlite] A hang in Sqlite

2020-01-06 Thread Dominique Devienne
On Mon, Jan 6, 2020 at 8:30 AM Dan Kennedy wrote: > On 6/1/63 13:44, Yongheng Chen wrote: > > We found a test case that hangs Sqlite: > > Thanks for all the work you've been doing on SQLite! > Indeed. But... The frequency of all these fuzzer related emails has reached a point IMHO that it's

Re: [sqlite] A hang in Sqlite

2020-01-05 Thread Dan Kennedy
On 6/1/63 13:44, Yongheng Chen wrote: Hi, We found a test case that hangs Sqlite: — CREATE TEMPORARY TABLE v0 ( v1 INT UNIQUE ) ; WITH RECURSIVE v0 ( v1 ) AS ( SELECT -128 UNION SELECT v1 + 33 FROM v0 ) SELECT 'x' from v0; — This seems triggering a dead loop. However, since v0 is empty, it

[sqlite] A hang in Sqlite

2020-01-05 Thread Yongheng Chen
Hi, We found a test case that hangs Sqlite: — CREATE TEMPORARY TABLE v0 ( v1 INT UNIQUE ) ; WITH RECURSIVE v0 ( v1 ) AS ( SELECT -128 UNION SELECT v1 + 33 FROM v0 ) SELECT 'x' from v0; — This seems triggering a dead loop. However, since v0 is empty, it might not enter a dead loop I think ? We