The generated test suite specifies the current behavior in an easy-to-understand way, and can be used to ensure that the implementation actually fits the intended specification.
Use Symflower’s unit tests as a safety net for refactorings. Ensure that there are no unintended side effects introduced by a change.
Most security issues stem from few well-known types of programming errors. Symflower reveals security issues automatically by finding the most prominent causes of security vulnerabilities.