- 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 Soon)
]
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.