A symbolic execution tool (paper) AGPL-3.0-or-later
OCamlGNU Affero General Public License v3.0active
3 projectsDebugging
A symbolic execution tool (paper) AGPL-3.0-or-later
OCamlGNU Affero General Public License v3.0active
One-header library for easier 'printf debugging'. MIT
Cdormant
One-header library to expose internal C variables as a virtual filesystem for live inspection and tuning. MIT
CMIT Licensesteady