Manuel Rigger
Manuel Rigger
Regarding the `assert()` failure mentioned in #778: I could reproduce the unimplemented unary translation with a minimal example: ```c int main() { sizeof(1); } ``` It seems that the `sizeof`...
We are currently studying the usage of [GCC builtins](https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html) by GitHub projects and how well various tools support them. To that end, we are also developing a test suite for...
Hi, We are working on a new C benchmarking suite, which also provides Docker images to build and run a variety of tools. While we were able to create a...
I wanted to start experimenting with SOAR, and started by connecting it to a MySQL database after creating a new user: ```sql CREATE USER 'soar'@'localhost' IDENTIFIED BY 'soar'; GRANT ALL...
Mike Freedman, CTO and Co-founder of Timescale, [expressed interest in having TimescaleDB tested](https://twitter.com/michaelfreedman/status/1264752236644761605): > Hey Manuel: would welcome any testing to @TimescaleDB , which is implemented as extension to Postgres...
The document stores (introduced in https://github.com/sqlancer/sqlancer/pull/319) are currently neither actively used nor tested in the CI. For maintainability, it would be useful to either test or remove them. For now,...
It would be great to implement test case reduction strategies in SQLancer itself. The advantage of doing this in SQLancer, rather than an external tool like C-Reduce, is that we...
JDBC drivers for embedded DBMS like SQLite and DuckDB run the respective DBMS directly within the JVM's application process. When testing DBMS, often crashes can be triggered. For embedded DBMS,...
It would be useful to provide an option to capture how long individual statements take to execute, which could be appended to the log after each statement as a comment....