safegres
Safe and fast Postgres. Graded.
safegres is a static analyzer for a live PostgreSQL database. It reads the system catalog and parses every policy predicate and function body into an AST, then answers two questions the catalog already contains the answers to — who can actually reach this row, and what does checking that cost per row — and scores them on two independent axes.