SWEET

• Advanced, precise program flow analysis
• Expressive flow fact language for program flow constraints

Input(s):

• C Code

Main feature(s):

• Program Flow Analysis
• Approximate BCET/WCET calculation
• Other static analyses (slicing, value analysis, …)

Output(s):

• Flow facts (program flow constraints)
• BCET/WCET estimates

• GMP
• CMake 2.8 or later
• Gcc 4.2 or later

• End users working with validation of (hard) real-time systems, for instance to find loop constraints or perform program slicing to guide testing efforts on real-time tasks.
• Researchers focusing on program flow or timing analysis.

BSD style license.