jipdaGeneric static analysis frameworkinterpreterjavascriptstatic analysisabstract interpretation2018.2.3 • Published 6 years ago