Initially I just wanted to expose Threat conditions to the report template but because HTML encoding was done when the threats were read in that would have broken eval logic. To address this I moved html encoding to the TM.report method and encode threat data from within the list of threats and findings.
With this change json output is json encoded but not html encoded and output to report used to generate the markdown file then html via pandoc is html encoded.
Something went wrong despite trying multiple times, sorry about that.
Please comment this pull request with "Retry DeepCode" to manually retry, or contact us so that a human can look into the issue.
…report method
Initially I just wanted to expose Threat conditions to the report template but because HTML encoding was done when the threats were read in that would have broken eval logic. To address this I moved html encoding to the TM.report method and encode threat data from within the list of threats and findings.
With this change json output is json encoded but not html encoded and output to report used to generate the markdown file then html via pandoc is html encoded.