89 lines
2.2 KiB
Go
89 lines
2.2 KiB
Go
package cppcheck
|
|
|
|
import (
|
|
"encoding/json"
|
|
"fmt"
|
|
"strings"
|
|
|
|
"github.com/joint-online-judge/JOJ3/internal/stage"
|
|
)
|
|
|
|
type Record struct {
|
|
File string `json:"file"`
|
|
Line int `json:"line"`
|
|
Column int `json:"column"`
|
|
Severity string `json:"severity"`
|
|
Message string `json:"message"`
|
|
ID string `json:"id"`
|
|
}
|
|
|
|
// monkey patch for not escaped " in cppcheck message
|
|
func (*CppCheck) fixStderr(stderr string) string {
|
|
const prefixMarker = `"message":"`
|
|
const suffixMarker = `","id":"`
|
|
prefixIndex := strings.Index(stderr, prefixMarker)
|
|
if prefixIndex == -1 {
|
|
return stderr
|
|
}
|
|
contentStartIndex := prefixIndex + len(prefixMarker)
|
|
suffixIndex := strings.LastIndex(stderr, suffixMarker)
|
|
if suffixIndex == -1 || suffixIndex < contentStartIndex {
|
|
return stderr
|
|
}
|
|
contentEndIndex := suffixIndex
|
|
prefix := stderr[:contentStartIndex]
|
|
messageContent := stderr[contentStartIndex:contentEndIndex]
|
|
suffix := stderr[contentEndIndex:]
|
|
cleanedMessageContent := strings.ReplaceAll(messageContent, `"`, `\"`)
|
|
return prefix + cleanedMessageContent + suffix
|
|
}
|
|
|
|
func (p *CppCheck) parse(executorResult stage.ExecutorResult, conf Conf) stage.ParserResult {
|
|
// stdout := executorResult.Files[conf.Stdout]
|
|
stderr := p.fixStderr(executorResult.Files[conf.Stderr])
|
|
records := make([]Record, 0)
|
|
lines := strings.SplitSeq(stderr, "\n")
|
|
for line := range lines {
|
|
if strings.TrimSpace(line) == "" {
|
|
continue
|
|
}
|
|
var record Record
|
|
err := json.Unmarshal([]byte(line), &record)
|
|
if err != nil {
|
|
return stage.ParserResult{
|
|
Score: 0,
|
|
Comment: fmt.Sprintf(
|
|
"Unexpected parser error: %s.",
|
|
err,
|
|
),
|
|
}
|
|
}
|
|
records = append(records, record)
|
|
}
|
|
comment, score := getResult(records, conf)
|
|
|
|
return stage.ParserResult{
|
|
Score: score,
|
|
Comment: comment,
|
|
}
|
|
}
|
|
|
|
func (p *CppCheck) Run(results []stage.ExecutorResult, confAny any) (
|
|
[]stage.ParserResult, bool, error,
|
|
) {
|
|
conf, err := stage.DecodeConf[Conf](confAny)
|
|
if err != nil {
|
|
return nil, true, err
|
|
}
|
|
res := make([]stage.ParserResult, 0, len(results))
|
|
forceQuit := false
|
|
for _, result := range results {
|
|
parseRes := p.parse(result, *conf)
|
|
if conf.ForceQuitOnDeduct && parseRes.Score < conf.Score {
|
|
forceQuit = true
|
|
}
|
|
res = append(res, parseRes)
|
|
}
|
|
return res, forceQuit, nil
|
|
}
|