BINRELAY: Finding race conditions on binaries with symbolic execution.
Primary LanguagePythonMIT LicenseMIT