Semantic Analyzer
- Detects the potential vulnerabilities in the use of function and API's.
- Works in Inter-Procedural level.
- Specialized Categories:
- Logic searches for buffer overflow
- Formatting string
- Execution Path issues
Example:
Have you ever come across some warning like "Function is deprecated -Wdeprecated-declarations".
Semantic Analyzer detects the deprecated functions and unsafe conditions.What