AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations | IEEE Conference Publication | IEEE Xplore