A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozilla/gecko-dev). It can be used to identify insecure data flo…

Library for detecting tracking data transmissions from web or app traffic in HAR format.

Security Auditor Utility for GraphQL APIs

Code Property Graph: specification, query language, and utilities

Database independent interface for Common Lisp

Python module and CI scripts for managing student homework in gitlab

BNF Grammars for SQL-92, SQL-99 and SQL-2003