Samsung / Dexter

Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
BSD 2-Clause "Simplified" License
57 stars 33 forks source link

[dexter-executor] XML result file is corrupted #150

Closed KarolAntczak closed 7 years ago

KarolAntczak commented 7 years ago

When running Dexter CLI with -x parameter, an XML result file is created. However, in some cases this XML is ill-formed.

Steps to reproduce:

  1. Run Dexter on this file: CheckDUID.cpp, with -x parameter.
  2. Resulting XML file will contain following lines:

    <occurence startLine="9" endLine="9" message=""db/comss/duid" is used. You need to check usage and the purpose of ID system. please refer to Samsung Smart TV Service Device Identifier Guideline" />

This XML is ill-formed, because of additional quotation marks after message. As a result, it cannot be properly parsed, e.g. by dexter-vs. One should use &quot; instead.