This repository contains a prototype of the tools F-detector and F-blocker presented in the publication: Eliminating Vulnerabilities by Disabling Unwanted Functionality in Binary Programs presented at AsiaCSS'23.
F-Detector is a tool for identifing an unwanted features in a program by detecting its feature-specific edge.
F-Blocker is a tool that blocks the identified feature by blocking the execution at the feature-specific edge and performing error-virtualization.