These companies provide business solutions based on state of the art source code analysis and manipulation software.
There are largely companies that I have come into contact with through my research, and to whom I'd like to keep a link.
I cannot speak for the quality of their products, because I cannot be sure that I am using the product in which you might be interested.
However, I can recommend the company itself, based on knowledge of its exploitation of the latest research developments in the field.