Ahmad Humayun

Grammarinator crashes when generating sqlite test cases

1

I am trying to use grammarinator to generate test cases for `sqlite`. I am using the ANTLR grammar for `sqlite` that is available at the official antlr repo: - [Lexer](https://github.com/antlr/grammars-v4/blob/master/sql/sqlite/SQLiteLexer.g4)...

make reduce for sort-8.16 fails inside chisel docker container

1

 Screenshot shows make reduce for sort failing and passing for bzip2 The test.sh file fails for some reason while debloating sort. The debloating is working for all other programs...

[Question] No GROUP BYs generated when testing SQLite with NoREC?

3

I ran the command given in the readme `java -jar sqlancer-*.jar --num-threads 4 sqlite3 --oracle NoREC` I noticed that none of the queries generated contain the GROUP BY operation. Is...

Fatal crash on malloc when running program under QBDI

3

**Fatal crash on `malloc()` when running program under QBDI** I am running a simple program `file_open_sample` instrumented under QBDI using the pyqbdi library. The normal execution of the program looks...