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