Filtering False Positive Alarms in JavaDL and Language Experience Report
JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. Static program analyses generally suer from producing false positive alarms. This results in developers having to
