NDLI: Heap cloning: Enabling dynamic symbolic execution of java programs

Content Provider	IEEE Xplore Digital Library
Author	Anand, S. Harrold, M.J.
Copyright Year	2011
Description	Author affiliation: Georgia Institute of Technology, Atlanta, U.S.A. (Anand, S.; Harrold, M.J.)
Abstract	The dynamic symbolic-execution technique can automatically perform symbolic execution of programs that use problematic features of Java, such as native methods. However, to compute precise symbolic execution, the technique requires manual effort to specify models for problematic code. Furthermore, existing approaches to perform symbolic execution either cannot be extended to perform dynamic symbolic execution or incur significant imprecision. In this paper, we present a novel program-transformation technique called heap cloning. Heap cloning transforms a program in such a way that dynamic symbolic execution of the transformed program results in the same path constraints as dynamic symbolic execution of the original program. However, symbolic execution of the transformed program produces feedback on where imprecision is introduced, and that feedback can reduce the manual effort required to build models. Furthermore, such transformation can enable existing approaches to perform symbolic execution systems to overcome their limitations. In this paper, we also present a system, called Cinger, that leverages heap cloning, and that we used to perform an empirical evaluation. The empirical evaluation shows that Cinger can compute precise path constraints, and requires little (if any) manual effort for a set of large real-world programs.
Starting Page	33
Ending Page	42
File Size	702573
Page Count	10
File Format	PDF
ISBN	9781457716386
e-ISBN	9781457716393
DOI	10.1109/ASE.2011.6100071
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-11-06
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Cloning Java Instruments Libraries Manuals Concrete Computational modeling
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Heap cloning: Enabling dynamic symbolic execution of java programs

Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs

JBSE: a symbolic executor for Java programs with complex heap inputs

Dynamic slicing of Java bytecode programs

Evaluating Symbolic Execution-Based Test Tools

Symbolic execution of programs with heap inputs

Symbolic execution for software testing in practice: preliminary assessment

Symbolic Execution with Interval Solving and Meta-heuristic Search

Automating Test-Suite Augmentation

Heap cloning: Enabling dynamic symbolic execution of java programs

Similar Documents

Heap cloning: Enabling dynamic symbolic execution of java programs

Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs

JBSE: a symbolic executor for Java programs with complex heap inputs

Dynamic slicing of Java bytecode programs

Evaluating Symbolic Execution-Based Test Tools

Symbolic execution of programs with heap inputs

Symbolic execution for software testing in practice: preliminary assessment

Symbolic Execution with Interval Solving and Meta-heuristic Search

Automating Test-Suite Augmentation

Heap cloning: Enabling dynamic symbolic execution of java programs