Interchange format for results for static analysis tools