emarteca/DStatic-error-tracking
QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems
CodeQL
QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems
CodeQL