This repository has been archived by the owner. It is now read-only.
Demand-Driven Dynamic Analysis Framework
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
cmt-data
doc
docker
result
test
.gitignore
CMakeLists.txt
LICENSE.txt
Makefile
README.org
README.org_archive
ast.rkt
bench-data.rkt
commit.rkt
data.org
gen.rkt
helium.rkt
lc.c
main.rkt
patch.rkt
plugin.cpp
plugin.h
setup.sh
sexp.cpp
sexp.h
snip.rkt
src-man.rkt
test-ast.rkt
test-gen.rkt
test-patch.rkt
test.rkt
tooling.cpp
visual.rkt

README.org

Helium: Dynamic Analysis On Demand

Helium is a framework to generate partial programs and run dynamic analysis. It features a syntactic patching algorithm that find the extra code in addition to the user selection that is necessary for a valid partial program. It also features a demand-driven context search algorithm to find smaller partial programs that preserve a given program property. Please find our paper for technical details. You can find more detail about the code at the online manual.