3 citations · 7 across the 9 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Customizing Static Analysis using Codesearch
Avi Hayoun, Veselin Raychev, Jack Hair
Static analysis is a growing application of software engineering, leading to a range of essential security tools, bug-finding tools, as well as software verification. Recent years…
cs.PL2016★ 3 cited
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under an…