Example Configuration Guide
User Manual:
Open the PDF directly: View PDF
Page Count: 14
- Examples for the ASSUME Static Code Analysis Tool Exchange Format
- Meta information
- Hardware targets
- Language targets
- Source code modules
- Execution model targets
- Check targets
- Analysis tasks
- Tool-specific configuration