56 citations · 62 across the 7 of their papers we have counts for
1 paper · 1 filter
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri +1
Static analysis has established itself as a weapon of choice for detecting security vulnerabilities. Taint analysis in particular is a very general and powerful technique, where se…