Fencing Off Unwanted Behavior: Improving And Evaluating The Fency Static Analysis Tool