Publication | Closed Access

Melton: a practical and precise memory leak detection tool for C programs

EngineeringProgram AnalysisMemory AnalysisSoftware TestingComputer EngineeringSoftware AnalysisComputer ArchitectureGarbage CollectionC ProgramsComputer ScienceStatic CheckingCompilersParallel ComputingStatic Program AnalysisFormal VerificationMemory ManagementSystem Software