6 citations · 14 across the 11 of their papers we have counts for
1 paper · 2 filters
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…