`pal-tools`

This is a group of several tools distributed by Program Analysis Lab(PAL). See README's for some tools under README.<toolname>.md, e.g. README.trace.md for the trace tool.

Overview

harn: Generate a test harness for a code segment.
plog: Capture code segment input from program input.
pert: Generate a patch from a human-readable assertion format.
trace: Generate a dynamic trace of a program's execution.

Tests

Run tests from the root directory.

python3 -m unittest

Name		Name	Last commit message	Last commit date
Latest commit History 186 Commits
data		data
tests		tests
tools		tools
.gitignore		.gitignore
README.harn.md		README.harn.md
README.md		README.md
README.plog.md		README.plog.md
README.trace.md		README.trace.md
__init__.py		__init__.py
harn		harn
mylog.py		mylog.py
nodeutils.py		nodeutils.py
paltool		paltool
pert		pert
plog		plog
trace		trace

bstee615/pal-tools

Folders and files

Latest commit

History

Repository files navigation

pal-tools

Overview

Tests

About

Topics

Resources

Stars

Watchers

Forks

Languages

`pal-tools`