Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Nicholas A. Kidd
WALi - a Weighted
Pushdown System library that is used at the University of Wisconsin
for program analysis. This is a rewrite if WPDS++ that removes
the use of templates in favor of inheritance. WALi is used as the underlying
WPDS implementation in the CPDS model checker. This model checker has been
used to discover a bug in a model of a Windows NT Bluetooth driver.
WPDS++ - a Weighted
Pushdown System library that is used at the University of Wisconsin
for program analysis. WPDS++ is used in the CodeSurfer/x86 system
that is codeveloped at the University of Wisconsin and GrammaTech, Inc.
dot2html.ml - Simple OCaml script that translates a dot file into a
client-side image map, gif file, and html file.
ocaml str.cma dot2html file.dot
Python
JobMonitor - a python class
that runs a shell command and reports the time, memory usage, and return code.
All of the code is pieced together from various places online (e.g.,
the python recipe);
however, I wanted something that was simple and aggregrated it all together.