TrustInSoft Analyzer ManualΒΆ
- Introduction
- Prepare the Sources
- Prepare the Analysis
- Get the Information
- Study the Alarms
- ACSL Properties
- Prove Annotations with WP
- Conclusion
- Dealing with Special Features
- File System
- Environment variables
- Recursive calls
- Memory leaks
- Target Architecture
- Assembler Code
- Physical Addresses
- Set address bits
- Compiler Specific Keywords
- Multi-Threading
- Strict Aliasing
- Volatile Variables
- Functions With Variable Arguments
- Functions from <math.h>
- Floating-point
- TrustInSoft Analyzer++ Specificities
- Choosing the dialect for the analyzed program
- Deterministic libc
- Verification of properties set at the design stage