This is a Toolkit for getting control flow information from Python bytecode. You can find this byte-compiled to Python 3.8 bytecode in doc-example/count-bits.cpython ...

Sherloc is a secure and holistic control-flow violation detection mechanism for microcontroller-based embedded systems. This repository contains the source code, examples ... encompassing various ...