RELATED WORK Previously we used Saturn to implement a path- and context- sensitive analysis for detecting a class of ... summaries) and focus on fully automated checking of properties without separate programmer- written specifications. ... techniques, but in other cases focusing on leak detection as an interesting program analysis problem in its own right. ... The analysis depends heavily on user annotation to model function calls, thus requiring substantial manual effort to use.
|Title||:||Software Engineering--ESEC/FSE ...|