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