To Get any Project for CSE, IT ECE, EEE Contact Me @ 09666155510, 09849539085 or mail us - ieeefinalsemprojects@gmail.com-Visit Our Website: www.finalyearprojects.org
IEEE 2014 JAVA SOFTWARE ENGINEER PROJECTS Detecting memory leaks statically with full sparse value-flow analysis
1. GLOBALSOFT TECHNOLOGIES
IEEE PROJECTS & SOFTWARE DEVELOPMENTS
IEEE FINAL YEAR PROJECTS|IEEE ENGINEERING PROJECTS|IEEE STUDENTS PROJECTS|IEEE
BULK PROJECTS|BE/BTECH/ME/MTECH/MS/MCA PROJECTS|CSE/IT/ECE/EEE PROJECTS
CELL: +91 98495 39085, +91 99662 35788, +91 98495 57908, +91 97014 40401
Visit: www.finalyearprojects.org Mail to:ieeefinalsemprojects@gmail.com
Detecting Memory Leaks Statically with Full-Sparse Value-
Flow Analysis
Abstract
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent
advances on sparse pointer analysis, Saber is the first to use a full -sparse value-flow analysis for
detecting memory leaks statically. Saber tracks the flow of values from allocation to free sites using a
sparse value-flow graph (SVFG) that captures def-use chains and value flows via assignments for all
memory locations represented by both top-level and address-taken pointers. By exploiting field-, flow-and
context-sensitivity during different phases of the analysis, Saber detects memory leaks in a program
by solving a graph reachability problem on its SVFG. Saber, which is fully implemented in Open64, is
effective at detecting 254 leaks in the 15 SPEC2000 C programs and seven applications, while keeping
the false positive rate at 18.3 percent. Saber compares favorably with several static leak detectors in
terms of accuracy (leaks and false alarms reported) and scalability (LOC analyzed per second). In
particular, compared with Fastcheck (which analyzes allocated objects flowing only into top-level
pointers) using the 15 SPEC2000 C programs, Saber detects 44.1 percent more leaks at a slightly higher
false positive rate but is only a few times slower.
Existing system
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent
advances on sparse pointer analysis, Saber is the first to use a full -sparse value-flow analysis for
detecting memory leaks statically. Saber tracks the flow of values from allocation to free sites using a
sparse value-flow graph (SVFG) that captures def-use chains and value flows via assignments for all
memory locations represented by both top-level and address-taken pointers. By exploiting field-, flow-and
context-sensitivity during different phases of the analysis, Saber detects memory leaks in a program
by solving a graph reachability problem on its SVFG.
2. Proposed system
which is fully implemented in Open64, is effective at detecting 254 leaks in the 15 SPEC2000 C programs
and seven applications, while keeping the false positive rate at 18.3 percent. Saber compares favorably
with several static leak detectors in terms of accuracy (leaks and false alarms reported) and scalability
(LOC analyzed per second). In particular, compared with Fastcheck (which analyzes allocated objects
flowing only into top-level pointers) using the 15 SPEC2000 C programs, Saber detects 44.1 percent
more leaks at a slightly higher false positive rate but is only a few times slower.
SYSTEM CONFIGURATION:-
HARDWARE CONFIGURATION:-
Processor - Pentium –IV
Speed - 1.1 Ghz
RAM - 256 MB(min)
Hard Disk - 20 GB
Key Board - Standard Windows Keyboard
Mouse - Two or Three Button Mouse
Monitor - SVGA
SOFTWARE CONFIGURATION:-
Operating System : Windows XP
Programming Language : JAVA
Java Version : JDK 1.6 & above.