PHP Analyzer performs the same analyses that a compiler would like for example type inference or other flow analyses,
ensuring that every line of code and every potential execution path are tested. We use multiple techniques to ensure
deep, accurate analysis including:
Interprodecural Dataflow Analysis
identifies problems that cross method, function, class, or even package boundaries
compared to simple style violations, or superficial feature usage detections of other tools.
Reverse Abstract Interpretation
helps us drammatically improve accuracy and prune infeasible paths from the analysis.
Design Pattern Intelligence
understands different design idioms of PHP code, and integrates them into the analysis.
incorporates knowledge of different PHP frameworks such as Symfony2, or Laravel providing
us with an even deeper understanding of modern web applications, and highly specialized results.
Check the following guides to get the most out of PHP Analyzer: