Example-based Synthesis of Static Analysis Rules

Re-assign community