- MTSA V2009-Summer:
[
mtsa_sept_09.zip
]
This contains all the benchmark sources, analysis source code,
and a (somewhat tempermental) compiler frontend. This file
contains all the files that are related to the work done prior to
Aug. 2009 and represents a fairly complete research prototype. Our
work has now shifted to translating this system into a robust
and user friendly tool.
- MTSA V2008-Summer:
[
mtsa_demo.tar
]
A program that runs the MTSA analysis on a number of interesting benchmarks. This contains all the
benchmark sources, a statically linked linux binary and all the required files to experiment with
how the analysis works.
- White Paper and Online Appendix:
[
whitepaper.pdf , appendix_figures.zip
]
A user manual and whitepaper describing the use of the MTSA Analysis Demo and at a high level the
program properties that are extracted by the heap analysis. The whitepaper also contains several
of detailed case studies for the analysis results and use of these results in optimizing a number
of benchmarks. The figures appendix contains the heap models computed at a number of key locations
for some of the benchmarks we have analyzed.
- Design Documentation:
[
design_doc.pdf (Comming Eventually, see thesis for now)
]
This document provides detailed desriptions of the algorithms and operations used to simulate the
semantics of the program operations in the abstract domain as well as key domain operations such
as model comparision and merge operations.