2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Rellic produces goto-free C output from LLVM bitcode
Safely execute an arbitrary x86 instruction