SWEET manual


Table of Contents

1. Introduction
1.1. SWEET and Supporting Tools
1.2. SWEET contributors
1.3. Running SWEET
1.4. Installing SWEET
1.5. Installing AlfBackend
1.6. Running AlfBackend
2. Main Features of SWEET
2.1. Flow analysis
2.2. Abstract domains
2.3. Abstract execution
2.4. Value analysis
2.5. Generate flow hypothesis from traces
2.6. Do various program analyses, like def-use analysis, reaching definitions analysis, program slicing, and generate program statistics
2.7. Support for C
2.8. Limitations of SWEET
3. Scientific Articles
4. Examples of Using SWEET (Use Cases)
4.1. Show the version of SWEET.
4.2. Show help texts.
4.3. Perform static check of ALF code.
4.4. Generate DOT graphs for a program.
4.5. Link ALF files.
4.6. Perform AE in single path mode and calculate flow facts
4.7. Perform AE in multipath mode and calculate flow facts
4.8. Perform AE in multipath mode using merging, and calculate flow facts
4.9. Perform calculation of loop bounds using AE with optimal merging
4.10. Perform AE and calculate C code flow facts
4.11. Perform value analysis based on AE
4.12. Perform AE using the CLP domain
4.13. Generate BCET/WCET estimates using basic block and edges cost table
4.14. Generate BCET/WCET estimates using ALF construct costs
4.15. Read a trace from file and run abstract execution according to the trace
4.16. Generate annotation templates
4.17. Do various program analyses, like def-use analysis, reaching definitions analysis, program slicing, and generate program statistics
5. SWEET Command Options
5.1. The input files option
5.2. The check statically option
5.3. The load map option
5.4. The domain option
5.5. The abstract execution option
5.6. The timing database option
5.7. The value analysis option
5.8. The def-use analysis option
5.9. The reaching definitions analysis option
5.10. The program dependency graph option
5.11. The program slicing option
5.12. The flow facts option
5.13. The print option
5.14. The DOT graphs option
5.15. The annotation templates option
5.16. The cost lookup template option
5.17. The function information option
5.18. Misc. options
6. Abstract Input Annotations
6.1. Alternative to Abstract Input Annotations
7. Output Annotation Specifications
8. SWEET's Flow Fact Language
9. Flow Hypotheses Generation Using Traces
10. SWEET's Debug Facilities