sqlancer
creduce
| sqlancer | creduce | |
|---|---|---|
| 5 | 2 | |
| 1,673 | 1,623 | |
| 1.1% | 1.0% | |
| 8.8 | 4.3 | |
| about 1 month ago | over 1 year ago | |
| Java | C++ | |
| MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
sqlancer
- You can use C-Reduce for any language
Works well for SQL too, I‘ve been using it at my day job, found out via https://github.com/sqlancer/sqlancer?tab=readme-ov-file#redu...
- Solving duplicate data with performant deduplication
- A new automatic bug finder has found more than a hundred bugs in SQLite, MySQL, MariaDB and other database management systems (/r/SQL)
- A new automatic bug finder has found more than a hundred bugs in SQLite, MySQL, MariaDB and other database management systems
- sqlancer: Detección de errores lógicos en los #SGBD 🔎
creduce
- You can use C-Reduce for any language
It basically runs transformation passes over the code until they stop changing the code or break its behaviour.
It seems like a small number of the passes are not specific to C:
https://github.com/csmith-project/creduce/blob/master/creduc...
`"C" => 1,` means it is only for C.
I would guess `pass_lines` is the most important for non-C code; I'm guessing (it's written in unreadable Perl) that it removes lines.
So while it can work for languages other than C, most of its features are C-specific so it's not going to work nearly as well. Still I'd never heard of C-Reduce; pretty cool tool!
Someone make one based on Tree Sitter, quick!
- Perses: Syntax-Directed Program Reduction
Yes! Another well-known program reducer is C-Reduce [0]. When Csmith [1] started churning out very large programs that exhibited errors in C compilers, the compiler maintainers asked the researchers to please reduce the ~81KB files to a more manageable size so they could understand the errors better. C-Reduce was developed specifically to address that need.
[0] https://github.com/csmith-project/creduce
[1] https://github.com/csmith-project/csmith
What are some alternatives?
Evolve - Database migration tool for .NET and .NET Core projects. Inspired by Flyway.
perses - The CNCF sandbox for observability visualisation. Already supports Prometheus, Tempo, Loki and Pyroscope - more data sources to come!
dbdoc - Document your database schema, because your team will thank you, and a single text file makes it easy. Works well with PostgreSQL and others.
csmith - Csmith, a random generator of C programs
delta - Delta assists you in minimizing "interesting" files subject to a test of their interestingness.