Skip to main content

KLEEWT: A parallel symbolic execution engine

Resource type
Thesis type
(Thesis) M.Sc.
Date created
2023-12-15
Authors/Contributors
Abstract
Symbolic execution is increasingly being utilized in verification tools and software analysis. Despite its theoretical ability to explore all possible paths in the execution tree of a program under test, it is often a lengthy and resource-intensive process due to factors such as solver waiting time. One notable symbolic execution tool currently under active development is KLEE, an interpretation-based engine. We have extended this tool and introduced KLEEWT, a multi-threaded engine capable of parallelizing the symbolic execution process. Our results demonstrate that KLEEWT not only uses fewer resources compared to similar works like Cloud9, but also enhances the original KLEE's performance.
Document
Extent
40 pages.
Identifier
etd22884
Copyright statement
Copyright is held by the author(s).
Permissions
This thesis may be printed or downloaded for non-commercial research and scholarly purposes.
Supervisor or Senior Supervisor
Thesis advisor: Ko, Steven
Language
English
Member of collection
Download file Size
etd22884.pdf 690.71 KB

Views & downloads - as of June 2023

Views: 22
Downloads: 0