Sciweavers

44 search results - page 7 / 9
» Flow-sensitive pointer analysis for millions of lines of cod...
Sort
View
OOPSLA
2010
Springer
13 years 4 months ago
Scalable and systematic detection of buggy inconsistencies in source code
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
Mark Gabel, Junfeng Yang, Yuan Yu, Moisés G...
JMLR
2010
152views more  JMLR 2010»
13 years 24 days ago
The SHOGUN Machine Learning Toolbox
We have developed a machine learning toolbox, called SHOGUN, which is designed for unified large-scale learning for a broad range of feature types and learning settings. It offers...
Sören Sonnenburg, Gunnar Rätsch, Sebasti...
SIGSOFT
2005
ACM
14 years 6 months ago
Context- and path-sensitive memory leak detection
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
Yichen Xie, Alexander Aiken
COMPSAC
2008
IEEE
14 years 14 days ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
SIGSOFT
2006
ACM
14 years 6 months ago
How is aliasing used in systems software?
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
Brian Hackett, Alex Aiken