Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms.
MOVED to https://gitlab.com/mchalupa/slowbeast
This is a mirror of https://github.com/paradise-fi/RoFI
Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1.
Please note that the CI branch will be overwritten periodically and should not be pulled from.
Attempts to retrieve RSA keys from as many OpenSSL versions as possible
Example tests written using KTDK
Kontr 2.0 Worker component
Kontr Portal API Backend in the Python using Flask
A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.
PV181 crypto libraries examples.