Glassbox is a minimal API for program state introspection and detecting interesting behaviours.

It's currently rather experimental, but you can see some basic documentation at https://glassbox.readthedocs.org.